Project

General

Profile

Task #9277

mv clock-like variable detection to CFG-to-CGAA transformer

Added by Sergey Smolov 8 months ago. Updated 8 months ago.

Status:
Verified
Priority:
High
Assignee:
Category:
Engine
Target version:
Start date:
09/12/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Published in build:

Description

An information about clock-like variables (CLV) is used upon model checking. It seems to be a resource-consuming approach to extract EFSM only for this information.
So, CLV-aimed heuristic should be moved to CFG-to-CGAA transformer engine.

History

#1

Updated by Sergey Smolov 8 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Done in fe0c6115

#2

Updated by Sergey Smolov 8 months ago

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

A new mapping is needed: from Module to clock-like NodeVariable.
It seems to be adequate to get the most frequently used clock-like variable among process-related ones, and associate it with parent module. If this approach returns more than one candidate, print warning and choose the first one.

#3

Updated by Sergey Smolov 8 months ago

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

Done in 5a337c59

#4

Updated by Sergey Smolov 8 months ago

  • Status changed from Resolved to Verified

Also available in: Atom PDF