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
关键词
Analog circuits; Integrated circuit modeling; Scalability; Formal verification;
D O I
10.1109/MDAT.2014.2370852
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:79 / 80
页数:2
相关论文
共 50 条
  • [1] Accelerated Design of Analog, Mixed-Signal Circuits with Titan™
    Devgan, Anirudh
    Basaran, Bulent
    Colleran, David
    Hershenson, Mar
    ISPD 2009 ACM INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2009, : 67 - 71
  • [2] Fault Simulation for Dynamic Failures in Analog and Mixed-Signal Circuits
    Melis, Tommaso
    JOURNAL OF FAILURE ANALYSIS AND PREVENTION, 2024, 24 (05) : 2080 - 2094
  • [3] Cryo-CMOS for Analog/Mixed-Signal Circuits and Systems
    van Dijk, Jeroen
    't Hart, Pascal
    Kiene, Gerd
    Overwater, Ramon
    Padalia, Pinakin
    van Staveren, Job
    Babaie, Masoud
    Vladimirescu, Andrei
    Charbon, Edoardo
    Sebastiano, Fabio
    2020 IEEE CUSTOM INTEGRATED CIRCUITS CONFERENCE (CICC), 2020,
  • [4] Accelerated Design of Analog, Mixed-Signal Circuits with FineSim™ and Titan™
    Devgan, Anirudh
    2009 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC 2009), 2009, : 282 - 286
  • [5] Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
    Walter, David
    Little, Scott
    Myers, Chris
    Seegmiller, Nicholas
    Yoneda, Tomohiro
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (12) : 2223 - 2235
  • [6] Applications of Artificial Intelligence on the Modeling and Optimization for Analog and Mixed-Signal Circuits: A Review
    Fayazi, Morteza
    Colter, Zachary
    Afshari, Ehsan
    Dreslinski, Ronald
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2021, 68 (06) : 2418 - 2431
  • [7] Approximate property checking of mixed-signal circuits
    Mukherjee, Parijat
    Amin, Chirayu S.
    Li, Peng
    2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
  • [8] Understanding the Potential and Limitations of Tunnel FETs for Low-Voltage Analog/Mixed-Signal Circuits
    Settino, Francesco
    Lanuzza, Marco
    Strangio, Sebastiano
    Crupi, Felice
    Palestri, Pierpaolo
    Esseni, David
    Selmi, Luca
    IEEE TRANSACTIONS ON ELECTRON DEVICES, 2017, 64 (06) : 2736 - 2743
  • [9] A tutorial introduction to research on analog and mixed-signal circuit testing
    Milor, LS
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 1998, 45 (10) : 1389 - 1407
  • [10] Analog/Mixed-Signal Layout Optimization Using OptimalWell Taps
    Ramprasath, S.
    Madhusudan, Meghna
    Sharma, Arvind K.
    Poojary, Jitesh
    Yaldiz, Soner
    Harjani, Ramesh
    Burns, Steven M.
    Sapatnekar, Sachin S.
    ISPD'22: PROCEEDINGS OF THE 2022 INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2022, : 159 - 166