Data-flow based behavioral-level simulation and synthesis

Conference · Sat Jan 01 00:00:00 EST 1983

OSTI ID:5081290

Deutsch, J T; Newton, A R

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.

• OSTI ID: 5081290
• Resource Relation: Conference: Sponsored by IEEE, Santa Clara, CA, USA, 12 Sep 1983
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
COMPUTER-AIDED DESIGN
COMPUTERS
ARRAY PROCESSORS
DATA-FLOW PROCESSING
LISP
REAL TIME SYSTEMS
SIMULATION
SPECIFICATIONS
PROGRAMMING
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers