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 条

[41] HIGH-LEVEL VLSI DESIGN SPECIFICATION VALIDATION USING ALGORITHMIC DEBUGGING
NAGANUMA, J
OGURA, T
HOSHINO, T
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (12) : 1988 - 1998
[42] Software specification and design for imaging systems
Laplante, PA
Neill, CJ
[J]. JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
[43] Specification driven design of complex systems
Tanir, O
[J]. WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 327 - 332
[44] REQUIREMENT AND DESIGN SPECIFICATION FOR DISTRIBUTED SYSTEMS
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 33 - 62
[45] THE SPECIFICATION AND DESIGN OF EDUCATIONAL MICROCOMPUTER SYSTEMS
THORNE, MP
[J]. BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY, 1980, 11 (03) : 178 - 184
[46] Design of Partitioned VLSI systems for Reliable Processing
Chitra, M.
Bharatula, Sita Devi
Suganya, S.
Suresh, M.
[J]. BIOSCIENCE BIOTECHNOLOGY RESEARCH COMMUNICATIONS, 2020, 13 (06): : 340 - 343
[47] ARRAY COMPILER DESIGN FOR VLSI/WSI SYSTEMS
KUNG, SY
JEAN, JSN
[J]. SYSTOLIC ARRAY PROCESSORS, 1989, : 665 - 679
[48] Test education for VLSI systems design engineers
Agrawal, VD
[J]. IEEE COMPUTER SOCIETY WORKSHOP ON VLSI '98 - SYSTEM LEVEL DESIGN, PROCEEDINGS, 1998, : 62 - 64
[49] On the design of constant weight codes for VLSI systems
Tallini, LG
Bose, B
[J]. TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1997, : 226 - 235
[50] ASPECTS OF MODELING AND DESIGN SYSTEMS FOR VLSI CIRCUITS
SMIT, J
HERRMANN, OE
[J]. SIMULATION APPLIED TO MANUFACTURING ENERGY AND ENVIRONMENTAL STUDIES AND ELECTRONICS AND COMPUTER ENGINEERING, 1989, : 257 - 264

← 1 2 3 4 5 →