Хмарний сервіс для тестування і верифікації систем на кристалах
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 3, Issue 3
Abstract
Описуються методи і реалізація апаратно-програмного забезпечення безумовного паралельного синтезу тестів на основі булевих похідних для логіки, поданої у ви-гляді чорної скриньки і описаної кубітним покриттям. Наводяться теоретичні основи застосування методів і оцінка їх ефективності для широкого класу цифрових схем, реалізованих в програмованих логічних прист-роях. Пропонуються інноваційні методи обчислення логічних похідних і дедуктивного моделювання не-справностей для функціональних елементів, описаних кубітним покриттям.
Authors and Affiliations
Є. І. Литвинова, І. В. Ємельянов
Keywords
Related Articles
- EP ID EP608291
- DOI -
- Views 104
- Downloads 0
ТЕХНОЛОГИЧЕСКАЯ КОНЦЕПЦИЯ ДИФФЕРЕНЦИРОВАННОЙ ОБРАБОТКИ СЕГМЕНТОВ ВИДЕОКАДРА С УЧЕТОМ КЛЮЧЕВОЙ ИНФОРМАЦИИ
Обосновывается подход для формирования ядра технологической концепции дифференцированной обработки сегментов видеокадра с учетом ключевой информации. Это позволит: с одной стороны, снизить сложность процессов синтаксичес...
МОДЕЛЬ ФУНКЦІОНУВАННЯ ЛОГІСТИЧНОЇ ІНФРАСТРУКТУРИ МЕГАПОЛІСА В УМОВАХ НАДЗВИЧАЙНОЇ СИТУАЦІЇ ТЕХНОГЕННОГО ХАРАКТЕРУ
Потенційно високий рівень техногенної небезпеки мегаполіса визначає необхідність побудови управління програмами еволюції логістичної інфраструктури на принципах безпеки та екологічності рішень, що приймають...
Метод визначення раціональної послідовності модернізації елементів інформаційної системи
Аналізується структура інформаційних потоків в інтегрованій інформаційній системі прикордонного відомства та формується їх узагальнена структура. Основою методу раціоналізації процесу модернізації елементів інформаційної...
Информационная система компьютерной телефонии для автоматизации диспетчерских служб связи
Рассматриваются основные принципы создания авто- матизированных информационно-справочных ком- плексов с доступом через телефонные каналы и программный выбор режимов их работы. На основе компьютерной технологии обработки...
Сравнительная характеристика CDMA систем с неравномерным распределением весовых коэффициентов. Вычисление выигрыша в объеме
Рассматривается современная CDMA-технология, анализируются ее основные характеристики, выявляются положительные и отрицательные стороны данной технологии. Предлагается принципиально новый метод кодового разделения канала...