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 条
  • [21] Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs
    Bidmeshki, Mohammad Mahdi
    Antonopoulos, Angelos
    Makris, Yiorgos
    IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, 2021, 11 (02) : 415 - 427
  • [22] Leveraging pre-silicon data to diagnose out-of-specification failures in mixed-signal circuits
    Mukherjee, Parijat
    Li, Peng
    2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
  • [23] A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits
    Sayandeep Sanyal
    Mayukh Bhattacharya
    Amit Patra
    Pallab Dasgupta
    Journal of Electronic Testing, 2020, 36 : 719 - 730
  • [24] A Methodology for Identification of Internal Nets for Improving Fault Coverage in Analog and Mixed Signal Circuits
    Sanyal, Sayandeep
    Bhattacharya, Mayukh
    Patra, Amit
    Dasgupta, Pallab
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2020, 36 (06): : 719 - 730
  • [25] A Generalized Methodology for Well Island Generation and Well-tap Insertion in Analog/Mixed-signal Layouts
    Gopalakrishnan, Ramprasath Srinivasa
    Madhusudan, Meghna
    Sharma, Arvind K.
    Poojary, Jitesh
    Yaldiz, Soner
    Harjani, Ramesh
    Burns, Steven M.
    Sapatnekar, Sachin S.
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2023, 28 (05)
  • [26] Global Convergence Analysis of Mixed-Signal Systems
    Youn, Sangho
    Kim, Jaeha
    Horowitz, Mark
    PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 498 - 503
  • [27] Mixed-Signal Design Using Digital CAD
    Unnikrishnan, Vishnu
    Vesterbacka, Mark
    2016 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2016, : 6 - 11
  • [28] Design of mixed-signal systems-on-a-chip
    Kundert, K
    Chang, H
    Jefferies, D
    Lamant, G
    Malavasi, E
    Sendig, F
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (12) : 1561 - 1571
  • [29] Self-testing of analog parts of mixed-signal electronic microsystems based on multiple sampling of time responses
    Czaja, Zbigniew
    2012 IEEE INTERNATIONAL INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE (I2MTC), 2012, : 477 - 482
  • [30] DDtM: Increasing Latent Defect Detection in Analog/Mixed-Signal ICs Using the Difference in Distance to Mean Value
    Gomez, Jhon
    Xama, Nektar
    Coyette, Anthony
    Vanhooren, Ronny
    Dobbelaere, Wim
    Gielen, Georges
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4771 - 4781