Шкиль, А. С.Сыревич, Е. Е.Карасев, А. Л.Чегликов, Д. И.2016-09-132016-09-132006Тестовая верификация поведенческих языковых моделей цифровых устройств / А. С. Шкиль, Е. Е. Сыревич, А. Л. Карасев, Д. И. Чегликов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2006. – Вып. 134. – С. 4–13.http://openarchive.nure.ua/handle/document/2487Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры.ruверификация моделейязык описания аппаратурыArticle