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