Программные средства



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

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

Средство разворачивания тестов для самосинхронных элементов функциональных библиотек представляет собой программу, которая позволяет формировать функциональные тесты в сжатом виде и автоматически разворачивая его в полную форму. Программа использует формат и возможности системы HDL-моделирования ModelSim цифровых устройств.
Программа предназначена для использования на этапе подготовки тестов для самосинхронных элементов функциональных библиотек ML03, ML07, ML08 и ML09 и всех аналогичных.

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

Свидетельство № 2011611615 Российская Федерация. Система анализа самосинхронных схем (АСПЕКТ) ; свидетельство об официальной регистрации программы для ЭВМ / Рождественский Ю.В., Рождественскене А.В. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2010618115, дата поступления заявки  21.12.2010   ; дата регистрации 17.02.2011

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

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

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

Свидетельство № 2011611102 Российская Федерация. Программа анализа самосинхронных схем функциональным методом (ФАЗАН) ; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П. ; заявитель и правообладатель ИПИ РАН. ‑ №; Дата публикации: 01.02.2011

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

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

 

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

Свидетельство № 2012611335 Российская Федерация. Функциональная полузаказная библиотека самосинхронных элементов ML09 ; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Степченков Ю.А., Дьяченко Ю.Г., Степченков Д.Ю. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2010610330, дата поступления заявки 28.01.2010; дата регистрации 12.03.2010

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

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

Свидетельство № 2010611908 Российская Федерация. Функциональная полузаказная библиотека самосинхронных элементов ML03 ; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Степченков Ю.А., Дьяченко Ю.Г., Степченков Д.Ю. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2010610330, дата поступления заявки 28.01.2010  ; дата регистрации 12.03.2010

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

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

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

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

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

Свидетельство № 2007613665 Российская Федерация. Программа синтеза комбинационных схем на заданной библиотеке элементов СИНТАБИБ ; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2007612648, дата поступления заявки 28.06.2007 ; дата регистрации 27.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

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