Процедуры импликации на арифметических операциях при синтезе тестов верификации / В.А. Рустинов, Е.Е. Сыревич, А.В. Сыревич, Д.И. Чегликов // Автоматизированные системы управления и приборы автоматики. – 2005. – №Вып. 130. – С.4–13.
Складова документа:Шифр: 681.5(06) А 22
Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. Вып. 130 / МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл. ред.) и др. – Харьков : ХНУРЭ, 2005. – 119 с. – 15,00
Анотація:
Предлагается разработка формул прямой и обратной импликации на арифметических операциях при синтезе тестов верификации, позволяющих уйти от громоздких NP-полных разрядозависимых вычислений и использующих метод диапазонов