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.
Les mer

Produktdetaljer

ISBN
9783642571992
Publisert
2020
Utgave
1. utgave
Utgiver
Vendor
Springer
Språk
Product language
Engelsk
Format
Product format
Digital bok

Forfatter