Algorithm contd.
Data-Flow Simulator
- Signals are represented as stream of values without notion of time. Functional blocks are linked by signals. Blocks are executed when signals present at the input.
- Scheduler in the simulator determines the order of block executions.
- High level abstraction simulation used in the early stages of verification, typically to check the correctness of the algorithms.