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

Государственная регистрация программы для ЭВМ № 2019662741 от 02.10.2019 Бюл. №10. Система характеризации самосинхронных элементов САХИБ. Версия 3. Морозов Николай Владимирович, Дьяченко Юрий Георгиевич, Степченков Дмитрий Юрьевич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2019661684, дата поступления заявки 24.09.2019.

Программа является системой, предназначенной для расчета параметров задержки и формирования модели самосинхронного библиотечного элемента. При характеризации используется электрическое описание схемы элемента в транзисторах, в виде списка цепей, и список функций, дополненные описанием типа и функционального назначения входов и выходов элемента. Для расчета параметров элементов, предназначенных для проектирования самосинхронных СБИС, применены оригинальные методики. Могут рассчитываться элементы разных типов: комбинационные элементы, мультиплексоры, однотактные триггеры, двухтактные триггеры, псевдодинамические элементы с памятью на слабых транзисторах, элементы со встроенными индикаторными шинами. Программа дополнена механизмом ручной коррекции автоматизированной характеризации, путем задания начальных состояний векторов статических значений или направлений переключения входов и выходов характеризуемого элемента. Проведена работа над ошибками и улучшено взаимодействие программы с пользователем. Тип ЭВМ: IBM PC — совмест. ПК ОС: Windows ХР/Vista/7/8/10.

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

Государственная регистрация программы для ЭВМ №  2018664666 от 20.11.2018 г. Бюл. №11. Программа контроля и создания библиотеки базовых элементов для анализа и синтеза самосинхронных схем (CREALIBRA). Плеханов Леонид Петрович; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2018662412, дата поступления заявки 07.11.2018.

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

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

Государственная регистрация программы для ЭВМ № 2016663661 от 13.12.2016 (опубликовано 10.01.2017). Система характеризации самосинхронных элементов САХИБ. Версия 2. Морозов Николай Владимирович, Дьяченко Юрий Георгиевич, Степченков Дмитрий Юрьевич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2016661383, дата поступления заявки 26.10.2016.

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

Программа иерархического анализа электронных схем на самосинхронность (ЛИМАН)

Государственная регистрация программы для ЭВМ № 2016663353 от 05.12.2016 (опубликовано 10.01.2017). Программа иерархического анализа электронных схем на самосинхронность (ЛИМАН). Плеханов Леонид Петрович; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2016661382, дата поступления заявки 26.10.2016.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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