Improved SAT-based Boolean matching using implicants for LUT-based FPGAs.

Jason Cong Kirill Minkovich

Published in: FPGA (2007)

Keyphrases

matching algorithm
matching process
pattern matching
feature points
boolean functions
image matching
graph matching
shape matching
version space
reinforcement learning
domain specific
real valued
hardware implementation