Abstract CFSM

Abstract

specification

Abstract

communication

No timing

Loss-less

• Maximally non-deterministic view of design

• Design progresses by successive determinization

Source: Prof. Alberto Sangiovanni

Previous slide

Next slide

Back to first slide

View graphic version