РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ Номер регистрации (свидетельства): 2016663353 Дата регистрации: 05.12.2016 Номер и дата поступления заявки: 2016661382 26.10.2016 Дата публикации: 10.01.2017 Контактные реквизиты: нет Автор: Плеханов Леонид Петрович Правообладатель: Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук» (ФИЦ ИУ РАН) Название программы для ЭВМ: «Программа иерархического анализа электронных схем на самосинхронность (ЛИМАН)» Реферат: Программа предназначена для анализа на самосинхронность электронных схем, имеющих иерархическую структуру любой глубины. Описание схемы записывается на языке VHDL. Для фрагментов структуры должны быть указаны самосинхронные параметры входов и выходов (атрибуты) по правилам VHDL. По параметрам входов и выходов, а также по взаимосвязям фрагментов программа определяет два главных условия самосинхронности: индицируемость сигналов и отсутствие состязаний. Анализ проводится, начиная с нижнего уровня иерархии. Результаты анализа фрагмента заносятся в соответствующие атрибуты его входов и выходов и используются для анализа самосинхронности следующего, более высокого уровня иерархии. Программа обеспечивает: анализ самосинхронности схем любого размера и любой глубины иерархии; сообщения о типах и местах нарушения самосинхронности; автоматическую запись полученных в результате анализа параметров в атрибуты описания схемы на языке VHDL. Тип реализующей ЭВМ: IBM PC-совмест. ПК Язык программирования: Visual С++ Вид и версия операционной системы: Windows 7 Объем программы для ЭВМ: 280 Кб