Unified specification of control and data flow

Many signal processing systems use event driven mechanisms-typically based on finite state machines (FSMs)-to control the operation of computationally intensive (data flow) parts. The state machines in turn are often fueled by external inputs as well as by feedback from the signal processing portions of the system. Packet-based transmission systems are a good example for such a close interaction between data and control flow. For an efficient design flow it is of crucial importance to be able to model and analyze the complete functionality of the system within one single design environment. Therefore, we developed a computational model that integrates the specification of control and data flow by combining the notion of data flow graphs with event driven process activation.

[1]  Heinrich Meyr,et al.  Digital Receiver Design Using VHDL Generation From Data Flow Graphs , 1995, 32nd Design Automation Conference.

[2]  Rudy Lauwereins,et al.  Static scheduling of multi-rate and cyclo-static DSP-applications , 1994, Proceedings of 1994 IEEE Workshop on VLSI Signal Processing.

[3]  Heinrich Meyr,et al.  Concurrent Hw/Sw Design For Telecommunication Systems , 1996 .

[4]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[5]  E. A. Lee,et al.  Effective Heterogenous Design and Co-Simulation , 1996 .

[6]  Edward A. Lee.  Consistency in dataflow graphs , 1991, Proceedings of the International Conference on Application Specific Array Processors.

[7]  Heinrich Meyr,et al.  PCC: a modeling technique for mixed control/data flow systems , 1997, Proceedings European Design and Test Conference. ED & TC 97.

[8]  Jan M. Rabaey,et al.  DSP specification using the Silage language , 1990 .

[9]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[10]  J. T. Buck.  Static scheduling and code generation from dynamic dataflow graphs with integer-valued control streams , 1994, Proceedings of 1994 28th Asilomar Conference on Signals, Systems and Computers.

[11]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[12]  Edward A. Lee,et al.  Dataflow process networks , 1995, Proc. IEEE.

[13]  Luciano Lavagno,et al.  Hardware-software codesign of embedded systems , 1994, IEEE Micro.