Task #5408
closed
Added by Alexander Kamkin over 9 years ago.
Updated over 6 years ago.
Category:
Engine (Printer)
Description
Для дальнейшего формального анализа моделей аппаратуры нам нужен принтер из CFG в SMV.
Пример принтера: GraphML-принтер.
Пример вывода в SMV: SMV-принтер для Verilog AST (код очень плохой переиспользованию не подлежит)
Принято решение разбить SMV-принтер на 2 компонента:
1) CfgAstTransformer - преобразует CFG-модель в AST-модель (нужно также разработать внутреннее представление AST-модели, желательно с исопльзованием примитивов CFG);
2) AstSmvPrinter - SMV-принтер на базе обходчика AST-модели (сам обходчик тоже нужно реализовать).
- Subject changed from [cfg][printer][smv] Принтер CFG в SMV to Принтер CFG в SMV
- Category set to 73
- Status changed from New to Resolved
- % Done changed from 0 to 100
Реализовано в виде CGAA -> HLDD -> SMV принтера.
- Status changed from Resolved to Closed
- Published in build set to 0.2.1
- Target version changed from 2.0 to 1.0
Also available in: Atom
PDF