Using monitors in VIS

Using monitors in VIS

• Property holds iff

• 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.

  Previous slide

  Back to the first slide

  View Graphic Version