верифікація, верификация ; діагностування, диагностирование ; мультипроцесори, мультипроцессоры ; тестування, тестирование, testing ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC

Новая модель взаимодействия дискретных объектов в киберпространстве позволяет точно и адекватно оценивать решения в процессе поиска и распознавания любых объектов в векторном логическом пространстве, а также в параллельном режиме решать задачи синтеза и анализа диагностической информации. Усовершенствованные методы синтеза тестов и диагностирования для функциональностей, заданными матричными формами описания поведения цифровых компонентов, отличающиеся параллелизмом векторных операций над таблицами неисправностей, позволили уменьшить объем памяти, время восстановления работоспособности цифровой системы. Усовершенствована архитектура логического ассоциативного мультипроцессора. Инфраструктура сервисного обслуживания позволяет существенно (30%) уменьшить время диагностирования аппаратных компонентов в процессе функционирования. Предложенные модели и методы существенно (20%) повышают тестопригодность цифровой системы, что позволяет уменьшить временные затраты на синтез диагностической информации, повысить качество проектируемого изделия и выход годной продукции.

• УДК // Автомати
• УДК // Організація комерційних та приватних підприємств. Організація торгівлі
• УДК // Пристрої для управління. Пристрої контролю та перевірки. Пристрої профілактичної перевірки