With a solid methodology base and upfront planning, the benefits of formal property verification, such as full path confidence and requirements-based property definition, can be leveraged for protocol-driven datapaths. Incorporating layered SystemVerilog constructs to provide a transaction-like protocol description simplifies property creation for both well-formed packets and error scenarios. This article from Tech Design Forum explores formal datapath verification using transaction deconstruction to simplify formal property definitions and describes how to extend formal property verification to protocol-driven datapaths.

Read More

Find out how T&VS Formal Verification techniques helps to improve the quality of Verification.