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 条
  • [21] VHDL-AMS simulation for battery chargers
    Overton, G
    ELECTRONIC ENGINEERING, 2001, 73 (890): : 15 - +
  • [22] An open VHDL-AMS simulation framework
    Schneider, T
    Mades, J
    Glesner, M
    Windisch, A
    Ecker, W
    2000 IEEE/ACM INTERNATIONAL WORKSHOP ON BEHAVIORAL MODELING AND SIMULATION, PROCEEDINGS, 2000, : 89 - 94
  • [23] AMS: A NEW PLATFORM FOR SYSTEM DESIGN AND SIMULATION
    Oueida, S.
    Kotb, Y.
    Ionescu, S.
    Militaru, G.
    INTERNATIONAL JOURNAL OF SIMULATION MODELLING, 2019, 18 (01) : 33 - 46
  • [24] VHDL-AMS subset for HB simulation
    Serdyuk, GV
    Shelkovnikov, BN
    14TH INTERNATIONAL CRIMEAN CONFERENCE: MICROWAVE & TELECOMMUNICATION TECHNOLOGY, CONFERENCE PROCEEDINGS, 2004, : 149 - 150
  • [25] Parallel simulation of VHDL-AMS models
    Hirsch, H
    Chawla, P
    Carter, HW
    PROCEEDINGS OF THE IEEE 1998 NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE, 1998, : 545 - 551
  • [26] Local democracy in India: Interpreting decentralization
    Baviskar, B. S.
    CONTRIBUTIONS TO INDIAN SOCIOLOGY, 2008, 42 (01): : 162 - 165
  • [27] BEYOND ETIOLOGY + INTERPRETING LOCAL LEGENDS
    SIMPSON, J
    FABULA, 1983, 24 (3-4) : 223 - 232
  • [28] Local Democracy in India: Interpreting Decentralisation
    Mitra, Subrata K.
    COMMONWEALTH & COMPARATIVE POLITICS, 2007, 45 (03) : 393 - 394
  • [29] Selection of variables for interpreting multivariate gas sensor data
    Eklöv, T
    Mårtensson, P
    Lundström, I
    ANALYTICA CHIMICA ACTA, 1999, 381 (2-3) : 221 - 232
  • [30] Interpreting local climatic guidance for PQPF
    Sigrest, AA
    Krzysztofowicz, R
    14TH CONFERENCE ON PROBABILITY AND STATISTICS IN THE ATMOSPHERIC SCIENCES, 1998, : 134 - 139
12345