PCC: a modeling technique for mixed control/data flow systems

Many signal processing systems make use of event driven mechanisms-typically based on finite state machines (FSMs)-to control the operation of the 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 a smooth design flow with a maximum degree of modularity it is of crucial importance to be able to model the complete functionality of the system, containing both control and data flow, within one single design environment. While the degree of abstraction should be sufficiently high to model and simulate efficiently, the link to implementation has to be fully supported. For these reasons we developed a computational model that integrates the specification of control and data flow. It combines the notion of multirate dynamic data flow graphs with event driven process activation. Thus, it maintains the flexibility and expressive power of data flow representations while enabling designers to efficiently control these operations by incorporating control automata that may have been designed using protocol compilers or state machine tools.

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

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

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

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

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

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

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

[8]  I N Bronstein,et al.  Taschenbuch der Mathematik , 1966 .

[9]  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.

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

[11]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

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