Interpreting Local Variables in AMS Assertions During Simulation

被引：3
|
作者：
Ain, Antara [1 ]
Dasgupta, Pallab [2 ]
机构：
[1] Indian Inst Technol Kharagpur, Adv Technol Dev Ctr, Kharagpur 721302, W Bengal, India
[2] Indian Inst Technol Kharagpur, Dept Comp Sci & Engn, Kharagpur 721302, W Bengal, India
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2019年 / 38卷 / 05期
关键词：
Analog and mixed-signal (AMS)-assertions; local variables; simulation; ANALOG;
D O I：
10.1109/TCAD.2018.2824288
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The support for local variables in SystemVerilog assertions significantly enhances its expressive power. Handling local variables in analog and mixed-signal (AMS) extensions of assertion languages is tricky due to the dense time interpretation of AMS assertions, and has not been adequately treated in existing literature. This paper presents an approach for interpreting local variables in AMS assertions during simulation and a tool flow that works with standard mixed-mode simulators.
引用
收藏
页码：980 / 984
页数：5
相关论文
共 50 条
  • [1] Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice
    Mukherjee, Subhankar
    Dasgupta, Pallab
    Mukhopadhyay, Siddhartha
    Little, Scott
    Havlicek, John
    Chandrasekaran, Srikanth
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2012, 17 (04)
  • [2] Monitoring AMS Simulation: From Assertions to Features
    Ain, Antara
    Dasgupta, Pallab
    2015 28TH INTERNATIONAL CONFERENCE ON VLSI DESIGN (VLSID), 2015, : 429 - 434
  • [3] Incorporating Local Variables in Mixed-Signal Assertions
    Mukherjee, Subhankar
    Dasgupta, Pallab
    TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 2371 - 2375
  • [4] Checker generation of assertions with local variables for model checking
    Osaka University, Japan
    不详
    IPSJ Trans. Syst. LSI Des. Methodol., (80-92):
  • [5] AMS-Miner: Mining AMS Assertions using Interval Arithmetic
    da Costa, Antonio Anastasio Bruto
    Dharade, Shriya
    Mandal, Sudipa
    Dasgupta, Pallab
    2018 31ST INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2018 17TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID & ES), 2018, : 404 - 409
  • [6] Recurrence in Dense-Time AMS Assertions
    Sanyal, Sayandeep
    da Costa, Antonio Anastasio Bruto
    Dasgupta, Pallab
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2021, 40 (11) : 2416 - 2420
  • [7] Computing Minimal Debugging Windows in Failure Traces of AMS Assertions
    Mukherjee, Subhankar
    Dasgupta, Pallab
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2012, 31 (11) : 1776 - 1781
  • [8] Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions
    Mukherjee, Subhankar
    Dasgupta, Pallab
    Mukhopadhyay, Siddhartha
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2011, 30 (10) : 1446 - 1457
  • [9] INTERPRETING DUMMY VARIABLES
    KENNEDY, P
    REVIEW OF ECONOMICS AND STATISTICS, 1986, 68 (01) : 174 - 175
  • [10] Local knowledge assertions in a changing world
    Ramanujam, R
    THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 1 - 14
12345