| |
Бибило, П. Н.
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов
// Управляющие системы и машины. – 2017. – № 1. – С. 35-45.
Разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации. |
