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.
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.
- Status changed from New to Resolved
- % Done changed from 0 to 100
- 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.
- Status changed from Open to Resolved
- % Done changed from 50 to 100
- Status changed from Resolved to Verified
- Status changed from Verified to Closed
- Published in build set to 1.1.1-beta-190722
Also available in: Atom
PDF