Sciweavers

2 search results - page 1 / 1
» Exploiting symmetry in SAT-based Boolean matching for hetero...
Sort
View
60
Voted
ICCAD
2007
IEEE
117views Hardware» more  ICCAD 2007»
15 years 6 months ago
Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping
Yu Hu, Victor Shih, Rupak Majumdar, Lei He
TCAD
2008
112views more  TCAD 2008»
14 years 9 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