Sciweavers

2 search results - page 1 / 1
» Exploiting symmetry in SAT-based Boolean matching for hetero...
Sort
View
TCAD
2008
112views more  TCAD 2008»
13 years 4 months ago
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
Yu Hu, Victor Shih, Rupak Majumdar, Lei He