Heterogeneous modeling and simulation of embedded systems in El Greco

This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled simulation, and software and hardware implementation. Specifications in the form of dataflow graphs, hierarchical finite state machines, or a mixture, are supported. These specifications can be arbitrarily nested, as in Ptolemy [1]. 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.

• Type: Conference
• Year: 2000
• Where: CODES
• Authors: Joseph Buck, Radha Vaidyanathan
• Keywords: CODES 2000, Dataflow Graphs, El Greco, Functional Specification, Software Engineering