Basant Rajan. Programming Languages: Specification & Design of Multiple-Clocked Systems. PhD thesis, Tata Institute of Fundamental Research, 98. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Multiclock ESTEREL: A Reactive Framework for Asynchronous.. - Rajan, Shyamasundar (2000) Self-citation (Rajan) (Correct)
....The capability of Multiclock ESTEREL to explicitly bind clocks to specific signals (including boolean function on them) introduces certain problems. For instance, how does one treat events that occur out of sync with the current tick signal The form of latch used in Multiclock ESTEREL(refer to [2] for other possible notions) is shown in Figure 1. the waveform labeled tick is assumed to be the current clock. It is not necessary that the clock be periodic as shown. In fact, in the case of event driven systems this is likely to be the norm rather than the exception. the waveform labeled ....
....inputs have the same value. The above code models such a circuit. Note that the system will make transitions only when either input changes and remembers the previous value seen on an input. Note that the construct await tick is a derived construct whose effect is to wait until a tick occurs[2]. module INVERTER : inputs I1; output O1; newtick I1 in loop await tick; emit O1(not I1) end; end; end The code represents a simple NOT gate or inverter. Note that the code makes transitions only when the input changes state. Also note that the circuit has no memory. The notation ....
[Article contains additional citation context not shown here]
Basant Rajan. Programming Languages: Specification & Design of Multiple-Clocked Systems. PhD thesis, Tata Institute of Fundamental Research, 98.
Modelling VHDL in Multiclock Esterel - Rajan, Shyamasundar Self-citation (Rajan) (Correct)
....of Multiclock ESTEREL to explicitly bind clocks to specific signals or signal expressions introduces certain problems. For instance, how does one treat events that occur out of sync with the current tick signal In the following, we present the form of latch used in Multiclock ESTEREL(refer to [7] for other possible notions) Figure 1 shows the relationship between a clock, a signal and the latched version of the signal as used in Multiclock ESTEREL . The waveform labeled tick is assumed to be the current clock. It is not necessary that the clock be periodic as shown. The waveform labeled ....
....Block statement suspend p when immediate s suspends p on signal s from current instant onwards newtick s in p end binding clock s for statement p Table 1. Syntax of Multiclock ESTEREL with its intuitive meaning are given in Table 1; some of the constructs are described below (for details refer [7]) The behavior of the present construct is to test for the presence of signal s and either execute statement p or statement q depending on whether signal s was present or absent. Both the test and the transfer of control to either statement p or statement q are done synchronously with the ....
Basant Rajan. Programming Languages: Specification & Design of Multiple-Clocked Systems. PhD thesis, Tata Institute of Fundamental Research, 98.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC