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

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

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

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

Свидетельство № 2015614002 Российская Федерация. Программа генерации самосинхронной библиотеки базовых элементов на языке VHDL для моделирования и анализа (LIBRA_BAS) ; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2015610947, дата поступления заявки 17.02.2015; дата регистрации 01.04.2015

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

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

Свидетельство № 2015614004 Российская Федерация. Инструментальная среда проектирования ПО для гибридной архитектуры рекуррентного обработчика сигналов (GAROS IDE) ; свидетельство об официальной регистрации программы для ЭВМ / Хилько Д. В., Степченков Ю. А., Шикунов Ю. И. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2015610945, дата поступления заявки 17.02.2015; дата регистрации 01.04.2015

Программа является результатом глубинной интеграции программ СИМПРА Версия 2, СКАТ Версия 2 и ПРАПОР и последующего расширения функциональных возможностей. Программа представляет собой совокупность средств разработки и отладки ПО, синтаксического анализа и трансляции создаваемых программ, имитационного и VHDL моделирования полученных в результате трансляции результатов. Программа обеспечивает: создание, редактирование, синтаксический анализ символьных капсул; визуальное конструирование и редактирование капсул в СКАТ-представлении; трансляция символьных и СКАТ-капсул во внутренние представления входных данных VHDL и имитационной моделей; автоматизация моделирования множества капсул и съема результатов моделирования

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

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

Программа является расширенной версией программы САМОС_55 и представляет собой описание на языке VHDL самосинхронных базовых элементов БМК 5508 и 5509 (НПК «Технологический центр» МИЭТ). Программа предназначена для автоматизированного проектирования самосинхронных цифровых схем. Программа может использоваться для моделирования, анализа, синтеза и других этапов разработки данного класса схем. Элементы библиотеки могут использоваться также и для проектирования обычных синхронных схем. Программа обеспечивает: совместимость со всеми известными системами проектирования БИС по языку описания; возможность моделирования с учетом нагрузок, температуры, напряжения питания; возможность анализа и синтеза самосинхронных схем на элементах библиотеки.

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

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

Данное средство представляет собой программу, которая предназначена для автоматизированного формирования функционально-логической модели самосинхронного логического элемента, для которого известны его тип и функциональное назначение его входов и выходов, а также полное описание в транзисторах в виде списка цепей. Характеризация одного элемента основана на оригинальной методике расчета параметров моделей элементов разных типов: комбинационных, мультиплексоров, однотактных триггеров, двухтактных триггеров, псевдодинамических элементов с памятью на слабых транзисторах, элементов со встроенными индикаторными шинами, предназначенных для проектирования самосинхронных БИС и СБИС. Версия 2 дополнена улучшенными алгоритмами характеризации и пакетной характеризацией библиотеки элементов. Добавлены варианты представления результатов характеризации для более точного удовлетворения требованиям.

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

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

Данное средство представляет собой программу, которая предназначена для автоматизированного формирования функционально-логической модели произвольного логического элемента, для которого известны его тип и функциональное назначение его входов и выходов, а также полное описание в транзисторах в виде списка цепей. Характеризация одного элемента основана на оригинальной методике расчета параметров моделей элементов разных типов: комбинационных, мультиплексоров, однотактных триггеров, двухтактных триггеров, псевдодинамических элементов с памятью на слабых транзисторах, элементов со встроенными индикаторными шинами, предназначенных для проектирования самосинхронных БИС и СБИС.

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

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

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

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

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

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

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

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

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

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

Дополнительно программа может по функциональному описанию элемента строить его CIR-описание с добавлением всех входов и подготовкой замыкания, разделять VHDL- и VLOG-библиотеки на отдельные элементы.

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

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

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