New approach of exploiting symmetry in SAT-based Boolean matching for FPGA technology mapping.

Xiu-Qin Wang Yang Yang

Published in: ICVES (2013)

Keyphrases

fpga technology
semantic matching
matching algorithm
schema matching
boolean functions
hardware implementation
field programmable gate array
information systems
sat solvers
answer set programming
ai planning
bounded model checking
real time
machine learning
low cost
fpga hardware