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, соответствует инициализации памяти (внутренних переменных).
Updated by Sergey Smolov almost 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
The task has been done at #5590.
Updated by Sergey Smolov almost 10 years ago
- Status changed from Resolved to Closed
- Published in build set to 20150307
Actions