The Art of Certifying Analog/Mixed-Signal Circuits

被引：0
|
作者：
Li, Peng [1 ]
机构：
[1] Texas A&M Univ, Dept Elect & Comp Engn, College Stn, TX USA
来源：
IEEE DESIGN & TEST | 2015年 / 32卷 / 01期
关键词：
Analog circuits; Integrated circuit modeling; Scalability; Formal verification;
D O I：
10.1109/MDAT.2014.2370852
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：79 / 80
页数：2
相关论文
共 50 条
  • [31] Revisiting Routability-Driven Placement for Analog and Mixed-Signal Circuits
    Zhou, Hongxia
    Sham, Chiu-Wing
    Yao, Hailong
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2018, 23 (02)
  • [32] Structure synthesis of analog and mixed-signal circuits using partition techniques
    Zeng, Kaiping
    Huss, Sorin A.
    ISQED 2006: PROCEEDINGS OF THE 7TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2006, : 225 - +
  • [33] Oscillation-test strategy for analog and mixed-signal integrated circuits
    Arabi, K
    Kaminska, B
    14TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1996, : 476 - 482
  • [34] Technology of FinFET for High RF and Analog/Mixed-Signal Performance Circuits
    Ohguro, Tatsuya
    Inaba, Satoshi
    Kaneko, Akio
    Okano, Kimitoshi
    IEICE TRANSACTIONS ON ELECTRONICS, 2015, E98C (06): : 455 - 460
  • [35] Single-event effects in analog and mixed-signal integrated circuits
    Turflinger, TL
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1996, 43 (02) : 594 - 602
  • [36] Relevant Signals and Devices for Failure Analysis of Analog and Mixed-signal Circuits
    Melis, Tommaso
    Simeu, Emmanuel
    Saury, Luc
    Auvray, Etienne
    2021 IEEE INTERNATIONAL TEST CONFERENCE (ITC 2021), 2021, : 243 - 250
  • [37] Analog and mixed-signal circuits simulation for product level EMMI analysis
    Melis, Tommaso
    Simeu, Emmanuel
    Auvray, Etienne
    Armagnat, Paul
    MICROELECTRONICS RELIABILITY, 2020, 114
  • [38] Verification of analog and mixed-signal circuits using hybrid system techniques
    Dang, T
    Donzé, A
    Maler, O
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 21 - 36
  • [39] Designing analog and mixed-signal circuits on digital-CMOS processes
    Twomey, J
    EDN, 2000, 45 (16) : 109 - +
  • [40] Securing Analog Mixed-Signal Integrated Circuits Through Shared Dependencies
    Juretus, Kyle
    Rao, Vaibhav Venugopal
    Savidis, Ioannis
    GLSVLSI '19 - PROCEEDINGS OF THE 2019 ON GREAT LAKES SYMPOSIUM ON VLSI, 2019, : 483 - 488
12345