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