Retrascope

В языке VHDL помимо списка чувствительности при описании процессов можно использовать условия вида clk'event. При построении CFG такие условия нужно переносить в список чувствительности. Оставлять их в охранных условиях противопоказано. Предлагается следующий подход.

Накладываемые ограничения:

1. Каждое условие содержит не более одного события; если условие содержит событие, оно имеют вид x'event [&& x = v].
2. Каждое условие на событие (вершина типа Switch) содержит не более одного последователя (вершину типа Case).
3. Условие на событие не может быть внутри цикла.
4. На каждом пути от начальной вершины до конечной может присутствовать не более одного условия на событие (вершины типа Switch, выражение которой содержит переменную, входящую в список чувствительности, с маркером event).
5. На каждом пути от начальной вершины до условия на событие могут присутствовать только условия (вершины типа Switch и Case) - базовые блоки не допустимы.

Правила преобразования процесса P:

1. Для каждого условия на событие (Switch: x'event [&& x = v]), если оно не является первой вершиной после Source:
   1. строится отдельный процесс P_part[i] со списком чувствительности x (возможно, с пометкой posedge или negedge);
   2. CFG процесса P_part[i] - путь в CFG процесса P от начальной вершины до соответствующего Switch (все альтернативные ветви ведут в Sink) + продолжение (которое должно быть одно).
2. В CFG процесса P удаляются подграфы, начинающиеся с условий на события:
   1. если в нем не остается действий, он удаляется.
3. Условия на события либо удаляются, либо заменяются на true.