Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability.

Peixin Zhong, Pranav Ashar, Sharad Malik, Margaret Martonosi

Browse the full DAC paper archive.