Sciweavers

2 search results - page 1 / 1
» Exploiting symmetry in SAT-based Boolean matching for hetero...
Sort
View
70
Voted
ICCAD
2007
IEEE
117views Hardware» more  ICCAD 2007»
15 years 9 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 12 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