Бибило, П. Н. Продукционная система оптимизации иерархических описаний логических систем [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. - 2011. - № 3. - С. 9-20 : рис., табл. - Библиогр.: с. 20 . - ISSN 0130-5395 Рубрики: Системотехніка Кл.слова (ненормовані): теорія систем -- програмні модулі Дод.точки доступу: Романов, В. И. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Бибило, П. Н. Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. - 2017. - № 1. - С. 35-45 : рис., табл. - Библиогр.: с. 44 . - ISSN 0130-5395
Кл.слова (ненормовані): цифрова апаратура -- мікропрограми -- операційний блок Анотація: В статье разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации. Дод.точки доступу: Романов, В. И. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |