Design and Verification of Microprocessor Systems for High-Assurance Applications

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hardin, David S. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2010.
• Subjects: Engineering.; Computer-aided engineering.; Quality control.; Reliability.; Industrial safety.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Quality Control, Reliability, Safety and Risk.

Design and Verification of Microprocessor Systems for High-Assurance Applications Edited by: David S. Hardin This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels –...