Какие основные процедуры в конкурентном методе?
Какие алфавиты легко реализуются в конкурентном методе?
С чем ассоциируется список неисправностей в конкурентном методе?
Чем отличаются одиночная и кратная стратегии наблюдения выходных сигналов?
Какие производственные задачи решаются с помощью логического моделирования из перечисленных ниже:изготовление ЦУ;проверка логики функционирования;размещение логических элементов;трассировка соединений;поиск неисправностей;анализ состязаний сигналов;определение временных характеристик;выборочный контроль
Какие входные последовательности можно использовать на этапе инициализации?
Какие входные последовательности можно использовать на этапе проверки переходов?
Какие действия выполняются при возникновении конфликта в методе PODEM?
Какие критерии окончания в псевдослучайном методе гене-рации тестов?
Какие значения сигналов после моделирования должны иметь линии - кандидаты на включение в проверяемые пути?