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