Towards automatic synthesis and verification of complex electronic systems
Alberto Luigi Sangiovanni-Vincentelli · 2002
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.>