IC Formal Verification Results Lifecycle

This lifecycle governs the file that contains formal verification results.

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