SAT Based Place-And-Route for High-Speed Designs on 2.5D FPGAs.
Chirag RavishankarHenri FraisseDinesh GaitondePublished in: FPT (2018)
Keyphrases
- high speed
- answer set programming
- low power
- bounded model checking
- real time
- hardware software
- travel time
- field programmable gate array
- high speed networks
- constraint solver
- version space
- ai planning
- sat solvers
- route planning
- boolean satisfiability
- road network
- application specific integrated circuits
- shortest path
- answer sets
- origin destination