Formal Methods in CAD from an Industrial Perspective

  • Carl-Johan H. Seger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1522)


Symbolic trajectory evaluation (STE) is a model checking approach for efficient circuit verification. In the talk we follow the de-velopment of STE; from an ad-hoc use of symbolic simulation to a rich theory of model checking algorithms, inference rules, and abstraction verification techniques. In parallel, we discuss the development of a practical verification system based on STE with an emphasis on the impact on the system by actual use in an industrial setting.


Model Check Formal Method Inference Rule Formal Language Computer Hardware 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Carl-Johan H. Seger
    • 1
  1. 1.Intel CorporationUSA

Personalised recommendations