user

FORMAL VERIFICATION OF DIGITAL CIRCUITS USING HYBRID SIMULATION

被引：0
|
作者：
SRINIVAS, NCE [1 ]
AGRAWAL, VD [1 ]
机构：
[1] AT&T BELL LABS,COMP SCI RES CTR,MURRAY HILL,NJ 07974
来源：
IEEE CIRCUITS AND DEVICES MAGAZINE | 1988年 / 4卷 / 01期
关键词：
D O I：
10.1109/101.927
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：19 / 27
页数：9
相关论文
共 50 条
  • [31] Formal verification of simulation traces using computation slicing
    Sen, Alper
    Garg, Vijay K.
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (04) : 511 - 527
  • [32] Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams
    Kumar, Jitendra
    Miyasaka, Yukio
    Srivastava, Asutosh
    Fujita, Masahiro
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (04) : 1365 - 1378
  • [33] Verification method of fault diagnosis of analog-digital hybrid circuits
    Zhang, Yaosheng
    Wang, Hengsheng
    Tianjin Daxue Xuebao/Journal of Tianjin University, 1990, (01):
  • [34] Formal Verification of Mixed-signal Circuits using Extended PSL
    Zhang, Meng
    Gao, Deyuan
    Fan, Xiaoya
    2009 IEEE 8TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1288 - 1293
  • [35] Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic Approach
    Su, Tiankai
    Yasin, Atif
    Pillement, Sebastien
    Ciesielski, Maciej
    2020 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2020), 2020, : 386 - 391
  • [36] Using Formal Verification Methods for Optimization of Circuits under External Constraints
    Grosse, Daniel
    Klemmer, Lucas
    Bonora, Dominik
    2024 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2024,
  • [37] Hybrid verification using saturated simulation
    Aziz, A
    Kukula, J
    Shiple, T
    1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 615 - 618
  • [38] Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry
    Lvov, Alexey
    Lastras-Montano, Luis A.
    Paruthi, Viresh
    Shadowen, Robert
    El-Zein, Ali
    PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 141 - 148
  • [39] On the formal verification of hybrid systems
    Guéguen, H
    Zaytoon, J
    CONTROL ENGINEERING PRACTICE, 2004, 12 (10) : 1253 - 1267
  • [40] On bridging simulation and formal verification
    Goldberg, Eugene
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
12345