Project

General

Profile

Task #4897

[verilog][printer][smv] Разработка принтера моделей в SMV-формат

Added by Alexander Kamkin about 5 years ago. Updated almost 2 years ago.

Status:
Rejected
Priority:
Normal
Category:
-
Target version:
Start date:
05/07/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

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

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

History

#1

Updated by Alexander Kamkin about 5 years ago

  • Subject changed from [smv][printer] Разработка принтера моделей в SMV-формат to [verilog][printer][svn] Разработка принтера моделей в SMV-формат
#2

Updated by Sergey Smolov almost 5 years ago

  • Subject changed from [verilog][printer][svn] Разработка принтера моделей в SMV-формат to [verilog][printer][smv] Разработка принтера моделей в SMV-формат
#3

Updated by Alexander Kamkin over 4 years ago

  • Status changed from New to Rejected
#4

Updated by Sergey Smolov almost 2 years ago

  • Target version changed from 2.0 to 1.0

Also available in: Atom PDF