Properties of a SemanticsHuizing and Gerth,“Semantics of Reactive Systems in Abstract Time,” June 1991

Properties of a SemanticsHuizing and Gerth,“Semantics of Reactive Systems in Abstract Time,” June 1991

Responsiveness (R or R):

Moore machines are R while Mealy are R

Modularity (M or M):

Single assignment to signals with a step

Causality (C or C):

Sub-steps are partially ordered

EuroVHDL, Sep. 96

Previous slide

Next slide

Back to the first slide

View Graphic Version