Chapter Four. The Synchronous Model of Computation

Synchronous models of computation divide the time axis into slots. Everything inside a slot occurs at the same time, but the slots are totally ordered along the time axis and are often enumerated by the natural numbers. In synchronous MoCs the evaluation cycle of processes lasts exactly one time slot. We distinguish between two important synchronous MoCs.

In the perfectly synchronous MoC the output events of a process occur in the same time slot as the corresponding input events. Moreover, they are instantaneously distributed in the entire system and are available to all other processes in the same slot. Receiving processes in turn consume the events and emit output events again in the same time ...

Get Modeling Embedded Systems and SoC's now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.