Project

General

Profile

Task #5408

Принтер CFG в SMV

Added by Alexander Kamkin over 4 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Category:
Engine (Printer)
Target version:
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 (код очень плохой переиспользованию не подлежит)

History

#1

Updated by Sergey Smolov over 4 years ago

Принято решение разбить SMV-принтер на 2 компонента:

1) CfgAstTransformer - преобразует CFG-модель в AST-модель (нужно также разработать внутреннее представление AST-модели, желательно с исопльзованием примитивов CFG);
2) AstSmvPrinter - SMV-принтер на базе обходчика AST-модели (сам обходчик тоже нужно реализовать).

#2

Updated by Sergey Smolov about 4 years ago

  • Subject changed from [cfg][printer][smv] Принтер CFG в SMV to Принтер CFG в SMV
  • Category set to 73
#3

Updated by Mikhail Lebedev over 3 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Реализовано в виде CGAA -> HLDD -> SMV принтера.

#4

Updated by Sergey Smolov about 3 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 0.2.1
#5

Updated by Sergey Smolov over 1 year ago

  • Target version changed from 2.0 to 1.0

Also available in: Atom PDF