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
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;
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
DOI :
10.1109/CMPEUR.1991.257510
