Method of Formal Semantics

Method of Formal Semantics

L a language; e.g. VHDL

M the model of finite-state machines:

Q a set of cycle-level statesT a transition relation between these states

M =(Q ,T )

S

EuroVHDL, Sep. 96

Previous slide

Next slide

Back to the first slide

View Graphic Version