Actions
Task #4897
closed[verilog][printer][smv] Разработка принтера моделей в SMV-формат
Start date:
05/07/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Требуется разработать генератор кода на языке SMV по модели синхронной аппаратуры.
- Препроцессов конструкций generate - нужно разработать интерпретатор конструкций generate (прежде всего, цикла generate). Возможны два варианта:
- Трансформация AST (макроподстановки).
- Обработка на лету - интерпретировать конструкции generate в процессе обхода (этот вариант предпочтительней).
- Трансформатор выражений (выражения представлены с помощью библиотеки Fortress) - нужно средствами Fortress представить выражения в базисе операций SMV.
- Транслятор основных конструкций (процессов always/initial и управляющих инструкций if/case/for/...).
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from [smv][printer] Разработка принтера моделей в SMV-формат to [verilog][printer][svn] Разработка принтера моделей в SMV-формат
Updated by Sergey Smolov over 9 years ago
- Subject changed from [verilog][printer][svn] Разработка принтера моделей в SMV-формат to [verilog][printer][smv] Разработка принтера моделей в SMV-формат
Updated by Alexander Kamkin over 9 years ago
- Status changed from New to Rejected
Updated by Sergey Smolov over 6 years ago
- Target version changed from 2.0 to 1.0
Actions