|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Retrascope: Программа анализа HDL-описаний цифровой аппаратурысвидетельство о регистрации прав на ПО, базу данных
- Авторы: Камкин А.С., Лебедев М.С., Мельниченко И.В., Проценко А.С., Смолов С.А., Чупилко М.М.
- Номер: 2018663000
- Дата получения: 18 октября 2018 г.
- Тип ПО: SOFT
-
Описание:
Программа предназначена для статического анализа описаний цифровой аппаратуры. В качестве входных данных программа принимает файлы с исходным кодом модулей аппаратуры на языках VHDL или Verilog. В качества выходных данных программа предоставляет результаты статического анализа в виде моделей и функциональных тестов для целевых модулей. Поддерживаются следующие виды моделей: граф потока управления, решающие диаграмма охраняемых действий, высокоуровневая решающая диаграмма, расширенный конечный автомат.
- Добавил в систему: Камкин Александр Сергеевич