Efficient SAT-based Boolean matching for FPGA technology mapping.

Sean Safarpour, Andreas G. Veneris, Gregg Baeckler, Richard Yuan

Browse the full DAC paper archive.