Publisher's Synopsis
The papers of the two volumes of proceedings and one-volume designer's forum were first presented at the Design, Automation, and Test Conference and Exhibition held in February 2004 in Paris, France. The papers are grouped under topic headings that include architectural-level power management, formal verification using functional and structural inf