Using reconfigurable computing techniques to accelerate problems in the CAD domain: A case study with Boolean satisfiability

Computer Science

• Case Study 100%
• Computer Aided Design 100%
• reconfigurable computing 100%
• Parallelism 50%
• Direct Mapping 50%
• Logic Synthesis 50%
• Satisfiability Problem 50%
• Logic Gate 50%
• Field Programmable Gate Arrays 50%
• Hardware Design 50%
• Quantitative Study 50%
• Boolean Operation 50%

Keyphrases

• CAD Applications 50%