Chapter 7: Formal property verification apps for specific problems
Abstract
Now that we have spent a few chapters on general-purpose formal property verification (FPV), we describe how the focus can be narrowed to form more specific “apps” to solve particular problems encountered in typical system-on-chip design flows. Reusable protocol verification enables proofs of common properties in well-documented protocols without reinventing them for each project. Unreachable coverage elimination supplements simulation by using FPV technology to rule out bad cover properties. Formal connectivity verification enables verification of complex pin connection muxing with full coverage through FPV. Control register FPV checks that every control register ...
Get Formal Verification, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
