Architecture Design and Validation Methods by Egon Börger
English | 23 Oct. 2012 | ISBN: 3642629768 | 372 Pages | PDF | 10 MB
English | 23 Oct. 2012 | ISBN: 3642629768 | 372 Pages | PDF | 10 MB
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.