Feature #8262: phase variable based approach for CFG-CGAA-EFSM optimisation - Retrascope - Open-Source Projects

Actions

Feature #8262

closed

Status:

Closed

Priority:

Normal

Assignee:

Category:

Target version:

Start date:

06/26/2017

Due date:

% Done:

100%

Estimated time:

Published in build:

1.0.1-beta-170912

Description

Phase variables are inserted for every process of HDL description. For every linear piece of CFG process execution path an Integer destination phase value is generated. The phase placement graph is created, that shows
phase value changing sequences.
CGAA model restructuring. At the top level of every process from CGAA model the switch statement is generated. The switch statement node depends on phase variable. Every execution path in the CGAA model is annotated with source values of phase variable and finishes with an assignment for phase variable it's destination value.
Phase variable should not be chosaen as a state-like variable.
For every path that is extracted from CGAA model (CgaaPath) a set of source values of phase variable and a destination value of phase variables should be extracted.
Every state of the EFSM has a phase Integer value attribute.
Build "phased" EFSM states at runtime when applying CGAA paths to states with initial (zero) value of phase.