Instruction on Using Signal-Based Design States in eXpress:

– Types of Design States
* system configurations vs individual signal paths
– Signal Definitions
* allowed signal definitions, batch signal creation
– Creating Design States for Signal Paths
* automatic generation, systematic vs random
– Using Constraints to control/limit Design States Generation
– Testing using Signal Path-based Design States
* batch creation of tests using design states
* constraining coverage to signal path

*Lecture, demonstration & discussion

eXpress