Date of Original Version

6-1991

Type

Conference Proceeding

Abstract or Description

Symbolic trajectory evaluation is a new approach to formal hardware verification combining the circuit modeling capabilities of symbolic logic simulation with some of the analytic methods found in temporal logic model checkers. We have created such an evaluator by extending the symbolic switch-level simulator COSMOS. This program gains added efficiency by exploiting the ability of COSMOS to evaluate circuit operation over a ternary logic model, where the third value X represents an unknown logic value. This program can formally verify systems containing complex features such as switch-level models, detailed timing, and pipelining.

DOI

10.1145/127601.127701

Share

COinS
 

Published In

Proceedings of the 28th ACM/IEEE Design Automation Conference. DAC '91. , 397-402.