User`s guide
  119
Triggering Examples
Cross-Arming Trigger Examples
To examine software execution when a timing 
violation occurs
The timing analyzer triggers when the timing violation occurs. When it 
triggers, it also sets its "arm" level to true. When the state analyzer 
receives the arm signal, it triggers immediately on the present state. 
1 Set up one state analyzer and one timing analyzer.
2 Go to the timing analyzer's Trigger menu.
3 Define Edge1 to represent the control line where the timing 
violation occurs.
4 Under Timing Sequence Levels, enter the following sequence 
specification: 
• TRIGGER on "Edge1" Occurs "1" Else on "no state" go to level "1"
5 Go to the state analyzer's Trigger menu and check that term "a" is 
set to "don't care". In the Arming Control menu, set the state 
analyzer to be run by the timing analyzer.
Arming the State Analyzer from the Timing Analyzer










