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 ;
摘要：
INTEGRATED CIRCUITS
引用
收藏
页码：89 / 99
页数：11
相关论文
共 18 条
[1]  
BOTTORFF PS, 1977, 14TH P DES AUT C, P479
[2]  
CARTER WC, 1964, IBM J RES DEV, V8, P115
[3]   DESIGN AUTOMATION IN IBM [J].
CASE, PW ;
CORREIA, M ;
GIANOPULOS, W ;
HELLER, WR ;
SIMEK, RL ;
OFEK, H ;
RAYMOND, TC ;
STIEGLITZ, CB .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (05) :631-646
[4]  
EICHELBERGER EB, 1977, 14TH P DES AUT C, P462
[5]   DESIGN AND CODE INSPECTIONS TO REDUCE ERRORS IN PROGRAM-DEVELOPMENT [J].
FAGAN, ME .
IBM SYSTEMS JOURNAL, 1976, 15 (03) :182-211
[6]   IBM-3081 PROCESSOR UNIT - DESIGN CONSIDERATIONS AND DESIGN PROCESS [J].
GUSTAFSON, RN ;
SPARACIO, FJ .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1982, 26 (01) :12-21
[7]   TIMING ANALYSIS OF COMPUTER HARDWARE [J].
HITCHCOCK, RB ;
SMITH, GL ;
CHENG, DD .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1982, 26 (01) :100-105
[8]   A 3-VALUE COMPUTER DESIGN VERIFICATION SYSTEM [J].
JEPHSON, JS ;
MCQUARRI.RP ;
VOGELSBE.RE .
IBM SYSTEMS JOURNAL, 1969, 8 (03) :178-&
[9]  
KHO TS, 1980, 1980 P IEEE INT C CI, P921
[10]  
MYERS GJ, 1979, ART SOFTWARE TESTING, P36
12