A Semi-Formal Approach for Analog Circuits Behavioral Properties Verification

被引：1
|
作者：
Lahiouel, Ons [1 ]
Aridhi, Henda [1 ]
Zaki, Mohamed H. [1 ]
Tahar, Sofiene [1 ]
机构：
[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ, Canada
来源：
GLSVLSI'14: PROCEEDINGS OF THE 2014 GREAT LAKES SYMPOSIUM ON VLSI | 2014年
关键词：
Analog Circuits; Global Optimization; Qualitative Simulation; Tunnel Diode Oscillator;
D O I：
10.1145/2591513.2591578
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose an environment for the verification of analog circuits behavioral properties, where the circuit state space bounds are first computed using qualitative simulation. Then, their specified behavioral properties are verified on these bounds. The effectiveness of the method is illustrated with a tunnel diode oscillator.
引用
收藏
页码：247 / 248
页数：2
相关论文
共 50 条
  • [21] Semi-formal, not semi-realistic. A new approach to describing software components
    Montgomery, EJ
    Meling, R
    Mehandjiska, D
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, SYSTEMS AND ARCHITECTURES, 2003, 732 : 197 - 207
  • [22] VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology
    Wong, Alvin D.
    Su, Kevin
    Sun, Hang
    Fayyazi, Arash
    Pedram, Massoud
    Nazarian, Shahin
    [J]. PROCEEDINGS OF THE 2019 20TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2019, : 224 - 230
  • [23] Can semi-formal be made more formal?
    Banerjee, Ansuman
    Dasgupta, Pallab
    Chakrabarti, Partha P.
    [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 193 - +
  • [24] Introspection mechanisms for semi-formal verification in a system-level design environment
    Metzger, M.
    Bastien, F.
    Rousseau, F.
    Vachon, J.
    Aboulhamid, E. M.
    [J]. SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 91 - +
  • [25] On combining semi-formal and formal object specification techniques
    Gogolla, M
    Richters, M
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 238 - 252
  • [26] Crossing the borderline - From formal to semi-formal specifications
    Bollin, Andreas
    [J]. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
  • [27] Semi-formal Evaluation of Conversational Characters
    Artstein, Ron
    Gandhe, Sudeep
    Gerten, Jillian
    Leuski, Anton
    Traum, David
    [J]. LANGUAGES: FROM FORMAL TO NATURAL, 2009, 5533 : 22 - 35
  • [28] Template-Based Semi-Formal Approach to Robust Equivalence Checking
    Wang, Qinhao
    Fujita, Masahiro
    [J]. ELECTRONICS, 2022, 11 (11)
  • [29] Integrating semi-formal and formal software specification techniques
    Wieringa, R
    Dubois, E
    [J]. INFORMATION SYSTEMS, 1998, 23 (3-4) : 159 - 178
  • [30] Semi-formal test generation with Genevieve
    Dushina, J
    Benjamin, M
    Geist, D
    [J]. 38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 617 - 622
12345