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] Defect detection in analog and mixed circuits by neural networks using wavelet analysis
    Stopjaková, V
    Malosek, P
    Matej, M
    Nagy, V
    Margala, M
    IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (03) : 441 - 448
  • [42] MIXED INTEGER PROGRAMMING METHOD FOR FAULT-DIAGNOSIS OF LINEAR ANALOG CIRCUITS
    PRASAD, VC
    PINJALA, SNR
    MURTY, KG
    ELECTRONICS LETTERS, 1992, 28 (13) : 1184 - 1185
  • [43] On Behavioral Model Equivalence Checking for Large Analog/Mixed Signal Systems
    Singh, Amandeep
    Li, Peng
    2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 55 - 61
  • [44] Design for testability for analog circuits using sensitivity analysis based on signal flow graph
    Qian, YL
    Qiu, J
    Yi, XS
    Wen, XS
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 459 - 462
  • [45] Implementation of a fault diagnosis method basing on multisampling of time response in a mixed-signal electronic microsystem
    Czaja, Zbigniew
    PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (9A): : 33 - 36
  • [46] Hot-carrier aging of NMOST in analog circuits with large periodic drain signal
    Habas, Predrag
    SOLID-STATE ELECTRONICS, 2006, 50 (05) : 727 - 732
  • [47] Impact of gate-oxide tunneling on mixed-signal design and simulation of a nano-CMOS VCO
    Kougianos, Elias
    Mohanty, Saraju R.
    MICROELECTRONICS JOURNAL, 2009, 40 (01) : 95 - 103
  • [48] On the complexity of encoding in analog circuits
    Wegener, I
    INFORMATION PROCESSING LETTERS, 1996, 60 (01) : 49 - 52
  • [49] BISCC: A Novel Approach to Built In State Consistency Checking For Quick Volume Validation of Mixed-Signal/RF Systems
    Deyati, Sabyasachi
    Muldrey, Barry
    Chatterjee, Abhijit
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2023, 39 (03): : 303 - 322
  • [50] BISCC: A Novel Approach to Built In State Consistency Checking For Quick Volume Validation of Mixed-Signal/RF Systems
    Sabyasachi Deyati
    Barry Muldrey
    Abhijit Chatterjee
    Journal of Electronic Testing, 2023, 39 : 303 - 322