Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping.

Yu Hu, Victor Shih, Rupak Majumdar, Lei He

Browse the full ICCAD paper archive.