Data-flow based behavioral-level simulation and synthesis
J. T. Deutsch, A. Richard Newton · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1983
The FTl2 system described in this paper is an interactive system for specifying concurrent digital systems and analyzing their behavior. FTl2 differs from other behavioral-level simulation systems in that the input specification for a circuit is a concurrent program. Specifications are incrementally compiled into augmented dataflow graphs which are then interpreted by a software dataflow machine. FTl2 includes special control structures for describing concurrent behavior in a structured fashion, a number of user-oriented input features, and an extensive macro facility. The concept of nonsharable resources is used to determine timing-dependent module access conflicts in a value-independent manner. Incomplete specifications can be emulated and can be modified interactively. Ftl2 has been implemented in LISP, and is currently operational. 13 references.