VLSI VERIFICATION AND CORRECTION

被引：0
|
作者：
ROTH, JP
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 163卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：174 / 176
页数：3
相关论文
共 50 条
  • [31] Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification
    Liu, Mingjie
    Kang, Minwoo
    Hamad, Ghaith Bany
    Suhaib, Syed
    Ren, Haoxing
    [J]. 2024 IEEE 42ND VLSI TEST SYMPOSIUM, VTS 2024, 2024,
  • [32] Improved Automatic Correction for Digital VLSI Circuits
    Gaber, Lamya
    Hussein, Aziza, I
    Moness, Mohammed
    [J]. 31ST INTERNATIONAL CONFERENCE ON MICROELECTRONICS (IEEE ICM 2019), 2019, : 18 - 22
  • [33] Design and Verification of High-Speed VLSI Physical Design
    Dian Zhou
    Rui-Ming Li
    [J]. Journal of Computer Science and Technology, 2005, 20 : 147 - 165
  • [34] Design and verification of high-speed VLSI physical design
    Zhou, D
    Li, RM
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 20 (02) : 147 - 165
  • [35] INTERNAL MEASUREMENTS FOR FAILURE ANALYSIS AND CHIP VERIFICATION OF VLSI CIRCUITS
    KOLZER, J
    OTTO, J
    [J]. REVUE DE PHYSIQUE APPLIQUEE, 1989, 24 (06): : 173 - 173
  • [36] IBMS ENGINEERING DESIGN SYSTEM SUPPORT FOR VLSI DESIGN AND VERIFICATION
    DUNN, LN
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1984, 1 (01): : 30 - 40
  • [37] VLSI Design for SVM-Based Speaker Verification System
    Wang, Jia-Ching
    Lian, Li-Xun
    Lin, Yan-Yu
    Zhao, Jia-Hao
    [J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (07) : 1355 - 1359
  • [38] VLSI design and system level verification for the mini-disc
    Fujimoto, T
    Kambe, T
    [J]. 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 491 - 496
  • [39] Functional Verification of DSP based On-board VLSI Designs
    Jain, Sourabh
    Govani, Parimal
    Poddar, Kamal B.
    Lal, A. K.
    Parmar, R. M.
    [J]. 2016 INTERNATIONAL CONFERENCE ON VLSI SYSTEMS, ARCHITECTURES, TECHNOLOGY AND APPLICATIONS (VLSI-SATA), 2016,
  • [40] A PC KNOWLEDGE-BASED ENVIRONMENT FOR VLSI LAYOUT VERIFICATION
    HASHIM, F
    HABIB, SED
    ZAKI, M
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 19 - 31
12345