SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures.
Cristian TirelliLorenzo FerrettiLaura PozziPublished in: DATE (2023)
Keyphrases
- coarse grain
- fine grain
- sat solvers
- boolean satisfiability
- sat encodings
- sat problem
- orders of magnitude
- scheduling algorithm
- parallel computation
- search space
- scheduling problem
- constraint satisfaction
- satisfiability problem
- search strategies
- heterogeneous computing
- real time database systems
- interconnection networks
- branch and bound algorithm
- multithreading
- model checking
- response time
- optimal solution