SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
This paper addresses the efficient mapping of compute-intensive loops onto coarse-grained reconfigurable arrays (CGRAs), targeting minimization of the initiation interval (II). We propose a SAT-based modulo scheduling approach, whose core innovation is Kernel Movement Scheduling (KMS)—a novel scheduling representation that uniformly encodes mapping constraints as Boolean logic formulas, thereby overcoming the search limitations inherent in conventional graph-based algorithms. Integrating modulo scheduling theory, dataflow graph analysis, and iterative feasibility verification, our method systematically generates and validates legal mappings for a given II. Experimental evaluation demonstrates that our approach outperforms state-of-the-art techniques on 47.72% of benchmarks, achieving lower IIs and uncovering several previously unrecognized valid mappings.