Using reconfigurable computing techniques to accelerate problems in the CAD domain: A case study with Boolean satisfiability
- Peixin Zhong
- , Pranav Ashar
- , Sharad Malik
- , Margaret Rose Martonosi
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37
Link opens in a new tab
Scopus
citations