Instrumenting AMS assertion verification on commercial platforms

Mukhopadhyay, Rajdeep ; Panda, S. K. ; Dasgupta, Pallab ; Gough, John (2009) Instrumenting AMS assertion verification on commercial platforms ACM Transactions on Design Automation of Electronic Systems, 14 (2). pp. 1-47. ISSN 1084-4309

Full text not available from this repository.

Official URL:

Related URL:


The industry trend appears to be moving towards designs that integrate large digital circuits with multiple analog/RF (radio frequency) interfaces. In the verification of these large integrated circuits, the number of nets that need to be monitored has been growing rapidly. Consequently, the mixed-signal design community has been feeling the need for AMS (Analog and Mixed Signal) assertions that can automatically monitor conformance with expected time-domain behavior and help in debugging deviations from the design intent. The main challenges in providing this support are (a) developing AMS assertion languages or AMS verification libraries, and (b) instrumenting existing commercial simulators to support assertion verification during simulation. In this article, we report two approaches: the first extends the Open Verification Library (OVL) to the AMS domain by integrating a new collection of AMS verification libraries; while the second extends SystemVerilog Assertions (SVA) by augmenting analog predicates into SVA. We demonstrate the use of AMS-OVL on the Cadence Virtuoso environment while emphasizing that our libraries can work in any environment that supports Verilog and Verilog-A. We also report the development of tool support for AMS-SVA using a combination of Cadence NCSIM and Synopsys VCS. We demonstrate the utility of both approaches on the verification of LP3918, an integrated power management unit (PMU) from National Semiconductors. We believe that in the absence of existing EDA (Electronic Design Automation) tools for AMS assertion verification, the proposed approaches of integrating our libraries and our tool sets with existing commercial simulators will be of considerable and immediate practical value.

Item Type:Article
Source:Copyright of this article belongs to Association for Computing Machinery.
ID Code:101405
Deposited On:12 Dec 2016 11:43
Last Modified:12 Dec 2016 11:43

Repository Staff Only: item control page