Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 441
Release :
ISBN-10 : 9781441915399
ISBN-13 : 1441915397
Rating : 4/5 (99 Downloads)

Book Synopsis Design and Verification of Microprocessor Systems for High-Assurance Applications by : David S. Hardin

Download or read book Design and Verification of Microprocessor Systems for High-Assurance Applications written by David S. Hardin and published by Springer Science & Business Media. This book was released on 2010-03-02 with total page 441 pages. Available in PDF, EPUB and Kindle. Book excerpt: Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability. This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.


Design and Verification of Microprocessor Systems for High-Assurance Applications Related Books

Design and Verification of Microprocessor Systems for High-Assurance Applications
Language: en
Pages: 441
Authors: David S. Hardin
Categories: Technology & Engineering
Type: BOOK - Published: 2010-03-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Language: en
Pages: 599
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-28 - Publisher: Springer

DOWNLOAD EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 413
Authors: Bernd Finkbeiner
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Computer Aided Verification
Language: en
Pages: 922
Authors: Alexandra Silva
Categories: Computers
Type: BOOK - Published: 2021-07-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, C
Certified Programs and Proofs
Language: en
Pages: 318
Authors: Georges Gonthier
Categories: Computers
Type: BOOK - Published: 2013-12-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held