A Scalable Approach to Exact Resource-Constrained Scheduling Based on a Joint SDC and SAT Formulation.

Steve Dai, Gai Liu, Zhiru Zhang

Browse the full FPGA paper archive.