PICHAFF2 — A Hierarchical Parallel SAT Solver

Authors:
Tobias Schubert;Bernd Becker
Affiliations:
Albert - Ludwigs - University of Freiburg;Albert - Ludwigs - University of Freiburg
Venue:
MTV '04 Proceedings of the Fifth International Workshop on Microprocessor Test and Verification
Year:
2004

Citing 0
Cited 1

Lemma Exchange in a Microcontroller Based Parallel SAT Solver

ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real world software applications, in addition to carefully crafted test cases, are often used in microprocessor and system verification as they exercise the interaction of many different functional blocks in the processor. In the case of dynamic binary ...