Efficient SAT-based Boolean matching for FPGA technology mapping.

Sean Safarpour Andreas G. Veneris Gregg Baeckler Richard Yuan

Published in: DAC (2006)

Keyphrases

fpga technology
pattern matching
answer set programming
artificial intelligence
general purpose
matching algorithm
sat solvers
hardware implementation