DESIGN VERIFICATION SYSTEM FOR LARGE-SCALE LSI DESIGNS

被引：13
|
作者：
MONACHINO, M
机构：
来源：
IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1982年 / 26卷 / 01期
关键词：
D O I：
10.1147/rd.261.0089
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：89 / 99
页数：11
相关论文
共 50 条
  • [1] LARGE-SCALE LSI CAD-SYSTEM ADK
    TASHIMA, T
    ISHIZUKA, H
    SHINJO, S
    KAZEOKA, S
    YANAGIDA, O
    YOSHIDA, K
    [J]. SHARP TECHNICAL JOURNAL, 1994, (59): : 25 - 28
  • [2] LARGE-SCALE PROBLEMS IN LSI TESTING
    不详
    [J]. ELECTRONICS, 1968, 41 (24): : 99 - &
  • [3] DESIGN AND VERIFICATION OF LARGE-SCALE COMPUTERS BY USING DDL
    KAWATO, N
    SAITO, T
    UEHARA, T
    [J]. FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1979, 15 (02): : 1 - 19
  • [4] System design and experimental verification of an internal insulation panel system for large-scale cryogenic wind tunnel
    Niu, W. C.
    Ju, Y. L.
    [J]. CRYOGENICS, 2021, 115
  • [5] The Verification and Validation of a Large-Scale System: Equipment TaaS as an Example
    Hu, Jhen-Jia
    [J]. 2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 13 - 18
  • [6] System design for large-scale ultrafiltration applications
    Futselaar, H
    Weijenberg, DC
    [J]. DESALINATION, 1998, 119 (1-3) : 217 - 224
  • [7] DEVELOP LARGE-SCALE EMBEDDED DESIGNS
    DEARDEN, S
    [J]. ELECTRONIC DESIGN, 1992, 40 (12) : 96 - &
  • [8] Compositional Design and Verification of Large-Scale Systems Using Dissipativity Theory
    Arcak, Murat
    [J]. IEEE CONTROL SYSTEMS MAGAZINE, 2022, 42 (02): : 51 - 62
  • [9] A methodology for large-scale hardware verification
    Aagaard, MD
    Jones, RB
    Melham, TF
    O'Leary, JW
    Seger, CJH
    [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 263 - 282
  • [10] Teaching for Large-Scale Reproducibility Verification
    Vilhuber, Lars
    Son, Hyuk Harry
    Welch, Meredith
    Wasser, David N.
    Darisse, Michael
    [J]. JOURNAL OF STATISTICS AND DATA SCIENCE EDUCATION, 2022, 30 (03): : 274 - 281
12345