A DESIGN METHODOLOGY FOR THE CORRECT SPECIFICATION OF VLSI SYSTEMS

被引：0

作者：

BOLCHINI, C ^{[1
]}

BOMBANA, M ^{[1
]}

CAVALLORO, P ^{[1
]}

COSTI, C ^{[1
]}

FUMMI, F ^{[1
]}

ZAZA, G ^{[1
]}

机构：

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

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 38卷 / 1-5期

关键词：

D O I：

10.1016/0165-6074(93)90196-R

中图分类号：

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

学科分类号：

0812 ;

摘要：

Time to market is a key factor to beat competitors as it measures the ability to satisfy the market demands at the proper time. Innovative design methodologies based on formal methods can positively affect this parameter allowing rigour of design practice and guaranteeing correctness of implementations. In this paper we introduce the methodological approach (*) based on the use of the specification language VHDL/S and of the related formal based tools. The final goal is to provide an environment able to support the designer in the specification phase with the generation of correct and verified VHDL code. The integration of this formal based design phase into a standard CAD design flow is managed through the restriction to the VHDL subset supporting logical synthesis. Finally the encapsulation into a commercial CAD framework guarantees the unified approach to design required by final users.

引用

页码：563 / 570

页数：8

共 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] DESIGN METHODOLOGY FOR SELF-TIMED VLSI SYSTEMS
LISTER, PF
ALHELWANI, AM
[J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1985, 132 (01): : 25 - 32
[3] PROLOG AS A FORMALISM FOR VLSI DESIGN SPECIFICATION
GRABOWIECKI, T
PAWLAK, A
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 157 - 162
[4] VLSI ASYNCHRONOUS SYSTEMS - SPECIFICATION AND SYNTHESIS
GOPALAKRISHNAN, G
AKELLA, V
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (10) : 517 - 527
[5] The application of a systems methodology to the design and specification of an intelligent telecare system
Williams, G
Bradley, DA
Doughty, K
[J]. MECHATRONICS '98, 1998, : 787 - 792
[6] DESIGN METHODOLOGY FOR A VLSI MULTIPROCESSOR WORKSTATION
KONG, S
WOOD, D
GIBSON, G
KATZ, R
PATTERSON, D
[J]. VLSI SYSTEMS DESIGN, 1987, 8 (02): : 44 - &
[7] A VLSI design methodology for SOI technology
Allen, DH
[J]. 2004 IEEE INTERNATIONAL SOI CONFERENCE, PROCEEDINGS, 2004, : 5 - 8
[8] DESIGN OF VLSI SYSTEMS
FICHTNER, W
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 6 - 17
[9] A SPECIFICATION METHODOLOGY FOR INTELLIGENT TRAINING SYSTEMS
SIME, JA
LEITCH, RR
[J]. COMPUTERS & EDUCATION, 1993, 20 (01) : 73 - 80
[10] A design reliability methodology for CMOS VLSI circuits
Oshiro, L
Radojcic, R
[J]. 1995 INTERNATIONAL INTEGRATED RELIABILITY WORKSHOP, FINAL REPORT, 1996, : 34 - 39

← 1 2 3 4 5 →