Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6448 Retrascope Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4880 Retrascope Task New Low Проектирование внутреннего представления для блок-схем Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4881 Retrascope Task New Low Реализация алгоритма построения блок-схем по внутреннему представлению Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4887 Retrascope Task New Low Разработка внутреннего представления тестовой системы Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4888 Retrascope Task New Low Генератор заготовки тестовой системы по ее описанию Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4889 Retrascope Task New Low Генерация заготовки эталонной модели по набору блок-схем (flowchart) Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
2059 С++TESK Development Environment Task New Low Использование разных цветов для выделения ключевых слов C++ и С++TESK Alexander Kamkin Sergey Smolov Actions
10009 Verilog Translator Task Verified Normal README\ChangeLog -> README.md\ChangeLog.md Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
10000 Retrascope Task Verified Normal README\ChangeLog -> README.md\ChangeLog.md Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9998 Castle Task Resolved Normal README -> README.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
9999 Castle Task Resolved Normal ChangeLog -> ChangeLog.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
10002 Fortress Task New Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9964 Retrascope Task New Normal add examples to project distribution Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9961 Verilog Translator Task New Normal uncomment jUnit test cases that are related to SVA modules Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9848 Verilog Translator Bug Verified Normal ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm: Function declaration '$ND' has not been found Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5027 Retrascope Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
9670 Retrascope Test Suite Task New Normal add 'ar.v' module to the test suite when SVA support will be implemented Sergey Smolov Sergey Smolov Actions
9488 Retrascope Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5150 Retrascope Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov Retrascope - 1.0 Actions
1185 VeriTool Task New Normal Инструментирование Verilog-кода и отслеживание покрытия по коду Alexander Kamkin Sergey Smolov Actions
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
(1-25/26) Per page: 25, 50

Also available in: Atom CSV PDF