Task #9277: mv clock-like variable detection to CFG-to-CGAA transformer - Retrascope - Open-Source Projects

Actions

Copy link

Task #9277

closed

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

Added by Sergey Smolov about 6 years ago. Updated over 5 years ago.

Status:

Closed

Priority:

High

Assignee:

Sergey Smolov

Category:

Engine

Target version:

1.0

Start date:

09/12/2018

Due date:

% Done:

100%

Estimated time:

Detected in build:

master

Published in build:

1.1.1-beta-190722

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.

Actions

Copy link

Updated by Sergey Smolov about 6 years ago

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

Done in fe0c6115

Actions

Copy link

Updated by Sergey Smolov about 6 years ago

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

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.

Actions

Copy link