4
Requirement-to-Implementation Mapping Functions
You can map implementation cellviews, tests, and outputs to their corresponding requirements of the type Spec Pass, Ran OK, and Manual. If the implementation cellview uses the Monte Carlo Sampling run mode, you can map that cellview, its tests, output values, and statistical values with requirements.
It is possible to map multiple implementations with multiple requirements. If you want to map multiple requirements with an implementation, ensure that the requirements have the same specification.
Verifier uses the mapping, along with simulation results and preference settings, to determine the verification status of requirements. The correctness of the overall verification status depends on the completeness of the verification plan and mappings.
The following SKILL functions let you manage the mappings between requirements and implementations in the ADE Verifier environment:
Related Topics
Return to top