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 is following its specified access policies correctly, and that no two can interfere with each other. Finally, FPV-based postsilicon debug can enable quick reproduction of tricky logic sightings from a silicon debug environment.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.