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