Project

General

Profile

Feature #8262

phase variable based approach for CFG-CGAA-EFSM optimisation

Added by Sergey Smolov over 2 years ago. Updated over 2 years ago.

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

  1. 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.
  2. 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.
  3. Phase variable should not be chosaen as a state-like variable.
  4. 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.
  5. Every state of the EFSM has a phase Integer value attribute.
  6. Build "phased" EFSM states at runtime when applying CGAA paths to states with initial (zero) value of phase.

History

#1

Updated by Sergey Smolov over 2 years ago

  • Status changed from New to Open
  • % Done changed from 0 to 60

1-4 are ready by 4afcf61a.

#2

Updated by Sergey Smolov over 2 years ago

  • % Done changed from 60 to 80

5 is ready in 9498a1b3

#3

Updated by Sergey Smolov over 2 years ago

  • Status changed from Open to Resolved
  • % Done changed from 80 to 100

Completely done at 6b03cf2a

#4

Updated by Sergey Smolov over 2 years ago

  • Status changed from Resolved to Verified
#5

Updated by Sergey Smolov over 2 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.0.1-beta-170912

Also available in: Atom PDF