An IC Formal Verification Results object is created in the NotReady
state and passes through the lifecycle states listed below. When the
results object is promoted, the app
sends a message to the DesignSync server to tag the related object with
the state name. You can quickly determine where the verification results
are in the design process by looking at its tag.
- NotReady
- FVRTLPassed
- FVGatePassed