Retrascope

Требуется разработать генератор кода на языке SMV по модели синхронной аппаратуры.

1. Препроцессов конструкций generate - нужно разработать интерпретатор конструкций generate (прежде всего, цикла generate). Возможны два варианта:
   1. Трансформация AST (макроподстановки).
   2. Обработка на лету - интерпретировать конструкции generate в процессе обхода (этот вариант предпочтительней).
2. Трансформатор выражений (выражения представлены с помощью библиотеки Fortress) - нужно средствами Fortress представить выражения в базисе операций SMV.
3. Транслятор основных конструкций (процессов always/initial и управляющих инструкций if/case/for/...).