Synchrony
System Solution: This is the output reaction to a set of inputs. Unique solution is desirable at each clock tick. This way, easy to analyze and verify.
- However, there are cyclic dependencies among values of events (due to selection of models and languages) that makes it difficult.
Implementation cost:
- For hardware, one must ensure the clock period is higher than the maximum possible computation time for a synchronous block, clock rate is much slower than that might otherwise achieved.
- For software, ensure that invoked process completes before process changes its input.