Converter form xMAS to STG model
Registered by
Danil Sokolov
A converter from xMAS to STG model is needed for simulation and subsequently for verification. It should be similar to STG converters of DFS and Circuit models.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- High
- Drafter:
- Danil Sokolov
- Direction:
- Approved
- Assignee:
- Danil Sokolov
- Definition:
- New
- Series goal:
- None
- Implementation:
-
Implemented
- Milestone target:
-
3.0.6
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Whiteboard
(?)
Work Items
Work items:
STG model of Source: DONE
STG model of Sink: DONE
STG model of Function: DONE
STG model of Fork: DONE
STG model of Join: DONE
STG model of Switch: DONE
STG model of Merge: DONE
STG model of Queue: DONE
Simulator of xMAS circuits: DONE
