State Machine Testing
Importance of State Machines
30% of an ASIC is a state machines
Typical state machines have 28 states
Typical state machines have 50 transitions
There is increasing demand for good quality IP
System on Chip state machine interactions
Critically important to verify state machines to avoid coding errors and operational problems
Testing using Functional Verification