Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation.

Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger

Browse the full DAC paper archive.