Recurrence in Dense-time AMS Assertions
The work
| Authors | Sayandeep Sanyal; Antonio Anastasio Bruto da Costa; Pallab Dasgupta |
|---|---|
| Editors | |
| Type | preprint |
| Year | 2020 |
| Citekey | sanyal2020recurrence |
Identifiers
| arXiv | 2011.08805 from its doi |
|---|---|
| DOI | 10.48550/arxiv.2011.08805 |
Access
| Landing page | https://arxiv.org/abs/2011.08805 |
|---|---|
| Free full text | https://arxiv.org/pdf/2011.08805 |
From arxiv.
Abstract
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 recurrence operators of SystemVerilog Assertions (SVA). 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 which interfaces with off-the-shelf EDA tools through standard VPI.
A copy is held
pdf, 240.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via arxiv |
|---|---|
| Added | 2026-10-22 17:23 UTC |
| Approved by | a person 2026-10-22 18:07 UTC |
Cite it as
@unpublished{sanyal2020recurrence,
title = {Recurrence in Dense-time AMS Assertions},
author = {Sayandeep Sanyal and Antonio Anastasio Bruto da Costa and Pallab Dasgupta},
year = {2020},
doi = {10.48550/arxiv.2011.08805},
}
This record lives at https://refs.drheap.org/sanyal2020recurrence/ and will keep doing so.