Embedding Sequential Circuits for their Polynomial Formal Verification
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-50154-9 (ISBN)
- Noch nicht erschienen - erscheint am 18.01.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the speed of today s design workflows. Whereas a design can be proven to be free of errors based on formal methods, the required time and memory resources of this can often not be predicted. This conflict is addressed by Polynomial Formal Verification (PFV): By selecting adequate data structures and verification techniques, polynomial resource bounds can be proven for the entire procedure so that an efficient verification is guaranteed.
This book adds to this field by applying PFV to circuits with storage elements, also known as sequential circuits. Counter circuits are verified using a polynomial number of steps, even though they have an exponential sequential depth. This is addressed from a theoretical and from a practical point of view.
Caroline Dominik is a doctoral researcher at the Group of Computer Architecture (AGRA) at the University of Bremen, with a research focus on self-explaining cyber-physical systems. She completed her Master's degree in Computer Science in December 2024.
Introduction.- Polynomial Formal Verification.- Preliminaries.- Verification of Full Counter Circuits.- Verification of Modulo Counter Circuits.- Experimental Results.- Conclusion.
| Erscheinungsdatum | 29.11.2025 |
|---|---|
| Reihe/Serie | BestMasters |
| Zusatzinfo | XIV, 62 p. 50 illus. Textbook for German language market. |
| Verlagsort | Wiesbaden |
| Sprache | englisch |
| Maße | 148 x 210 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Computer Architecture • Digital Circuits • Polynomial Formal Verification • self-explaining cyber-physical systems • Sequential Circuits |
| ISBN-10 | 3-658-50154-5 / 3658501545 |
| ISBN-13 | 978-3-658-50154-9 / 9783658501549 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
