RTL semantics for single-rate asynchronous data flow languages

The dataflow computational model is a special Petri net, and it has been used and developed in many areas: from programming languages to processor design, and from signal processing to reconfigurable computing. Dataflow languages, which are widely used to describe software and hardware systems, are abstract languages based on dataflow computational model. In order to apply dataflow languages in real-time systems, a well-defined real-time semantics must be provided. Real time logic (RTL) is a first order logic for describing real-time and embedded systems. A RTL formal depiction of single-rate asynchronous dataflow language is presented. By catching the creation and consumption events of tokens and the start and end events of nodes, the dataflow language can well depict use of RTL. With the state predicates and transition event constants, the asynchronous node can be well depicted.