Средство верификации результата умножения плавающих чисел

Государственная регистрация программы для ЭВМ № 2022669328 от 19.10.2022 Бюл. No 10. Средство верификации результата умножения плавающих чисел. Морозов Николай Викторович, Рождественский Юрий Владимирович, Дьяченко Юрий Георгиевич, Степченков Дмитрий Юрьевич; заявитель Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН). № заявки 2022668897, дата поступления заявки 13.10.2022.

ЗПрограмма предназначена для визуального контроля промежуточных результатов умножения мантисс двух 64-разрядных или попарно четырех 32-разрядных чисел с плавающей точкой, представленных в соответствии со стандартом IEEE754. Результаты непосредственного умножения мантисс в 128-разрядной сетке выводятся в форму и сравниваются с результатами умножения, полученными формализованными методами: параллельным умножителем двоичных чисел в дополнительном коде, модифицированным алгоритмом Бута с использованием и без использования «дерева» Уоллеса для сложения частичных произведений. Также программа дает возможность проверки, настройки и отладки экспериментальных алгоритмов умножения, представляя результат послойных и пошаговых результатов вычислений в шестнадцатеричном и двоичном виде. Тип ЭВМ: IBM PC-совмест. ПК на базе процессора с архитектурой х32; ОС: Windows 7/8/10.

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

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

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

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

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

Программа предназначена для автоматического синтеза комбинационных самосинхронных схем. Исходными данными программы являются описание схемы в логических функциях на языке Verilog, самосинхронные атрибуты входов и выходов, описание библиотеки элементов на внутреннем языке, критерий выбора элементов — площадь на кристалле или средняя задержка. Программа формирует структурное описание самосинхронной схемы в элементах библиотеки на языке Verilog, включающее индикаторную подсхему, необходимую для самосинхронности. Программа может использоваться для проектирования самосинхронных микросхем полузаказной или заказной технологии. Программа обеспечивает: считывание задания на синтез с указанием библиотеки и критерия оптимизации; считывание входного описания логических функций на языке Verilog; считывание параметров библиотеки; сообщения об ошибках; синтез логической части с декомпозицией сложных функций; синтез индикаторной части с одним индикаторным выходом для всей схемы; расчет самосинхронных атрибутов выходов схемы. Тип ЭВМ: IBM-совместимый ПК.; ОС: Windows-10.

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