Model of Computation
Network of CFSMs
- Globally asynchronous, locally synchronous (GALS)
- Extend the model to loss-less communication (abstract CFSM)
- Communication refined to implementation
- Refinement steps:
- preserve desired properties at
each transformation
- propagate constraints to lower
levels of abstraction (top- down).
Source: Prof. Alberto Sangiovanni