The book covers a comprehensive range of architecture design and validation methods, from computer aided high-level design of VLSI circuits and systems to layout and testable design, including the modeling and synthesis of behavior and dataflow, cell-based logic optimization, machine assisted verification, and virtual machine design.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K