#include <defines.h>
Data Fields | |
| uint32 | all |
| struct { | |
| uint32 swapped:1 | |
| uint32 root:1 | |
| uint32 false:1 | |
| uint32 true:1 | |
| uint32 left_changed:1 | |
| uint32 right_changed:1 | |
| uint32 eval_00:1 | |
| uint32 eval_01:1 | |
| uint32 eval_10:1 | |
| uint32 eval_11:1 | |
| uint32 lhs:1 | |
| uint32 in_func:1 | |
| uint32 owns_vec:1 | |
| uint32 excluded:1 | |
| uint32 type:3 | |
| uint32 base:3 | |
| uint32 clear_changed:1 | |
| uint32 parenthesis:1 | |
| uint32 eval_t:1 | |
| uint32 eval_f:1 | |
| uint32 comb_cntd:1 | |
| uint32 exp_added:1 | |
| uint32 owned:1 | |
| uint32 gen_expr:1 | |
| uint32 prev_called:1 | |
| uint32 for_cntrl:1 | |
| uint32 nba:1 | |
| } | part |
A esuppl is a 32-bit value that represents the supplemental field of an expression.
| uint32 esuppl_u::all |
Controls all bits within this union
Referenced by expression_create(), expression_db_merge(), expression_db_read(), expression_db_write(), expression_display(), and expression_merge().
| uint32 esuppl_u::base |
Bits 19:17. Mask bit = 1. When the expression op is a STATIC, specifies the base type of the value (DECIMAL, HEXIDECIMAL, OCTAL, BINARY, QSTRING).
| uint32 esuppl_u::clear_changed |
Bit 20. Mask bit = 1. Specifies the value of the left/right changed bits after the left/right subexpression has been performed. This value should be set to 1 if a child expression needs to be re-evaluated each time the current expression is evaluated; otherwise, it should be set to 0.
Referenced by db_create_expression(), and sim_expression().
| uint32 esuppl_u::comb_cntd |
Bit 24. Mask bit = 0. Indicates that the current expression has been previously counted for combinational coverage. Only set by report command (therefore this bit will always be a zero when written to CDD file.
Referenced by combination_collect(), combination_display_verbose(), combination_get_tree_stats(), combination_output_expr(), combination_reset_counted_expr_tree(), combination_reset_counted_exprs(), and rank_gather_comb_cov().
| uint32 esuppl_u::eval_00 |
Bit 6. Mask bit = 1. Indicates that the value of the left child expression evaluated to FALSE and the right child expression evaluated to FALSE.
Referenced by combination_does_multi_exp_need_ul(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_two_vars(), expression_set_eval_NN(), and rank_gather_comb_cov().
| uint32 esuppl_u::eval_01 |
Bit 7. Mask bit = 1. Indicates that the value of the left child expression evaluated to FALSE and the right child expression evaluated to TRUE.
Referenced by combination_get_tree_stats(), combination_two_vars(), expression_set_eval_NN(), and rank_gather_comb_cov().
| uint32 esuppl_u::eval_10 |
Bit 8. Mask bit = 1. Indicates that the value of the left child expression evaluated to TRUE and the right child expression evaluated to FALSE.
Referenced by combination_get_tree_stats(), combination_two_vars(), expression_set_eval_NN(), and rank_gather_comb_cov().
| uint32 esuppl_u::eval_11 |
Bit 9. Mask bit = 1. Indicates that the value of the left child expression evaluated to TRUE and the right child expression evaluated to TRUE.
Referenced by combination_does_multi_exp_need_ul(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_two_vars(), expression_set_eval_NN(), and rank_gather_comb_cov().
| uint32 esuppl_u::eval_f |
Bit 23. Mask bit = 0. Indicates that the value of the current expression is currently set to FALSE (temporary value).
Referenced by expression_set_tf(), expression_set_tf_preclear(), reentrant_restore_data_bits(), and reentrant_store_data_bits().
| uint32 esuppl_u::eval_t |
Bit 22. Mask bit = 0. Indicates that the value of the current expression is currently set to TRUE (temporary value).
Referenced by expression_op_func__aedge(), expression_op_func__delay(), expression_op_func__dly_assign(), expression_op_func__dly_op(), expression_op_func__eor(), expression_op_func__nedge(), expression_op_func__pedge(), expression_op_func__repeat_dly(), expression_op_func__slist(), expression_op_func__wait(), expression_set_tf(), expression_set_tf_preclear(), reentrant_restore_data_bits(), reentrant_store_data_bits(), and sim_add_thread().
| uint32 esuppl_u::excluded |
Bit 13. Mask bit = 1. Indicates that this expression should be excluded from coverage results. If a parent expression has been excluded, all children expressions within its tree are also considered excluded (even if their excluded bits are not set.
Referenced by db_create_expression(), exclude_assert_from_id(), exclude_expr_assign_and_recalc(), exclude_expr_from_id(), exclude_is_assert_excluded(), exclude_is_comb_excluded(), exclude_line_from_id(), and ovl_display_verbose().
| uint32 esuppl_u::exp_added |
Bit 25. Mask bit = 0. Temporary bit value used by the score command but not displayed to the CDD file. When this bit is set to a one, it indicates to the db_add_expression function that this expression and all children expressions have already been added to the functional unit expression list and should not be added again.
Referenced by db_add_expression().
| uint32 esuppl_u::false |
Bit 2. Mask bit = 1. Indicates that this expression has evaluated to a value of FALSE during the lifetime of the simulation.
Referenced by expression_set_tf(), and expression_set_tf_preclear().
| uint32 esuppl_u::for_cntrl |
Bit 29. Mask bit = 0. Temporary value used by the score command which sets to true if this expression exists within the control portion of a for loop.
Referenced by db_create_expression(), and race_calc_expr_assignment().
| uint32 esuppl_u::gen_expr |
Bit 27. Mask bit = 0. Temporary value used by the score command to indicate that this expression is a part of a generate expression.
Referenced by bind_signal(), db_add_expression(), expression_create(), expression_create_value(), funit_size_elements(), and inst_parm_add().
| uint32 esuppl_u::in_func |
Bit 11. Mask bit = 1. Indicates that this expression exists in a function
Referenced by db_create_expression().
| uint32 esuppl_u::left_changed |
Bit 4. Mask bit = 1. Indicates that this expression has its left child expression in a changed state during this timestamp.
Referenced by expression_set_changed(), reentrant_restore_data_bits(), reentrant_store_data_bits(), sim_expr_changed(), and sim_expression().
| uint32 esuppl_u::lhs |
Bit 10. Mask bit = 1. Indicates that this expression exists on the left-hand side of an assignment operation.
Referenced by expression_create().
| uint32 esuppl_u::nba |
Bit 30. Mask bit = 0. Specifies that this expression is on the left-hand-side of a non-blocking assignment.
Referenced by expression_assign(), expression_create_nba(), expression_dealloc(), expression_op_func__mbit(), expression_op_func__mbit_neg(), expression_op_func__mbit_pos(), expression_op_func__sbit(), and expression_set_value().
| uint32 esuppl_u::owned |
Bit 26. Mask bit = 0. Temporary value used by the score command to indicate if this expression is already owned by a mod_parm structure.
Referenced by mod_parm_add().
| uint32 esuppl_u::owns_vec |
Bit 12. Mask bit = 1. Indicates that this expression either owns its vector structure or shares it with someone else.
Referenced by bind_signal(), db_create_expression(), and expression_create().
| uint32 esuppl_u::parenthesis |
Bit 21. Mask bit = 1. Specifies that the expression was surrounded by parenthesis in the original Verilog.
Referenced by codegen_gen_expr(), and combination_underline_tree().
| struct { ... } esuppl_u::part |
Referenced by bind_signal(), bind_task_function_namedblock(), codegen_gen_expr(), combination_collect(), combination_display_verbose(), combination_does_multi_exp_need_ul(), combination_get_tree_stats(), combination_multi_expr_calc(), combination_multi_var_exprs(), combination_output_expr(), combination_reset_counted_expr_tree(), combination_reset_counted_exprs(), combination_two_vars(), combination_underline_tree(), db_add_expression(), db_create_expression(), db_parallelize_statement(), exclude_assert_from_id(), exclude_expr_assign_and_recalc(), exclude_expr_from_id(), exclude_is_assert_excluded(), exclude_is_comb_excluded(), exclude_line_from_id(), expression_assign(), expression_create(), expression_create_nba(), expression_create_value(), expression_db_read(), expression_dealloc(), expression_op_func__aedge(), expression_op_func__delay(), expression_op_func__dly_assign(), expression_op_func__dly_op(), expression_op_func__eor(), expression_op_func__mbit(), expression_op_func__mbit_neg(), expression_op_func__mbit_pos(), expression_op_func__nedge(), expression_op_func__pedge(), expression_op_func__repeat_dly(), expression_op_func__sbit(), expression_op_func__slist(), expression_op_func__wait(), expression_set_changed(), expression_set_eval_NN(), expression_set_tf(), expression_set_tf_preclear(), expression_set_value(), funit_size_elements(), inst_parm_add(), mod_parm_add(), ovl_display_verbose(), race_calc_expr_assignment(), rank_gather_comb_cov(), rank_gather_expression_cov(), reentrant_restore_data_bits(), reentrant_store_data_bits(), sim_add_thread(), sim_expr_changed(), and sim_expression().
| uint32 esuppl_u::prev_called |
Bit 28. Mask bit = 0. Temporary value used by named block and task expression functions to indicate if we are in the middle of executing a named block or task expression (since these cause a context switch to occur.
Referenced by reentrant_restore_data_bits(), and reentrant_store_data_bits().
| uint32 esuppl_u::right_changed |
Bit 5. Mask bit = 1. Indicates that this expression has its right child expression in a changed state during this timestamp.
Referenced by expression_set_changed(), reentrant_restore_data_bits(), reentrant_store_data_bits(), sim_expr_changed(), and sim_expression().
| uint32 esuppl_u::root |
Bit 1. Mask bit = 1. Indicates that this expression is a root expression. Traversing to the parent pointer will take you to a statement type.
Referenced by expression_create(), and rank_gather_expression_cov().
| uint32 esuppl_u::swapped |
Bit 0. Mask bit = 1. Indicates that the children of this expression have been swapped. The swapping of the positions is performed by the score command (for multi-bit selects) and this bit indicates to the report code to swap them back when displaying them in.
| uint32 esuppl_u::true |
Bit 3. Mask bit = 1. Indicates that this expression has evaluated to a value of TRUE during the lifetime of the simulation.
Referenced by expression_op_func__aedge(), expression_op_func__delay(), expression_op_func__eor(), expression_op_func__nedge(), expression_op_func__pedge(), expression_op_func__slist(), expression_op_func__wait(), expression_set_tf(), and expression_set_tf_preclear().
| uint32 esuppl_u::type |
Bits 16:14. Mask bit = 1. Indicates how the pointer element should be treated as
Referenced by bind_task_function_namedblock(), db_parallelize_statement(), and expression_db_read().
1.6.3