Publisher's Synopsis
Proceedings of a March 2000 conference on all aspects of design, verification, and testing of hardware and software for complex, embedded electronic circuits and systems. Addresses new techniques for improving performance of design tools and reports on results gained during application of innovative methods and tools, encompassing both hardware and