structural property checking for Alter-SON
Registered by
Bowen Li
Structural property checking for Alter-SON, including safeness analysis for every component occurrence nets, and phase decomposition checking.
Blueprint information
- Status:
- Started
- Approver:
- None
- Priority:
- Medium
- Drafter:
- Bowen Li
- Direction:
- Needs approval
- Assignee:
- Bowen Li
- Definition:
- Approved
- Series goal:
- None
- Implementation:
- Good progress
- Milestone target:
- 3.0.7
- Started by
- Danil Sokolov
- Completed by
Whiteboard
(?)