Automated Synthesis of Assertion Monitors using Visual Specifications

Ambar A. Gadkari, S. Ramesh

Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors…