Index

A

accept() (vsc.model.constraint_block_model.ConstraintBlockModel method) (vsc.model.constraint_expr_model.ConstraintExprModel method) (vsc.model.constraint_if_else_model.ConstraintIfElseModel method) (vsc.model.constraint_implies_model.ConstraintImpliesModel method) (vsc.model.constraint_model.ConstraintModel method) (vsc.model.constraint_scope_model.ConstraintScopeModel method) (vsc.model.constraint_unique_model.ConstraintUniqueModel method) (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.covergroup_registry.CovergroupRegistry method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) (vsc.model.field_composite_model.FieldCompositeModel method) (vsc.model.rangelist_model.RangelistModel method)

add_bin() (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) add_bin_model() (vsc.model.coverpoint_model.CoverpointModel method) add_constraint() (vsc.model.field_composite_model.FieldCompositeModel method) add_coverpoint() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) add_dynamic_constraint() (vsc.model.field_composite_model.FieldCompositeModel method) add_field() (vsc.model.field_composite_model.FieldCompositeModel method) add_ignore_bin_model() (vsc.model.coverpoint_model.CoverpointModel method) add_illegal_bin_model() (vsc.model.coverpoint_model.CoverpointModel method) add_range() (vsc.model.rangelist_model.RangelistModel method) add_value() (vsc.model.rangelist_model.RangelistModel method) addConstraint() (vsc.model.constraint_scope_model.ConstraintScopeModel method) and_nodelist() (vsc.model.constraint_model.ConstraintModel static method) append() (vsc.types.list_t method) (vsc.types.rangelist method) attr() (in module vsc.attrs)

B

bin (class in vsc.coverage) bin_array (class in vsc.coverage) bin_expr() (vsc.types.expr method) (vsc.types.type_base method) binsof (class in vsc.coverage) bit_t (class in vsc.types) bool_t (class in vsc.types) build() (vsc.model.constraint_expr_model.ConstraintExprModel method) (vsc.model.constraint_if_else_model.ConstraintIfElseModel method) (vsc.model.constraint_implies_model.ConstraintImpliesModel method) (vsc.model.constraint_model.ConstraintModel method) (vsc.model.constraint_scope_model.ConstraintScopeModel method) (vsc.model.constraint_unique_model.ConstraintUniqueModel method) (vsc.model.field_composite_model.FieldCompositeModel method)

build_cov_model() (vsc.coverage.bin method) (vsc.coverage.bin_array method) (vsc.coverage.coverpoint method) (vsc.coverage.cross method) (vsc.coverage.wildcard_bin method) (vsc.coverage.wildcard_bin_array method) build_field_model() (vsc.types.list_t method) (vsc.types.type_base method) (vsc.types.type_bool method) (vsc.types.type_enum method)

C

clear() (vsc.types.list_t method) (vsc.types.rangelist method) clone() (vsc.model.constraint_block_model.ConstraintBlockModel method) (vsc.model.constraint_expr_model.ConstraintExprModel method) (vsc.model.constraint_if_else_model.ConstraintIfElseModel method) (vsc.model.constraint_implies_model.ConstraintImpliesModel method) (vsc.model.constraint_model.ConstraintModel method) (vsc.model.constraint_scope_model.ConstraintScopeModel method) (vsc.model.constraint_unique_model.ConstraintUniqueModel method) (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) (vsc.model.rangelist_model.RangelistModel method) (vsc.types.type_base method) compact() (vsc.model.rangelist_model.RangelistModel method) constraint() (in module vsc.constraints) constraint_mode() (vsc.constraints.constraint_t method) constraint_t (class in vsc.constraints)

ConstraintBlockModel (class in vsc.model.constraint_block_model) ConstraintExprModel (class in vsc.model.constraint_expr_model) ConstraintIfElseModel (class in vsc.model.constraint_if_else_model) ConstraintImpliesModel (class in vsc.model.constraint_implies_model) ConstraintModel (class in vsc.model.constraint_model) ConstraintScopeModel (class in vsc.model.constraint_scope_model) ConstraintUniqueModel (class in vsc.model.constraint_unique_model) coverage_ev() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_model.CoverpointModel method) covergroup() (in module vsc.coverage) CovergroupModel (class in vsc.model.covergroup_model) CovergroupRegistry (class in vsc.model.covergroup_registry) coverpoint (class in vsc.coverage) CoverpointBinArrayModel (class in vsc.model.coverpoint_bin_array_model) CoverpointBinCollectionModel (class in vsc.model.coverpoint_bin_collection_model) CoverpointBinEnumModel (class in vsc.model.coverpoint_bin_enum_model) CoverpointBinModelBase (class in vsc.model.coverpoint_bin_model_base) CoverpointBinSingleBagModel (class in vsc.model.coverpoint_bin_single_bag_model) CoverpointBinSingleRangeModel (class in vsc.model.coverpoint_bin_single_range_model) CoverpointBinSingleValModel (class in vsc.model.coverpoint_bin_single_val_model) CoverpointCrossModel (class in vsc.model.coverpoint_cross_model) CoverpointModel (class in vsc.model.coverpoint_model) coverpoints() (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) cross (class in vsc.coverage)

