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



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

Свидетельство №  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

Свидетельство № 2014610338 Российская Федерация. Программа анализа цифровых схем на самосинхронность (САМАН). Версия 2 ; свидетельство об официальной регистрации программы для ЭВМ / Плеханов Л.П. ; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2013619997, дата поступления заявки 01.11.2013 ; дата регистрации 09.01.2014

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

Средство характеризации элементов библиотеки САПР самосинхронных БИС, версия 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-библиотеки на отдельные элементы.