Хмарний сервіс для тестування і верифікації систем на кристалах
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 3, Issue 3
Abstract
Описуються методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у ви-гляді чорної скриньки і описаної кубітним покриттям. Наводяться теоретичні основи застосування методів і оцінка їх ефективності для широкого класу цифрових схем, реалізованих в програмованих логічних прист-роях. Пропонуються інноваційні методи обчислення логічних похідних і дедуктивного моделювання не-справностей для функціональних елементів, описаних кубітним покриттям.
Authors and Affiliations
Є. І. Литвинова, І. В. Ємельянов
Analyzing the Ways of Matching Dynamic Features of Video Stream to Information and Communication Networks
The work deals with the current problem of delivering video data with controlled loss of quality in information networks. Means of controlling the bit rate of video streams are studied. The development of structural and...
МЕТОД ШТРАФНЫХ ФУНКЦИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ ОПТИМИЗАЦИИ НА ПОЛИЭДРАЛЬНО- СФЕРИЧЕСКИХ КОМБИНАТОРНЫХ МНОЖЕСТВАХ
Предлагается новый подход к решению задач оптимиза- ции на вписанных в сферу евклидовых комбинаторных множествах, основанный на применении функциональ- ных представлений дискретных множеств и выпуклых продолжений с них в...
МУЛЬТИВЕРСНЫЙ ПАРАЛЛЕЛЬНЫЙ СИНТЕЗ ЦИФРОВЫХ СТРУКТУР НА ОСНОВЕ SYSTEMC СПЕЦИФИКАЦИИ
Обобщаются исследования, связанные с мультиверсным параллельным синтезом цифровых структур на основе SystemC спецификации, цель которого – существенное уменьшение времени проектирования вычислительных архитектур и повыше...
Усовершенствование метода создания контактов с барьером шоттки к пористым полупроводникам
Установливается, что качество контактов определяется, главным образом, характером распределения химических элементов в приконтактной области, а также временем и температурой отжига контактной структуры. Данный метод позв...
Технологии цифрового мониторинга и облачного управления киберфизическими социальными процессами
Показывается развитие моделей, методов, алгоритмов и программных средств создания цифровых систем управления наукой и образованием в университете за последние годы. Определяются узкие места и преимущества наиболее интере...