Functional property examples
Any design described by Dataflow Network is functional and hence this property need not be checked for this MoC. (Inherent)
If above design is in FSM, even if the components are functional and completely specified, the result of composition may be either incompletely specified or nonfunctional.
- This is due to feed-back loop in the composition
- A syntactical check can find the feed-back paths
With Petrinets, functionality is difficult to prove.
- Exhaustive simulation required for checking functionality