Actions
Task #5408
closedПринтер CFG в SMV
Start date:
11/06/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
0.2.1
Description
Для дальнейшего формального анализа моделей аппаратуры нам нужен принтер из CFG в SMV.
Пример принтера: GraphML-принтер.
Пример вывода в SMV: SMV-принтер для Verilog AST (код очень плохой переиспользованию не подлежит)
Updated by Sergey Smolov over 9 years ago
Принято решение разбить SMV-принтер на 2 компонента:
1) CfgAstTransformer - преобразует CFG-модель в AST-модель (нужно также разработать внутреннее представление AST-модели, желательно с исопльзованием примитивов CFG);
2) AstSmvPrinter - SMV-принтер на базе обходчика AST-модели (сам обходчик тоже нужно реализовать).
Updated by Sergey Smolov about 9 years ago
- Subject changed from [cfg][printer][smv] Принтер CFG в SMV to Принтер CFG в SMV
- Category set to 73
Updated by Mikhail Lebedev about 8 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Реализовано в виде CGAA -> HLDD -> SMV принтера.
Updated by Sergey Smolov about 8 years ago
- Status changed from Resolved to Closed
- Published in build set to 0.2.1
Updated by Sergey Smolov over 6 years ago
- Target version changed from 2.0 to 1.0
Actions