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 条
  • [41] A parametric test method for analog components in integrated mixed-signal circuits
    Pronath, M
    Gloeckel, V
    Graeb, H
    ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, 2000, : 557 - 561
  • [42] Computer-aided design of analog and mixed-signal integrated circuits
    Gielen, GGE
    Rutenbar, RA
    PROCEEDINGS OF THE IEEE, 2000, 88 (12) : 1825 - 1852
  • [43] Stochastic Behavioral Modeling of Analog/Mixed-Signal Circuits by Maximizing Entropy
    Krishnan, Rahul
    Wu, Wei
    Gong, Fang
    He, Lei
    PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2013), 2013, : 572 - 579
  • [44] Transistors and tunnel diodes for analog/mixed-signal circuits and embedded memory
    Seabaugh, A
    Deng, X
    Blake, T
    Brar, B
    Broekaert, T
    Lake, R
    Morris, F
    Frazier, G
    INTERNATIONAL ELECTRON DEVICES MEETING 1998 - TECHNICAL DIGEST, 1998, : 429 - 432
  • [45] The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits
    Sanyal, Sayandeep
    Dasgupta, Pallab
    Hazra, Aritra
    Das, Sourav
    Morrison, Scott
    Surendran, Sudhakar
    Balasubramanian, Lakshmanan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (12) : 5695 - 5708
  • [46] Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits
    Little, Scott
    Sen, Alper
    Myers, Chris
    MTV 2007: EIGHTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2008, : 109 - +
  • [47] Hardware Trojans Embedded in the Dynamic Operation of Analog and Mixed-Signal Circuits
    Wang, Qianqian
    Geiger, Randall L.
    Chen, Degang
    PROCEEDINGS OF THE 2015 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2015, : 155 - 158
  • [48] Process Specific Functions for Assurance of Analog/Mixed-Signal Integrated Circuits
    Casto, Matthew
    Dupaix, Brian
    Orlando, Pompei
    Khalil, Waleed
    2019 IEEE 62ND INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2019, : 456 - 459
  • [49] A test method and DFT structure for analog modules in mixed-signal circuits
    Al-Qutayri, MA
    2002 45TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I, CONFERENCE PROCEEDINGS, 2002, : 388 - 391
  • [50] Verification of analog and mixed-signal circuits using hybrid system techniques
    Dang, T
    Donzé, A
    Maler, O
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 21 - 36