Список Программ
2022
Средство верификации результата умножения плавающих чисел
2021
Инструментальная среда разработки HARSP IDE. Версия 2
Система характеризации самосинхронных элементов (САХИБ). Версия 4
2020
Программа синтеза комбинационных самосинхронных схем на заданной библиотеке элементов (SYNT_COMB)
2019
Система характеризации самосинхронных элементов САХИБ. Версия 3
Инструментальная среда разработки HARSP IDE
2018
Программа автоматизированного построения граф-капсул (ГРАФ)
2017
Программный комплекс проектирования и моделирования гибридных потоковых рекуррентных систем (СПРУТ)
2016
Система характеризации самосинхронных элементов САХИБ. Версия 2
Программа иерархического анализа электронных схем на самосинхронность (ЛИМАН)
2015
Система характеризации самосинхронных элементов САХИБ
2014
Программа библиотеки самосинхронных элемен-тов БМК 5508 и 5509 САМОС_55Б
Программа анализа цифровых схем на самосинхронность (САМАН). Версия 2
Скачать программу САМАН с примерами
Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА). Версия 2
2013
Средство характеризации элементов библиотеки САПР самосинхронных БИС, версия 2
Система капсульного программирования и отладки (СКАТ). Версия 2
Средства имитационного моделирования потоковой рекуррентной архитектуры (СИМПРА)
Программа обработки результатов моделирования потоковой рекуррентной архитектуры (ПРАПОР)
2012
Средство характеризации элементов библиотеки САПР самосинхронных БИС
Функциональная полузаказная библиотека самосинхронных элементов ML03. Версия 2
Функциональная полузаказная библиотека самосинхронных элементов ML09
Средство разворачивания тестов для самосинхронных элементов функциональных библиотек
2011
Система анализа самосинхронных схем (АСПЕКТ)
Программа анализа само-синхронных схем функци-ональным методом (ФАЗАН)
2010
Функциональная полузаказная библиотека самосинхронных элементов ML03
Система капсульного программирования и отладки (СКАТ)
Система управления содержимым сайта «CMS Breeze».
2008
Библиотека самосинхронных элементов семейств БМК 5503 и 5507 САМОС_55А
Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 2
2007
Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 1
Программа синтеза комбинационных схем на заданной библиотеке элементов СИНТАБИБ
Библиотека самосинхронных элементов на базе 55 серии БМК САМОС_55
Универсальный комплекс автоматизированного тестирования опытных кристаллов. Тестовая подсистема
Универсальный комплекс автоматизированного тестирования опытных кристаллов. Подсистема управления
2006
Программа «Комплекс тестовый» комплекса автоматизированного тестирования опытных кристаллов САТОК
Средство просмотра диаграмм изменений в графическом виде AGraf
Программа «Комплекс управления» комплекса автоматизированного тестирования опытных кристаллов САТОК
Средство построения и оценки диаграмм изменений ASPLib
Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность АСИАН
2003
Средство моделирования операционного уровня рекуррентной потоковой архитектуры, ОПЕРА
2001
Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность
1996
Инструментальная объектно-ориентированная система ввода символьных данных на базе языка СИ (РСИ)
1995
Система моделирования цифровых электронных устройств на языке VHDL (МОЛОТ)