Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow Export

@article{citeulike:2636494, abstract = {This paper relates to system-level design of signal processing systems, which are often heterogeneous in implementation technologies and design styles. The heterogeneous approach, by combining small, specialized models of computation, achieves generality and also lends itself to automatic synthesis and formal verification. Key to the heterogeneous approach is to define interaction semantics that resolve the ambiguities when different models of computation are brought together. For this purpose, we introduce a tagged signal model as a formal framework within which the models of computation can be precisely described and unambiguously differentiated, and their interactions can be understood. In this paper, we will focus on the interaction between dataflow models, which have partially ordered events, and discrete-event models, with their notion of time that usually defines a total order of events. A variety of interaction semantics, mainly in handling the different notions of time in the two models, are explored to illustrate the subtleties involved. An implementation based on the Ptolemy system from U.C. Berkeley is described and critiqued.}, author = {Chang, Wan-Teh and Ha, Soonhoi and Lee, Edward A.}, citeulike-article-id = {2636494}, citeulike-linkout-0 = {http://dx.doi.org/10.1023/A:1007930622942}, day = {1}, doi = {10.1023/A:1007930622942}, journal = {The Journal of VLSI Signal Processing}, keywords = {dataflow, de, discreteevent, moc, visual\_programming}, month = {January}, number = {1}, pages = {127--144}, posted-at = {2008-04-07 04:44:13}, priority = {2}, title = {Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow}, url = {http://dx.doi.org/10.1023/A:1007930622942}, volume = {15}, year = {1997} }

TY - JOUR ID - citeulike:2636494 L3 - citeulike-article-id:2636494 N2 - This paper relates to system-level design of signal processing systems, which are often heterogeneous in implementation technologies and design styles. The heterogeneous approach, by combining small, specialized models of computation, achieves generality and also lends itself to automatic synthesis and formal verification. Key to the heterogeneous approach is to define interaction semantics that resolve the ambiguities when different models of computation are brought together. For this purpose, we introduce a tagged signal model as a formal framework within which the models of computation can be precisely described and unambiguously differentiated, and their interactions can be understood. In this paper, we will focus on the interaction between dataflow models, which have partially ordered events, and discrete-event models, with their notion of time that usually defines a total order of events. A variety of interaction semantics, mainly in handling the different notions of time in the two models, are explored to illustrate the subtleties involved. An implementation based on the Ptolemy system from U.C. Berkeley is described and critiqued. IS - 1 JF - The Journal of VLSI Signal Processing EP - 144 TI - Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow VL - 15 SP - 127 KW - dataflow KW - de KW - discreteevent KW - moc KW - visual_programming AU - Chang, Wan-Teh AU - Ha, Soonhoi AU - Lee, Edward PY - 1997/01/01/ UR - http://dx.doi.org/10.1023/A:1007930622942 ER -