|
Using monitors in VIS
Using monitors in VIS
- Procedure:
- Write verilog code for the monitor, append to the system description.
- Write CTL file specifying fairness constraints for system + monitor.Fairness constraints of monitor should allow bad behavior only.
- Use the “lang_empty” command.
- If there exists bad behavior, VIS will give a short error trace.
the system + monitor combination
has no fair traces.
|