Esterel EDA

What is the level of abstraction supported by Esterel

There are several different directions of abstractions:

• Latency abstraction, where latency is an implantation choice and precise pipelining is not part of the specification. This is where tools supporting behavioral synthesis from C are positioned with main application heavy data computation.
• Temporal control abstraction, where complex temporal control is described through specific temporal constructs. This is where Esterel and PSL are positioned
• Scheduling abstraction, where behavior is described by unscheduled rules and the compiler computes the scheduling.
• TLM abstraction, where complex hardware operations are replaced by fast software procedure calls. This is where SystemC is positioned.