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 条
  • [21] Monitoring assertion-based business processes
    Aiello, Marco
    Lazovik, Alexander
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2006, 15 (03) : 359 - 389
  • [22] Assertion-Based Modal Power Estimation
    Ahuja, Sumit
    Mathaikutty, Deepak A.
    Shukla, Sandeep
    Dingankar, Ajit
    MTV 2007: EIGHTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2008, : 3 - +
  • [23] Improved assertion lifetime via assertion-based testing methodology
    Riazati, Mohammad
    Mohammadi, Siamak
    Afzali-Kusha, Ali
    Navabi, Zain
    2006 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 48 - +
  • [24] Assertion-based and constraint-based verification
    Pixley, C
    IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 97 - 97
  • [25] On the Effectiveness of Assertion-Based Verification in an Industrial Context
    Pierre, Laurence
    Pancher, Fabrice
    Suescun, Rodolphe
    Quevremont, Jerome
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 78 - 93
  • [26] On assertion-based encapsulation for object invariants and simulations
    Naumann, David A.
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (02) : 205 - 224
  • [27] Assertion-Based Verification through Binary Instrumentation
    Brignon, Enzo
    Pierre, Laurence
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 988 - 991
  • [28] Multi-level assertion-based design
    Eveking, Hans
    Braun, Martin
    Schickel, Martin
    Schweikert, Martin
    Nimbler, Volker
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 85 - +
  • [29] Assertion-Based Verification of Industrial WLAN System
    Syafalni, Infall
    Surantha, Nico
    Lam, Duc Khai
    Sutisna, Nana
    Nagao, Yuhei
    Wakasugi, Katsuhiko
    Yang Tongxin
    Ochi, Hiroshi
    Tsuchiya, Taadaki
    2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 982 - 985
  • [30] A Study on the Assertion-Based Verification of Digital IC
    Li, Yangyang
    Wu, Wuchen
    Hou, Ligang
    Cheng, Hao
    ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 2, PROCEEDINGS: IMAGE ANALYSIS, INFORMATION AND SIGNAL PROCESSING, 2009, : 25 - +
12345