satGSTE : Combining the Abstraction of GSTEwith the Capacity of a SAT

@inproceedings{Yang2007satGSTEC,
  title={satGSTE : Combining the Abstraction of GSTEwith the Capacity of a SAT},
  author={S Yang and Rami Gil},
  year={2007}
}
GSTE (Generalized Symbolic Trajectory Evaluation) is a model checking technique based on symbolic simulation 4]. GSTE is a very signiicant extension of STE 2], 3] that combines the eeciency, capacity and ease of use of STE with the ability of classic symbolic model checking for verifying a rich set of properties on very large HW designs. GSTE has vastly demonstrated its viability for full formal veriication in various real-life industrial veriication cases 5]. GSTE speciications are given as… CONTINUE READING
9 Citations
5 References
Similar Papers

Similar Papers

Loading similar papers…