Functional unit
Operational rules
State
s
Exception handler
Events
Hazard
