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] SymBIST: Symmetry-Based Analog and Mixed-Signal Built-In Self-Test for Functional Safety
    Pavlidis, Antonios
    Louerat, Marie-Minerve
    Faehn, Eric
    Kumar, Anand
    Stratigopoulos, Haralampos-G.
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2021, 68 (06) : 2580 - 2593
  • [32] Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
    Schoenherr, Jens
    Freibothe, Martin
    Straube, Bernd
    Bormann, Joerg
    THEORETICAL COMPUTER SCIENCE, 2008, 404 (03) : 293 - 307
  • [33] On-chip active guard band filters to suppress substrate-coupling noise in mixed-signal integrated circuits
    Makie-Fukuda, K
    Tsukada, T
    IEICE TRANSACTIONS ON ELECTRONICS, 2000, E83C (10): : 1663 - 1668
  • [34] Assertions for Protecting Mixed-Signal Latency Contracts in Power Management
    Mandal, Sudipa
    Dasgupta, Pallab
    Hazra, Aritra
    Mohan, Chunduri Rama
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2020, 28 (08) : 1745 - 1756
  • [35] Mixed-Signal Ionoacoustic Analog Front-End for Proton Range Verification with 24 μm Precision at 0.8 Gy Bragg Peak Dose
    Vallicelli, Elia A.
    Baschirotto, Andrea
    Lehrack, Sebastian
    Assmann, Walter
    Parodi, Katia
    Viola, Salvo
    Riccobene, Giorgio
    De Matteis, Marcello
    2019 26TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (ICECS), 2019, : 811 - 814
  • [36] Formal verification of analog and mixed signal designs in mathematica
    Zaki, Mohamed H.
    Al-Sammane, Ghiath
    Tahar, Sofiene
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 263 - +
  • [37] Formal verification of analog and mixed signal designs: A survey
    Zaki, Mohamed H.
    Tahar, Sofiene
    Bois, Guy
    MICROELECTRONICS JOURNAL, 2008, 39 (12) : 1395 - 1404
  • [38] Mixed-Signal Implementation of Differential Decoding using Binary Message Passing Algorithms
    Cowan, Glenn
    Cushon, Kevin
    Gross, Warren
    PROCEEDINGS OF THE ASAP2015 2015 IEEE 26TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, 2015, : 116 - 119
  • [39] Braindrop: A Mixed-Signal Neuromorphic Architecture With a Dynamical Systems-Based Programming Model
    Neckar, Alexander
    Fok, Sam
    Benjamin, Ben, V
    Stewart, Terrence C.
    Oza, Nick N.
    Voelker, Aaron R.
    Eliasmith, Chris
    Manohar, Rajit
    Boahen, Kwabena
    PROCEEDINGS OF THE IEEE, 2019, 107 (01) : 144 - 164
  • [40] Automated Technology Migration Methodology for Mixed-Signal Circuit Based on Multistart Optimization Framework
    Qian, Liuxi
    Bi, Zhaori
    Zhou, Dian
    Zeng, Xuan
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (11) : 2595 - 2605
12345