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