A new SAT-based Algorithm for Symbolic Trajectory Evaluation
Paper in 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
Author
Jan-Willem Roorda
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of Correct Hardware Design and Verification Methods 2005, (CHARME 2005)
Vol. 3725 238-253
3-540-29105-9 (ISBN)
Subject Categories
Computer Science
ISBN
3-540-29105-9