论文标题
密集的AMS主张中的复发
Recurrence in Dense-time AMS Assertions
论文作者
论文摘要
表达模拟和混合信号（AMS）行为所必需的连续或密集时间复发的概念与SystemVerilog断言（SVA）的复发操作员提供的根本不同。本文介绍了在密集时间内复发的形式语义，并提供了一种使用间隔算术对此类属性进行运行时验证的方法。我们的属性语言以密集的实时间隔和包含实价信号的谓词扩展SVA。我们提供了一个工具套件，该工具包通过标准VPI与现成的EDA工具连接。
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.
