Embedding Sequential Circuits for their Polynomial Formal Verification

Free Download Embedding Sequential Circuits for their Polynomial Formal Verification
English | 2026 | ISBN: 3658501545 | 84 Pages | PDF EPUB (True) | 21 MB
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.