Overview
- Provides latest results on formal methods along the complete design flow;
- Covers different abstraction layers, from ESL to RTL;
- Addresses formal verification in both digital and analog contexts;
- Demonstrates techniques in current industrial use.
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.
Similar content being viewed by others
Keywords
Table of contents (5 chapters)
Editors and Affiliations
About the editor
Bibliographic Information
Book Title: Formal System Verification
Book Subtitle: State-of the-Art and Future Trends
Editors: Rolf Drechsler
DOI: https://doi.org/10.1007/978-3-319-57685-5
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing AG 2018
Hardcover ISBN: 978-3-319-57683-1Published: 03 July 2017
Softcover ISBN: 978-3-319-86223-1Published: 10 August 2018
eBook ISBN: 978-3-319-57685-5Published: 21 June 2017
Edition Number: 1
Number of Pages: XVI, 182
Number of Illustrations: 22 b/w illustrations, 49 illustrations in colour
Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation