Donald Bren School of Information and Computer Sciences

In this report we describe a method for resynthesizing the controller of a design for a fixed datapath with the objective of increasing the design's throughput by minimizing its total execution time. This work has tremendous potential in two important areas: one, design reuse for retargetting datapaths to new libraries, new technologies and different bit-widths; and two, back-annotation of physical design information during High-level Synthesis (HIS), and subsequent adjustment of the design’s schedule to account for realistic physical design information with minimal changes to the datapath. We present our approach using various formulations, prove optimality of our algorithm and demonstrate the effectiveness of our technique on several HIS benchmarks. We have observed improvements of up to 36% in execution time after straightforward application of our controller resynthesis technique to the outputs of HIS.