Actions
Task #9278
closeduse CGAA model instead of EFSM-based assertions to get clocks
Start date:
09/13/2018
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
1.1.1-beta-190722
Description
Now CGAA model has a mapping from their processes to related clock-like variables. The clock-like variable detection heuristic is implemented as a backend to CFG-to-CGAA transformer engine.
Please modify engines that use clock-related information.
Actions