The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2001 vol.50)
pp: 250-267
ABSTRACT
<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>
INDEX TERMS
Scheduling, loop pipelining, Binary Decision Diagrams, high-level synthesis, nondeterminism, automata, symbolic model.
CITATION
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
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool