Recurrence in Dense-Time AMS Assertions

The notion of recurrence over continuous or dense time, as required for expressing
analog and mixed-signal
behaviors, is fundamentally different from what is offered by the recurrence operators of SystemVerilog assertions (SVAs). This article introduces the formal semantics of recurrence over dense time and provides a methodology for the runtime verification of such properties using interval arithmetic. Our property language extends SVA with dense real-time intervals and predicates containing real-valued signals. We provide a tool kit that interfaces with off-the-shelf EDA tools through the standard VPI.