O'Reilly logo

Modeling Embedded Systems and SoC's by Axel Jantsch

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter Three. The Untimed Model of Computation

We now introduce the formal framework for representing different MoCs. It is based on processes, events, and signals. Events are the elementary units of information exchange between processes. Processes receive or consume events, and they send or emit events. The medium through which events are communicated from one process to another is called a signal. One and only one process can emit into a signal, but one or several can receive events from a signal. Signals preserve the order in which events enter them. Thus, they are represented as potentially infinite sequences of events.

The activity of processes is divided into evaluation cycles. In each evaluation cycle a process consumes inputs, computes ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required