| |||
|---|---|---|---|
|
|
||
CONSTRAINTS
ConstraintsConstraints are directives that influence the behavior of the Specman test generator. They are declared within a struct and influence the generation of values for data items within the struct and its subtree.
1. Hard Constraints
2. Soft Constraints
For constraints that might need to be overridden, we use soft constraints. Soft constraints are obeyed if not contradicted by hard constraints. The last loaded soft constraint prevails if there is a contradiction with other soft constraints. Soft constraints are used to define the default range of values of fields. Soft constraints are used to set initial settings for tests.
EXAMPLE:
keep kind != tx or len == 16;
ConstraintsConstraints are directives that influence the behavior of the Specman test generator. They are declared within a struct and influence the generation of values for data items within the struct and its subtree.
1. Hard Constraints
2. Soft Constraints
For constraints that might need to be overridden, we use soft constraints. Soft constraints are obeyed if not contradicted by hard constraints. The last loaded soft constraint prevails if there is a contradiction with other soft constraints. Soft constraints are used to define the default range of values of fields. Soft constraints are used to set initial settings for tests.
EXAMPLE:
keep kind != tx or len == 16;
Index
Introduction
E Basics
Data Types
Operators
Struct
Units
List
Methods
Concurrency Actions
Constraints
Extend
When And Like
Events
Temporal Expressions
Temporal Operators 1
Temporal Operators 2
Synchronizing With The Simulator
Wait And Sync
Physical Virual Feilds
Packing N Unpacking
Pre Run N On The Fly
Coverage
Commands
Extendable Methods
Non Extendable Methods
And Gate Evc
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!
Introduction
E Basics
Data Types
Operators
Struct
Units
List
Methods
Concurrency Actions
Constraints
Extend
When And Like
Events
Temporal Expressions
Temporal Operators 1
Temporal Operators 2
Synchronizing With The Simulator
Wait And Sync
Physical Virual Feilds
Packing N Unpacking
Pre Run N On The Fly
Coverage
Commands
Extendable Methods
Non Extendable Methods
And Gate Evc
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!