DocumentCode
3441919
Title
Towards automatic synthesis and verification of complex electronic systems
Author
Sangiovanni-Vincentelli, A.
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA
fYear
1991
fDate
13-16 May 1991
Firstpage
888
Lastpage
893
Abstract
Time-to-market has become one of the driving forces in the electronics industry. A well-defined design methodology and the use of CAD tools are essential in shortening design time and bringing new products to market with the quality that the evolution of the electronics market demands. Novel developments in system implementation technologies and in design methods and tools are presented
Keywords
circuit CAD; circuit layout CAD; integrated circuit testing; logic CAD; logic testing; CAD tools; design for testability; design methods; design time; electronic system design process; electronics industry; electronics market; system implementation technologies; Application specific integrated circuits; Consumer electronics; Design automation; Design methodology; Integrated circuit interconnections; Integrated circuit synthesis; Petroleum; Process design; Read only memory; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location
Bologna
Print_ISBN
0-8186-2141-9
Type
conf
DOI
10.1109/CMPEUR.1991.257510
Filename
257510
Link To Document