VLSI SPECIFICATION AND VERIFICATION

被引：0

作者：

ANTOLA, A ^{[1
]}

机构：

[1] POLITECN MILAN,DIP ELLETTRON,I-20133 MILAN,ITALY

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1990年 / 30卷 / 1-5期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：403 / 403

页数：1

共 50 条

[1] 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
[2] ON THE SPECIFICATION FOR VLSI SYSTOLIC ARRAYS
LIN, F
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (04) : 496 - 506
[3] VLSI VERIFICATION AND CORRECTION
ROTH, JP
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 163 : 174 - 176
[4] VLSI ASYNCHRONOUS SYSTEMS - SPECIFICATION AND SYNTHESIS
GOPALAKRISHNAN, G
AKELLA, V
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (10) : 517 - 527
[5] PROLOG AS A FORMALISM FOR VLSI DESIGN SPECIFICATION
GRABOWIECKI, T
PAWLAK, A
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 157 - 162
[6] Security specification and verification
Fenkam, P
[J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
[7] VLSI DESIGN AND ARTWORK VERIFICATION
TUCKER, MG
HAYDAMACK, WJ
[J]. HEWLETT-PACKARD JOURNAL, 1981, 32 (06): : 25 - 29
[8] 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
[9] BEHAVIORAL DESCRIPTION AND VLSI VERIFICATION
MILNE, GJ
[J]. IEE PROCEEDINGS-I COMMUNICATIONS SPEECH AND VISION, 1986, 133 (03): : 87 - 97
[10] A VLSI DESIGN VERIFICATION STRATEGY
TRAN, AS
FORSBERG, RA
LEE, JC
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1982, 26 (04) : 475 - 484

← 1 2 3 4 5 →