Tallenna
Design and Verification of Microprocessor Systems for High-Assurance Applications
sidottu, 2010
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
- ISBN
- 9781441915382
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 15.3.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 436
