# Difference between revisions of "VGS Advanced Topics"

From T-VEC Wiki

(→Failure Analysis) |
|||

Line 12: | Line 12: | ||

==Failure Analysis== | ==Failure Analysis== | ||

+ | The Coverage Analysis report provides a summary of potential problems that have occurred during the compilation process or the vector generation process. | ||

+ | |||

+ | Compiler errors are tautological problems. | ||

+ | |||

+ | Vector generation failures fall into 1 of 6 basic categories. | ||

+ | |||

+ | Categories 1-3 are: | ||

+ | |||

+ | Convergence errors detected BEFORE subsystem references are enabled | ||

+ | |||

+ | :1. Relational Operator Failure | ||

+ | :2. Arithmetic Operator Failure | ||

+ | :3. Arithmetic Exception | ||

+ | |||

+ | Categories 4-5 are: | ||

+ | |||

+ | Convergence errors detected AFTER subsystem references are enabled. Category 4 and 5 failures are higher level failures that result from combinations of category 1-3 failures within the utility subsystem forest leading to an overall failure to find a single good FCP compatible with the constraints of the main system. | ||

+ | |||

+ | :4. Subsystem forest completely incompatible with initial ground-term-based state space of main system | ||

+ | |||

+ | :5. One or more FCP's are compatible with initial state space of main system, but no FCP is compatible beyond ground-term-based state space. | ||

+ | |||

+ | Category 6 is: | ||

+ | |||

+ | :6. Computation failure in the post-condition expression after constraint convergence has completed successfully. |