Generation and propagation of coloured tokens in dataflow structures
Use coloured tokens to distinguish between the pipelined bursts of activity. Source registers generate tokens of changing colours which mix-up while propagating through the pipiline. The simulation of the coloured tokens should be at the level of circuit STGs.
Blueprint information
- Status:
- Complete
- Approver:
- Danil Sokolov
- Priority:
- Medium
- Drafter:
- Danil Sokolov
- Direction:
- Needs approval
- Assignee:
- Danil Sokolov
- Definition:
- Approved
- Series goal:
- None
- Implementation:
-
Implemented
- Milestone target:
- None
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Related branches
Related bugs
Sprints
Whiteboard
Work Items
Work items:
Add tokenColorGenerator flag to Petri net places: DONE
Add tokenColorPropa
Extend the Petri net transition firing rule with token colour propagation semantics (in SimulationTool - coloriseTokens method): DONE
Override the coloriseTokens method in STG SimulationTool to take into account implicit places: DONE
Update StgGenerator for DFS model with appropriate assignment of tokenColorGenerator and tokenColorPropa
Render DFS registers with token colourisation: DONE
Highlight components with a colour of the token they affected by: POSTPONED
