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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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