An exercise in formally based circuit synthesis from a behavioural specification in interval temporal logic
R. Elliott · 2002
Interval Temporal Logic (ITL) has been proposed as a vehicle for high level behavioural specification of digital circuits. This paper considers, by means of an example, how a circuit definition might be synthesised based on detailed analysis of a specification expressed in ITL, and compares the result with that generated by an automated synthesis tool.>