Task #5173
closed
[cfg] Поддержка WaitStatement в CFG
Added by Alexander Kamkin about 10 years ago.
Updated over 9 years ago.
Published in build:
20150307
Description
- добавить узел типа
WaitNode
: wait event_list
- реализовать backend, осуществляющий декомпозицию процессов на части, в которых нет
WaitNode
.
- сообщить Мише о возможности обработки DelayedStatement (@) и WaitStatement (wait).
- Description updated (diff)
Обработка в VerilogParser:
@x; y; -> WaitNode(x); BasicBlock(y);
wait(x) y -> if(!x) { WaitNode(posedge(x)); } BasicBlock(y);
Вызовы функций RISING_EDGE\FALLING_EDGE языка VDHL должны обрабатываться вместе с Wait-выражениями.
- Status changed from New to Open
- % Done changed from 0 to 50
Пп. 1, 3 выполнены. Приступаю к разработке backend'а.
- Status changed from Open to Resolved
- % Done changed from 50 to 100
- Status changed from Resolved to Closed
- Published in build set to 20150307
Also available in: Atom
PDF