Хмарний сервіс для тестування і верифікації систем на кристалах
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 3, Issue 3
Abstract
Описуються методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у ви-гляді чорної скриньки і описаної кубітним покриттям. Наводяться теоретичні основи застосування методів і оцінка їх ефективності для широкого класу цифрових схем, реалізованих в програмованих логічних прист-роях. Пропонуються інноваційні методи обчислення логічних похідних і дедуктивного моделювання не-справностей для функціональних елементів, описаних кубітним покриттям.
Authors and Affiliations
Є. І. Литвинова, І. В. Ємельянов
Keywords
Related Articles
- EP ID EP608291
- DOI -
- Views 97
- Downloads 0
Secure Multipath Routing Algorithm with Optimal Balancing Message Fragments in MANET
Abstract—This paper is devoted to the proposition of the algorithm of secure multipath routing with optimal balancing message fragments number in MANET. The work considered the concept of the threshold secret sharing sch...
Cyber-Social Computing of Relationship
An innovative cyber culture and computing of social governance of citizens is proposed, aimed at the moral metric cloud service of social groups through the leverage of digital monitoring and expert evaluation of social...
Усовершенствование метода создания контактов с барьером шоттки к пористым полупроводникам
Установливается, что качество контактов определяется, главным образом, характером распределения химических элементов в приконтактной области, а также временем и температурой отжига контактной структуры. Данный метод позв...
Ієрархічний класифікатор автоматизованих систем прикордонного відомства
Формулюється та доводиться теорема безпеки для взаємодіючих систем, що дозволить раціоналізувати обсяг робіт із забезпечення нормативного рівня захисту. Крім того, наводиться класифікація автоматизованих систем з урахува...
Оптимизационная модель отказоустойчивой маршрутизации с билинейными условиями защиты пути
Описывается усовершенствованная потоковая модель отказоустойчивой маршрутизации с защитой пути. Новизна предложенного усовершенствования заключается в том, что условия защиты пути включены в критерий оптимальности в били...