Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9971 MicroTESK for RISC-V Task Verified Normal print Spike trace to separate log file for every JUnit test case Sergey Smolov Sergey Smolov 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
9917 QEMU4V Task New Normal check QEMU4V-specific code on compliance with coding style Sergey Smolov Sergey Smolov QEMU4V - 0.3 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
9909 QEMU4V Task New Normal migrate to QEMU 4.2.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 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
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
    (1-24/24)

    Also available in: Atom CSV PDF