Дмитриенко, Валерий ДмитриевичЛеонов, Сергей ЮрьевичГладких, Т. В.2015-09-152015-09-152007Дмитриенко В. Д. Верификация рисков сбоя в цифровых устройствах на основе K-значного моделирования / В. Д. Дмитриенко, С. Ю. Леонов, Т. В. Гладких // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2007. – № 39. – С. 55-62.https://repository.kpi.kharkov.ua/handle/KhPI-Press/16834У статті показано застосування нової системи верифікації цифрових пристроїв на основі K-значного моделювання. За допомогою цієї системи є можливість виконувати проектування сучасних складних та швидкодіючих пристроїв з урахуванням кількісних та якісних характеристик ризиків збоїв. Це дає нові перспективи по проектуванню з застосуванням K-значного моделювання.In article it is shown applications of new system of verification digital devices on the basis of K-Value modelling. With its help it is possible to carry out designing of modern complex and high-speed devices in view of quantitative and qualitative characteristics of failures risks that gives new prospects on designing with use of K-Value modelling.ruмногозначное моделированиесигналэлектронные устройствачастота функционирования элементовлогический сигналArticle