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

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

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

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

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

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

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

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

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

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

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

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

  • По функциональному описанию элемента строится его Си-модель.
  • Для Си-модели элемента строит его таблицу истинности в файле PROG-таблицы..
  • По функциональному описанию строит VLOG-модель и параметры элемента для моделирования.
  • Готовит скорректированную PROG-таблицу, с учетом VLOG-таблицы, для сравнения результатов.

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

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

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

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

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

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

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

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

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

Функциональная полузаказная библиотека самосинхронных элементов 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 программы внесены следующие изменения: введены новые средства анализа для разомкнутого представления, средства описания поведения окружения; модифицированы все остальные компоненты программы.

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

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

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