Recurrence in Dense-time AMS Assertions

Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta

The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the…