Sign in

Efficient SAT-based Boolean matching for FPGA technology mapping.

Sean SafarpourAndreas G. VenerisGregg BaecklerRichard Yuan
Published in: DAC (2006)
Keyphrases
  • fpga technology
  • pattern matching
  • answer set programming
  • artificial intelligence
  • general purpose
  • matching algorithm
  • sat solvers
  • hardware implementation