I2C Monitor for simulation and formal verification
The Mentor Graphics Corporation I2C CheckerWare monitor is used to verify any I2C designs for protocol correctness, and to measure the verification coverage through structural coverage metrics. The I2C monitor contains assertion directives that track all I2C interface protocol rules. The statistics block collects the occurrences of various protocol scenarios on the I2C bus. This I2C Monitor can be used in simulation (with industry standard simulators) and with the 0-In Formal Verification tools (Search, Confirm, and Prove). With the 0-In Formal Verification tools, the assertion directives in the I2C monitor can be used as Constraints and Goals/Properties-to-prove-or-falsify, when used with the 0-In Formal Verification tools.