Keyphrases
FPGA-based
100%
Satisfiability Solvers
100%
Configurable Computing
66%
Time-multiplexing
66%
Satisfiability Problem
66%
Solver Algorithm
33%
FPGA Routing
33%
Long Wires
33%
Software Implementation
33%
Wire Crossing
33%
Instance-based
33%
Bus Architecture
33%
Overall Architecture
33%
Routing Resources
33%
Proposed Architecture
33%
Hardware Efficiency
33%
Promising Applications
33%
Reconfigurable Hardware
33%
Local Difference
33%
Compilation Techniques
33%
Place-and-route
33%
Hardware Algorithm
33%
Reconfiguration Time
33%
Incremental Synthesis
33%
Computer Science
Satisfiability Problem
100%
Reconfigurable Hardware
50%
Software Implementation
50%
Routing Resource
50%
Multiplexing
50%
Testbed
50%
hardware acceleration
50%