Solving constraints in FPGA detailed routing using SMT.
Mona SafarAshraf SalemPublished in: ICECS (2015)
Keyphrases
- routing problem
- high speed
- constrained problems
- constraint programming
- constraint satisfaction
- mixed integer program
- network topology
- hardware implementation
- constrained optimization
- data acquisition
- global constraints
- integer program
- linear programming problems
- constraint problems
- real time
- constraint networks
- linear constraints
- single chip