VLSI VERIFICATION AND CORRECTION

被引：0

作者：

ROTH, JP

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 163卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：174 / 176

页数：3

共 50 条

[1] VLSI SPECIFICATION AND VERIFICATION
ANTOLA, A
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
[2] VERIFICATION ALGORITHMS FOR VLSI SYNTHESIS
HACHTEL, GD
JACOBY, RM
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1988, 7 (05) : 616 - 640
[3] SPECIFICATION AND VERIFICATION OF VLSI SYSTEMS
WILK, A
PNUELI, A
[J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 460 - 463
[4] VLSI DESIGN AND ARTWORK VERIFICATION
TUCKER, MG
HAYDAMACK, WJ
[J]. HEWLETT-PACKARD JOURNAL, 1981, 32 (06): : 25 - 29
[5] BEHAVIORAL DESCRIPTION AND VLSI VERIFICATION
MILNE, GJ
[J]. IEE PROCEEDINGS-I COMMUNICATIONS SPEECH AND VISION, 1986, 133 (03): : 87 - 97
[6] A VLSI DESIGN VERIFICATION STRATEGY
TRAN, AS
FORSBERG, RA
LEE, JC
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1982, 26 (04) : 475 - 484
[7] BEHAVIORAL DESCRIPTION AND VLSI VERIFICATION
MILNE, GJ
[J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (03): : 127 - 137
[8] VERIFICATION OF THE VLSI-/370 MICROPROCESSOR
GERST, H
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 137 - 145
[9] VERIFICATION OF THE VLSI-/370 MICROPROCESSOR
GERST, H
[J]. VLSI AND COMPUTER PERIPHERALS: VLSI AND MICROELECTRONIC APPLICATIONS IN INTELLIGENT PERIPHERALS AND THEIR INTERCONNECTION NETWORKS, 1989, : E128 - E133
[10] Parallel algorithms for VLSI layout verification
MacPherson, K
Banerjee, P
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 36 (02) : 156 - 172

← 1 2 3 4 5 →