Зображення обкладинки

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов

Разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональ...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2017
Автори:	Бибило, П.Н., Романов, В.И.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2017
Теми:	Технические средства информатики
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124949
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов / П.Н. Бибило, В.И. Романов // Управляющие системы и машины. — 2017. — № 1. — С. 35-45. — Бібліогр.: 13 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Нахождение теста для режима максимального энергопотребления комбинационной схемы
за авторством: Бибило, П.Н.
Опубліковано: (2010)

Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Применение конвейеризации для увеличения быстродействия логических схем
за авторством: Бибило, П.Н., та інші
Опубліковано: (2013)

Оценка энергопотребления комбинационных КМОП-схем на основе логического моделирования с учетом временных задержек элементов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2014)

Аспекты динамики переходных процессов поворотного рабочего элемента, действующего без упругих и вязких сил
за авторством: Гриценко, В.И., та інші
Опубліковано: (2012)

Методы и алгоритмы автоматизированного проектирования сложных технических объектов
за авторством: Зинченко, В.П., та інші
Опубліковано: (2011)

Синтез сумматора нанокомпьютера на основе резонансных электромеханических элементов
за авторством: Белик, В.К., та інші
Опубліковано: (2014)

Большие данные. Аналитические базы данных и хранилища: Greenplum
за авторством: Урсатьев, А.А.
Опубліковано: (2019)

Методика конфігурування служб Windows 10 редакцій Home та Pro для персональних комп’ютерів з використанням технології віртуалізації
за авторством: Рибачок, Н.А., та інші
Опубліковано: (2018)

Методологические основы разработки лингвистического процессора для обработки лингвистических корпусов текстов сверхбольших объемов. І
за авторством: Палагин, А.В., та інші
Опубліковано: (2014)

Уменьшение числа LUT-элементов в схеме автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)

Уменьшение аппаратурных затрат в устройстве управления с преобразователем адреса микрокоманды
за авторством: Баркалов, А.А., та інші
Опубліковано: (2009)

Реализация автомата Мура в базисе гибридных FPGA
за авторством: Цололо, С.А.
Опубліковано: (2014)

Моделирование метода сечений для контроля формы изображения пятна лазерного пучка
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2010)

Один из подходов к уменьшению аппаратурных затрат в цифровых интегрирующих структурах
за авторством: Жуков, И.А., та інші
Опубліковано: (2014)

Уменьшение числа LUT-элементов в схеме совмещенного автомата
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)

Каркасный анализ способов коммутации видеосигналов
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)

Анализ технологии создания инфрастуктуры для разработки и развертывания программных приложений
за авторством: Ходякова, Г.В., та інші
Опубліковано: (2019)

Модификация алгоритма кодирования полей совместимых микроопераций
за авторством: Баркалов, А.А., та інші
Опубліковано: (2009)

Оптимальное кодирование состояний в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)

Методологические основы разработки лингвистического процессора для обработки лингвистических корпусов текстов сверхбольших объемов. ІІ
за авторством: Палагин, А.В., та інші
Опубліковано: (2014)

Информационная технология тестирования цифровых электрокардиографов с встроенными алгоритмами обработки данных
за авторством: Беклер, Т.Ю., та інші
Опубліковано: (2012)

Разработка адаптивного человеко-машинного интерфейса с использованием множества критериев оценки его качества
за авторством: Курзанцева, Л.И.
Опубліковано: (2011)

Оценивание надежности оборудования управляющих систем и машин в условиях малой статистики или отсутствия отказов
за авторством: Стрельников, П.В.
Опубліковано: (2013)

Реализация комплексного подхода к описанию алгоритмов информационно-управляющих систем в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)

Оптимизация схемы композиционного микропрограммного устройства управления с общей памятью
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Частотный анализ устройства, реализующего алгоритм экспоненциального сглаживания
за авторством: Брус, А.А., та інші
Опубліковано: (2012)

Модификация микропрограммного автомата с операционным автоматом переходов и заменой входных переменных
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2017)

Системный анализ реконфигурации полосы пропускания оптоволоконных трактов видеоконференцсвязи
за авторством: Терещенко, В.С.
Опубліковано: (2011)

Томографічна реконструкція «великих» об’єктів при використанні надлишковості проекційних даних
за авторством: Синьков, М.В., та інші
Опубліковано: (2011)

Анализ системы обслуживания-запасания с мгновенным обслуживанием и переменным объемом заказов
за авторством: Багирова, С.А.
Опубліковано: (2016)

Моделирующая среда для создания и отладки систем цифровой обработки
за авторством: Палагин, А.В., та інші
Опубліковано: (2013)

Дослідження ефективності обробки даних у квантовому комп’ютері та їх зберігання у квантовій пам’яті
за авторством: Войтович, І.Д., та інші
Опубліковано: (2011)

Уменьшение максимального количества существенных входных переменных в микропрограммном автомате с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)

Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
за авторством: Палагин, А.В., та інші
Опубліковано: (2009)

A Method of Integral Equations for a Structure in the Form of Thin Elastic Plates
за авторством: Shuvalova, Yu.S., та інші
Опубліковано: (2011)

Реализация схемы устройства управления на FPGA
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)

Модели устройства управления с общей памятью, ориентированные на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)

Операционная реализация функции выходов микропрограммного автомата
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2017)

Организация операционной части в управляющих автоматах с операционным формированием переходов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2010)