Heterogeneous Modeling and Simulation of Embedded in El Greco
Joseph T. Buck, Radha Vaidyanathan · 2000
This paper describes the functional speciJcation and veriJcation portions of El Greco, a system for high-level, heterogeneous functional specijcation, eficient compiled simulation, and sofnvare and hardware implementation. Specifications in the form of dataflow graphs, hierarchical jnite state machines, or a mixture, are supported. These specifications can be arbitrarily nested, as in Ptolemy [I]. When dataflow graphs are placed in a control context, the graph execution is fully controllable; its execution can be restarted or suspended and parameters can be changed. We describe system modeling and simulation generation in El Greco and compare to other approaches.