Application Specific Multiprocessor System for SAT
Sharad Malik, 1 Jun 2001

Ying Zhao just finished her PhD at Princeton on using application specific processing to accelerate Boolean Satisfiability (SAT). I am attaching the slides from her Thesis presentation. This is interesting to Mescal because the architecture is a network of Tensilica processors, with both the PEs and the network speciailized for SAT. Send me email if you would like a copy of the thesis.