Formal Interpretation of Assertion-Based Features on AMS Designs

被引：8
|
作者：
da Costa, Antonio Anastasio Bruto [1 ]
Dasgupta, Pallab [1 ]
机构：
[1] Indian Inst Technol, Kharagpur 721302, W Bengal, India
来源：
IEEE DESIGN & TEST | 2015年 / 32卷 / 01期
关键词：
VERIFICATION;
D O I：
10.1109/MDAT.2014.2361720
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper proposes the adoption of formal methods for modeling of analog functions. It explains how assertions can be overlaid onto the range of values of individual features in an analog function, and proceeds toward building a mathematical (hybrid automata) model to represent and analyze them. An LDO regulator and a battery charger are used as examples. © 2013 IEEE.
引用
收藏
页码：9 / 17
页数：9
相关论文
共 50 条
  • [31] Efficient and Correct by Construction Assertion-Based Synthesis
    Morin-Allory, Katell
    Javaheri, Fatemeh Negin
    Borrione, Dominique
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (12) : 2890 - 2901
  • [32] Assertion-based verification: Industry myths to realities
    Foster, Harry
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 5 - 10
  • [33] Assertion-based analysis of hybrid systems with PVS
    Abrahám-Mumm, E
    Hannemann, U
    Steffen, M
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 94 - 109
  • [34] Assertion-based encapsulation, object invariants and simulations
    Naumann, DA
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 251 - 273
  • [35] Applied Assertion-Based Verification: An Industry Perspective
    Foster, Harry
    FOUNDATIONS AND TRENDS IN ELECTRONIC DESIGN AUTOMATION, 2008, 3 (01): : 1 - 95
  • [36] Assertion-based automatic generation of functional vectors
    Li, Tun
    Guo, Yang
    Li, Si-Kun
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (10): : 1441 - 1450
  • [37] Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions
    Uchevler, Bahram N.
    Svarstad, Kjetil
    INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2018, 2018
  • [38] PyABV: a framework for enhancing PyRTL with assertion-based verification
    Cheng, Yue
    Li, Tun
    Zou, Hongji
    Qu, Wanxia
    FRONTIERS OF COMPUTER SCIENCE, 2025, 19 (07)
  • [39] Defining and Providing Coverage for Assertion-Based Dynamic Verification
    Jason G. Tong
    Marc Boulé
    Zeljko Zilic
    Journal of Electronic Testing, 2010, 26 : 211 - 225
  • [40] A framework for assertion-based debugging in constraint logic programming
    Puebla, G
    Bueno, F
    Hermenegildo, M
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 472 - 472
12345