mv clock-like variable detection to CFG-to-CGAA transformer
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.
Updated by Sergey Smolov over 1 year 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.