Description & download links
Download Architecture Design & Validation Methods
Author: Egon Börger | Isbn: 978-3642629761 | File size: 9.6 MB | Year: 2012 | Pages: 252 | Language: English | File format: PDF | Category: Architecture
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. 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.