Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping.
Yu HuVictor ShihRupak MajumdarLei HePublished in: ICCAD (2007)
Keyphrases
- fpga technology
- matching algorithm
- hardware implementation
- symmetry detection
- schema matching
- boolean functions
- semantic matching
- image matching
- artificial intelligence
- bounded model checking
- field programmable gate array
- feature points
- fine grained
- data management
- multi valued
- version space
- classical planning
- multi agent
- information systems