A new SAT-based Algorithm for Symbolic Trajectory Evaluation
Paper i proceeding, 2005
We present a new SAT-based algorithm for Symbolic Trajectory Evaluation (STE), and compare it to more established SAT-based techniques for STE.
Symbolic Trajectory Evaluation
formal verification
hardware
Författare
Jan-Willem Roorda
Chalmers, Data- och informationsteknik, Datavetenskap
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Datavetenskap
Proceedings of Correct Hardware Design and Verification Methods 2005, (CHARME 2005)
Vol. 3725 238-253
3-540-29105-9 (ISBN)
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
ISBN
3-540-29105-9