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

Свидетельство № 2008615059 Российская Федерация. Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 2; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2008613997, дата поступления заявки 02.09.2008; дата регистрации 21.10.2008.

Программа является усовершенствованной версией программы САМАН, версия 1 и представляет собой инструмент для анализа цифровых электронных схем на самосинхронность. Программа позволяет анализировать схемы, представленные как в замкнутом, так и в разомкнутом виде. В разомкнутом представлении программа позволяет компактно исследовать полноту начальных состояний и дисциплину изменений входных сигналов. Программа обеспечивает: замкнутое и разомкнутое представление анализируемых схем; средства описания поведения окружающей схемы; автоматический расчет начального и спейсерного состояний; отображение процесса анализа в виде слоев состояний. В версию 2 программы внесены следующие изменения: введены новые средства анализа для разомкнутого представления, средства описания поведения окружения; модифицированы все остальные компоненты программы.

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

Свидетельство № 2008615060 Российская Федерация. Библиотека самосинхронных элементов семейств БМК 5503 и 5507 САМОС_55А; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П., Степченков Ю.А., Дьяченко Ю.Г.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 21.10.2008.

Программа представляет собой описание на языке VHDL самосинхронных базовых элементов, реализованных в семействах БМК 5503 и 5507 (НПК “Технологический центр” МИЭТ). Программа предназначена для автоматизированного проектирования строго самосинхронных цифровых схем. Программа может использоваться для моделирования, анализа, синтеза и других этапов разработки данного класса схем. Элементы библиотеки могут использоваться также и для проектирования обычных синхронных схем.

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

Свидетельство № 2007613665 Российская Федерация. Программа синтеза комбинационных схем на заданной библиотеке элементов СИНТАБИБ; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 22.08.2007.

Программа предназначена для синтеза комбинационных однокаскадных самосинхронных схем в фиксированном базисе элементов. Программа автоматически переводит исходные функции в парафазное представление и синтезирует схему с оптимизацией по быстродействию или затратам в транзисторах (базовых ячейках).
Программа может быть использована при проектировании строго самосинхронных цифровых схем – подкласса асинхронных схем, свободных от состязаний и обладающих максимально возможной областью работоспособности и повышенной надежностью.

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

Свидетельство № 2007613545 Российская Федерация. Программа анализа описаний цифровых схем на строгую самосинхронность САМАН. Версия 1; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 22.08.2007.

Программа предназначена для анализа описаний разомкнутых и замкнутых цифровых электронных схем на строгую самосинхронность. Программа может быть использована при проектировании строго самосинхронных электронных схем – подкласса асинхронных схем, свободных от состязаний и обладающих максимально возможной областью работоспособности и повышенной надежностью.

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

Свидетельство № 2007613547 Российская Федерация. Библиотека самосинхронных элементов на базе 55 серии БМК САМОС_55; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П., Степченков Ю.А., Дьяченко Ю.Г.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2007612593, дата поступления заявки 26.06.2007; дата регистрации 22.08.2007.

Программа представляет собой описание на языке VHDL самосинхронных базовых элементов, реализованных в БМК 55 серии (НПК “Технологический центр” МИЭТ). Программа предназначена для автоматизированного проектирования строго самосинхронных цифровых схем. Программа может использоваться для моделирования, анализа, синтеза и других этапов разработки данного класса схем. С помощью этой библиотеки возможно также и проектирование обычных синхронных схем.

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

Свидетельство № 2007612685 Российская Федерация. Универсальный комплекс автоматизированного тестирования опытных кристаллов. Тестовая подсистема; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Петрухин В.С., Степченков Ю.А., Степченков Д.Ю.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2007611711, дата поступления заявки 03.05.2007; дата регистрации 21.06.2007.

Программа предназначена для моделирования тестового стенда. Предоставляет пользователю средства настройки интерфейса и параметров различных тестовых БИС. Позволяет управлять процессом тестирования множества произвольных тестовых БИС. Программа ориентирована на использование в универсальном комплексе автоматизированного тестирования опытных кристаллов САТОК.

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

Свидетельство № 2007612684 Российская Федерация. Универсальный комплекс автоматизированного тестирования опытных кристаллов. Подсистема управления; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Петрухин В.С., Степченков Ю.А., Степченков Д.Ю.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 200761169, дата поступления заявки 03.05.2007; дата регистрации 21.06.2007.

Программа предназначена для управления тестовой БИС, подключенной через демонстрационную плату dsPICDEM 1.1. Программа обладает функцией настройки на произвольную БИС. Программа реализует набор команд, позволяющих снимать информацию о состоянии сигналов БИС или устанавливать требуемые значения. Программа ориентирована на использование в комплексе автоматизированного тестирования опытных кристаллов САТОК.

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

Свидетельство № 2006613255 Российская Федерация. Программа «Комплекс тестовый» комплекса автоматизированного тестирования опытных кристаллов САТОК; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Петрухин В.С., Степченков Ю.А., Степченков Д.Ю.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2006612545, дата поступления заявки 25.07.2006; дата регистрации 15.09.2006.

Программа предназначена для моделирования тестового стенда. Предоставляет пользователю интерфейс, отображающий все сигналы тестовой БИС, команды для приема информации и запуска тестовых действий. Программа ориентирована на использование в комплексе автоматизированного тестирования опытных кристаллов САТОК.

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

Свидетельство № 2006613256 Российская Федерация. Средство просмотра диаграмм изменений в графическом виде AGraf; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Рождественский Ю.В., Степченков Ю.А., Рождественскене А.В.; заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 15.09.2006.

Программа предназначена для просмотра и визуального анализа диаграммы изменений электрической схемы в графическом представлении. Программа служит для определения неисправностей и исправления ошибок электрических схем при классификационном анализе электрической схемы в виде системы булевых уравнений на полумодулярность и дистрибутивность. Программа ориентирована на использование при разработке самосинхронных электронных схем, не зависящих от задержек элементов или быстродействия электронных компонентов.

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

Свидетельство № 2006613258 Российская Федерация. Программа «Комплекс управления» комплекса автоматизированного тестирования опытных кристаллов САТОК; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Петрухин В.С., Степченков Ю.А., Степченков Д.Ю.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2006612544, дата поступления заявки 25.07.2006; дата регистрации 15.09.2006.

Программа предназначена для управления тестовой БИС, подключенной через демонстрационную плату dsPICDEM 1.1. Программа реализует набор комманд, позволяющих снимать информацию о состоянии сигналов БИС или устанавливать требуемые значения. Программа ориентирована на использование в комплексе автоматизированного тестирования опытных кристаллов САТОК.