Formal System Verification

State-of the-Art and Future Trends

  • Rolf Drechsler

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Bernd Becker, Christoph Scholl, Ralf Wimmer
    Pages 37-72
  3. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 73-121
  4. Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
    Pages 123-154
  5. Raik Brinkmann, Dave Kelf
    Pages 155-182

About this book

Introduction

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.


  • 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.

Keywords

Electronic system level (ESL) verification Formal verification Formal verification of hardware and software Hardware-dependent software System level verification

Editors and affiliations

  • Rolf Drechsler
    • 1
  1. 1.DFKIUniversity of BremenBremenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-57685-5
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-57683-1
  • Online ISBN 978-3-319-57685-5