Issue No.03 - March (2001 vol.50)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.910815
<p><b>Abstract</b>—This paper presents an exact technique for scheduling looping data-flow graphs that implicitly supports functional pipelining and loop winding. Automata-based symbolic modeling provides efficient representation of all causal executions of a given behavioral description subject to finite state bounds. Since a complete set of scheduling solutions is found, further incremental refinements, such as sequential interface protocol constraints, can be easily accommodated. Efficiency in the implementation is maintained by careful formulation of the automata and by judicious exploration techniques. Results are presented for traditionally referenced benchmarks, several large synthetic benchmarks, and a practical industrial example.</p>
Scheduling, loop pipelining, Binary Decision Diagrams, high-level synthesis, nondeterminism, automata, symbolic model.
Steve Haynal, Forrest Brewer, "Automata-Based Symbolic Scheduling for Looping DFGs", IEEE Transactions on Computers, vol.50, no. 3, pp. 250-267, March 2001, doi:10.1109/12.910815