Верификация рисков сбоя в цифровых устройствах на основе K-значного моделирования
Дата
2007
ORCID
DOI
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Назва журналу
Номер ISSN
Назва тому
Видавець
НТУ "ХПИ"
Анотація
У статті показано застосування нової системи верифікації цифрових пристроїв на основі 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.
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.
Опис
Ключові слова
многозначное моделирование, сигнал, электронные устройства, частота функционирования элементов, логический сигнал
Бібліографічний опис
Дмитриенко В. Д. Верификация рисков сбоя в цифровых устройствах на основе K-значного моделирования / В. Д. Дмитриенко, С. Ю. Леонов, Т. В. Гладких // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2007. – № 39. – С. 55-62.