(НТУ "ХПИ", 2007) Дмитриенко, Валерий Дмитриевич; Леонов, Сергей Юрьевич; Гладких, Т. В.
У статті показано застосування нової системи верифікації цифрових пристроїв на основі K-значного моделювання. За допомогою цієї системи є можливість виконувати проектування сучасних складних та швидкодіючих пристроїв з урахуванням кількісних та якісних характеристик ризиків збоїв. Це дає нові перспективи по проектуванню з застосуванням K-значного моделювання.