D

DEBUG_EN (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel attribute) dispose() (vsc.model.constraint_model.ConstraintModel method) (vsc.model.field_composite_model.FieldCompositeModel method) dist() (in module vsc.constraints) dump() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method)

dynamic_constraint() (in module vsc.constraints) dynamic_constraint_proxy (class in vsc.types) dynamic_constraint_t (class in vsc.constraints) dynamic_constraint_t.call_closure (class in vsc.constraints)

E

elab() (vsc.constraints.constraint_t method) else_if (class in vsc.constraints) else_then_c (class in vsc.constraints) enum_t (class in vsc.types) equals() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) (vsc.model.rangelist_model.RangelistModel method)

expr (class in vsc.types) expr_subscript (class in vsc.types) extend() (vsc.types.list_t method) (vsc.types.rangelist method)

F

field_info (class in vsc.types) FieldCompositeModel (class in vsc.model.field_composite_model) finalize() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) (vsc.model.field_composite_model.FieldCompositeModel method)

find_field() (vsc.model.field_composite_model.FieldCompositeModel method) forall (class in vsc.constraints) foreach (class in vsc.constraints) foreach.idx_term_c (class in vsc.constraints) foreach.it_term_c (class in vsc.constraints)

G

generator() (in module vsc.rand_obj) get_bin_expr() (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_bin_hits() (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_bin_name() (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_bin_range() (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_constraint() (vsc.model.field_composite_model.FieldCompositeModel method) get_constraints() (vsc.model.field_composite_model.FieldCompositeModel method) get_coverage() (vsc.coverage.coverpoint method) (vsc.coverage.cross method) (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method)

get_coverage_report() (in module vsc) get_coverage_report_model() (in module vsc) get_field() (vsc.model.field_composite_model.FieldCompositeModel method) get_fields() (vsc.model.field_composite_model.FieldCompositeModel method) get_hit_bins() (vsc.model.coverpoint_model.CoverpointModel method) get_hits() (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) get_ignore_bin_hits() (vsc.model.coverpoint_model.CoverpointModel method) get_ignore_bin_name() (vsc.model.coverpoint_model.CoverpointModel method) get_illegal_bin_hits() (vsc.model.coverpoint_model.CoverpointModel method) get_illegal_bin_name() (vsc.model.coverpoint_model.CoverpointModel method) get_inst_coverage() (vsc.coverage.coverpoint method) (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_model() (vsc.coverage.coverpoint method) (vsc.types.list_t method) (vsc.types.type_base method) get_n_bins() (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) get_n_hit_bins() (vsc.model.coverpoint_model.CoverpointModel method) get_n_ignore_bins() (vsc.model.coverpoint_model.CoverpointModel method) get_n_illegal_bins() (vsc.model.coverpoint_model.CoverpointModel method) get_nodes() (vsc.model.constraint_implies_model.ConstraintImpliesModel method) (vsc.model.constraint_model.ConstraintModel method) (vsc.model.constraint_scope_model.ConstraintScopeModel method) (vsc.model.constraint_unique_model.ConstraintUniqueModel method) get_val() (vsc.coverage.coverpoint method) (vsc.model.coverpoint_model.CoverpointModel method) (vsc.types.type_base method) (vsc.types.type_bool method) (vsc.types.type_enum method)

H

hit_idx() (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method)

I

if_then (class in vsc.constraints) implies (class in vsc.constraints) inside() (vsc.types.expr method) (vsc.types.type_base method) inst() (vsc.model.covergroup_registry.CovergroupRegistry static method) int16_t (class in vsc.types)

int32_t (class in vsc.types) int64_t (class in vsc.types) int8_t (class in vsc.types) int_t (class in vsc.types) intersect() (vsc.coverage.binsof method) (vsc.model.rangelist_model.RangelistModel method) is_declared_rand (vsc.model.field_composite_model.FieldCompositeModel property)

L

list_t (class in vsc.types)

M

mk_collection() (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel static method) module vsc, [1], [2], [3] vsc.attrs vsc.constraints vsc.coverage vsc.model.constraint_block_model vsc.model.constraint_expr_model vsc.model.constraint_if_else_model vsc.model.constraint_implies_model vsc.model.constraint_model vsc.model.constraint_scope_model vsc.model.constraint_unique_model vsc.model.covergroup_model vsc.model.covergroup_registry vsc.model.coverpoint_bin_array_model vsc.model.coverpoint_bin_collection_model vsc.model.coverpoint_bin_enum_model vsc.model.coverpoint_bin_model_base vsc.model.coverpoint_bin_single_bag_model vsc.model.coverpoint_bin_single_range_model vsc.model.coverpoint_bin_single_val_model vsc.model.coverpoint_cross_model vsc.model.coverpoint_model vsc.model.field_composite_model vsc.model.rangelist_model vsc.rand_obj vsc.types

N

not_inside() (vsc.types.expr method) (vsc.types.type_base method)

O

outside() (vsc.types.expr method) (vsc.types.type_base method)

P

post_randomize() (vsc.model.field_composite_model.FieldCompositeModel method)

pre_randomize() (vsc.model.field_composite_model.FieldCompositeModel method) product (vsc.types.list_t property)

R

rand_attr() (in module vsc.attrs) rand_bit_t (class in vsc.types) rand_enum_t (class in vsc.types) rand_int16_t (class in vsc.types) rand_int32_t (class in vsc.types) rand_int64_t (class in vsc.types) rand_int8_t (class in vsc.types) rand_int_t (class in vsc.types) rand_list_t (class in vsc.types) rand_mode (vsc.types.type_base property) rand_uint16_t (class in vsc.types)

rand_uint32_t (class in vsc.types) rand_uint64_t (class in vsc.types) rand_uint8_t (class in vsc.types) randobj() (in module vsc.rand_obj) randsz_list_t (class in vsc.types) rangelist (class in vsc.types) RangelistModel (class in vsc.model.rangelist_model) report_coverage() (in module vsc) reset() (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) rng (class in vsc.types)

S

sample() (vsc.model.covergroup_model.CovergroupModel method) (vsc.model.coverpoint_bin_array_model.CoverpointBinArrayModel method) (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_enum_model.CoverpointBinEnumModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) (vsc.model.coverpoint_bin_single_bag_model.CoverpointBinSingleBagModel method) (vsc.model.coverpoint_bin_single_range_model.CoverpointBinSingleRangeModel method) (vsc.model.coverpoint_bin_single_val_model.CoverpointBinSingleValModel method) (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) select_unhit_bin() (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) set_bin_type() (vsc.model.coverpoint_bin_collection_model.CoverpointBinCollectionModel method) (vsc.model.coverpoint_bin_model_base.CoverpointBinModelBase method) set_constraint_enabled() (vsc.model.constraint_block_model.ConstraintBlockModel method)

set_field() (vsc.model.field_composite_model.FieldCompositeModel method) set_is_rand() (vsc.types.field_info method) set_model() (vsc.constraints.constraint_t method) (vsc.constraints.dynamic_constraint_t method) set_target_value_cache() (vsc.model.coverpoint_cross_model.CoverpointCrossModel method) (vsc.model.coverpoint_model.CoverpointModel method) set_used_rand() (vsc.model.field_composite_model.FieldCompositeModel method) set_val() (vsc.coverage.coverpoint method) (vsc.types.type_base method) (vsc.types.type_bool method) (vsc.types.type_enum method) signed() (in module vsc.types) size (vsc.types.list_t property) soft() (in module vsc.constraints) solve_order() (in module vsc.constraints) sum (vsc.types.list_t property)

T

to_expr() (in module vsc.types) (vsc.constraints.foreach.idx_term_c method) (vsc.constraints.foreach.it_term_c method) (vsc.types.list_t method) (vsc.types.type_base method)

toString() (vsc.model.rangelist_model.RangelistModel method) type_base (class in vsc.types) type_bool (class in vsc.types) type_enum (class in vsc.types)

U

uint16_t (class in vsc.types) uint32_t (class in vsc.types) uint64_t (class in vsc.types)

uint8_t (class in vsc.types) unique() (in module vsc.constraints) unique_vec() (in module vsc.constraints) unsigned() (in module vsc.types)

V

val (vsc.types.type_base property) vsc module, [1], [2], [3] vsc.attrs module vsc.constraints module vsc.coverage module vsc.model.constraint_block_model module vsc.model.constraint_expr_model module vsc.model.constraint_if_else_model module vsc.model.constraint_implies_model module vsc.model.constraint_model module vsc.model.constraint_scope_model module vsc.model.constraint_unique_model module vsc.model.covergroup_model module vsc.model.covergroup_registry module

vsc.model.coverpoint_bin_array_model module vsc.model.coverpoint_bin_collection_model module vsc.model.coverpoint_bin_enum_model module vsc.model.coverpoint_bin_model_base module vsc.model.coverpoint_bin_single_bag_model module vsc.model.coverpoint_bin_single_range_model module vsc.model.coverpoint_bin_single_val_model module vsc.model.coverpoint_cross_model module vsc.model.coverpoint_model module vsc.model.field_composite_model module vsc.model.rangelist_model module vsc.rand_obj module vsc.types module

W

weight (class in vsc.constraints) wildcard_bin (class in vsc.coverage)

wildcard_bin_array (class in vsc.coverage) write_coverage_db() (in module vsc)