Actions
Task #5322
closed[cgaa][transformer][efsm] Продумать и реализовать эвристику определения reset
Start date:
10/08/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
20150307
Description
Существующая эвристика определения синхросигналов "ловит" также и сигнал reset. Необходимо от этого избавиться, определяя сигнал reset по следующим свойствам:
1. Условие на сигнал типа reset не содержит других переменных, а также присваиваний.
2. Действие, выполняемое по условию из п.1, соответствует инициализации памяти (внутренних переменных).
Actions