5
Simulation and Results Extraction Functions
Verifier uses the simulation results of the implementation cellviews to determine the verification status of the entire project, and for each requirement in the project. To capture the results, you can run the implementation cellviews from Verifier or load the existing run results in Verifier. By organizing implementation cellviews into implementation sets, you can run all the cellviews in a set.
The following SKILL functions let you manage the simulations and result extraction in the ADE Verifier environment:
- Implementation Set Functions - These functions let you manage implementation sets.
- Results Extraction Functions - These functions let you retrieve simulation results.
- Simulation Functions - Use the following functions to manage simulations.
Related Topics
Return to top