Список Программ

2019
Система характеризации самосинхронных элементов САХИБ. Версия 3

Инструментальная среда разработки HARSP IDE

2018

Программа контроля и создания библиотеки базовых элементов для анализа и синтеза самосинхронных схем (CREALIBRA)

Программа автоматизированного построения граф-капсул (ГРАФ)

2017
 Программный комплекс проектирования и моделирования гибридных потоковых рекуррентных систем (СПРУТ)

2016
Система характеризации самосинхронных элементов САХИБ. Версия 2

Программа иерархического анализа электронных схем на самосинхронность (ЛИМАН)

2015

Система характеризации самосинхронных элементов САХИБ

Программа генерации самосинхронной библиотеки базовых элементов на языке VHDL для моделирования и анализа (LIBRA_BAS)

Инструментальная среда проектирования ПО для гибридной архитектуры рекуррентного обработчика сигналов (GAROS IDE)

2014

Программа библиотеки самосинхронных элемен-тов БМК 5508 и 5509 САМОС_55Б

Программа анализа цифровых схем на самосинхронность (САМАН). Версия 2

Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА). Версия 2

2013

Средство характеризации элементов библиотеки САПР самосинхронных БИС, версия 2

Система капсульного программирования и отладки (СКАТ). Версия 2

Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА)

Программа обработки результатов моделирования потоковой рекуррентной архитектуры (ПРАПОР)

2012

Средство характеризации элементов библиотеки САПР самосинхронных БИС

Функциональная полузаказная библиотека самосинхронных элементов ML03. Версия 2

Средство проверки запрещенных состояний функциональных элементов библиотек самосинхронных элементов ML03 и ML09

Функциональная полузаказная библиотека самосинхронных элементов ML09

Средство подготовки данных для построения функциональных элементов библиотек самосинхронных элементов ML03 и ML09

Средство разворачивания тестов для самосинхронных элементов функциональных библиотек

2011

Система анализа самосинхронных схем (АСПЕКТ)

Программа анализа само-синхронных схем функци-ональным методом (ФАЗАН)

2010

Функциональная полузаказная библиотека самосинхронных элементов ML03

Система капсульного программирования и отладки (СКАТ)

Система управления содержимым сайта «CMS Breeze».

 2008
Библиотека самосинхронных элементов семейств БМК 5503 и 5507 САМОС_55А

Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 2

2007

Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 1

Программа синтеза комбинационных схем на заданной библиотеке элементов СИНТАБИБ

Библиотека самосинхронных элементов на базе 55 серии БМК САМОС_55

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

Универсальный комплекс автоматизированного тестирования опытных кристаллов. Подсистема управления

2006

Программа «Комплекс тестовый» комплекса автоматизированного тестирования опытных кристаллов САТОК

Средство просмотра диаграмм изменений в графическом виде AGraf

Программа «Комплекс управления» комплекса автоматизированного тестирования опытных кристаллов САТОК

Средство построения и оценки диаграмм изменений ASPLib

Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность АСИАН

Рекурент под Windows 1

2003
Средство моделирования операционного уровня рекуррентной потоковой архитектуры, ОПЕРА

Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность

1996

Система моделирования цифровых электронных устройств на языке VHDL (МОЛОТ)

1995

Инструментальная объектно-ориентированная система ввода символьных данных на базе языка СИ (РСИ)