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

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-29105-9

Mer information

Skapat

2017-10-06