Tallenna
Design and Verification of Microprocessor Systems for High-Assurance Applications
nidottu, 2014
englanti
This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
- Toimittaja
- David S. Hardin
- Painos
- 2010 ed.
- ISBN
- 9781489984593
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.11.2014
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 436
