Vector-qubit models for SoC logic-structure testing and fault simulation
A new technology for the synthesis and analysis of vector-driven gate-and RTL-logic based
on the test equation metric, which forms the xor-relations between test, function and faults, is …
on the test equation metric, which forms the xor-relations between test, function and faults, is …
Quantum memory-driven computing for test synthesis
Memory-driven computing for the design and test of digital devices is considered. One of the
possible solutions to the problem of design and test theory and methods of quantum memory …
possible solutions to the problem of design and test theory and methods of quantum memory …
Векторні моделі логіки і структури для тестування та моделювання цифрових схем
АНОТАЦІЯ Актуальність. Відомо, що структури даних є визначальними для створення
ефективних паралельних алгоритмів і високопродуктивних обчислювальних пристроїв …
ефективних паралельних алгоритмів і високопродуктивних обчислювальних пристроїв …
Quantum sequencer for the minimal test synthesis of black-box functionality
V Hahanov, I Iemelianov… - 2017 IEEE East …, 2017 - ieeexplore.ieee.org
Quantum memory-driven computing on the classical computers for design and test of black-
box functionality is considered. A method for synthesis and minimization test for the black …
box functionality is considered. A method for synthesis and minimization test for the black …
A model for concurrent states and its coverage criteria
H Kojima, J Takahashi, T Ohta… - 2009 International …, 2009 - ieeexplore.ieee.org
Recently, the embedded software, which is implemented in high definition TVs, recorders
and cellar phones and so on, are complicated. There are several reasons. One of the …
and cellar phones and so on, are complicated. There are several reasons. One of the …
Non-enumerative path delay fault diagnosis [logic testing]
S Padmanaban, S Tragoudas - 2003 Design, Automation and …, 2003 - ieeexplore.ieee.org
The first non-enumerative framework for diagnosing path delay faults using zero suppressed
binary decision diagrams is introduced. We show that fault free path delay faults with a …
binary decision diagrams is introduced. We show that fault free path delay faults with a …
Квантовый метод синтеза тестов на основе кубитных структур данных
ВИ Хаханов, ИВ Емельянов… - Електронне …, 2018 - irbis-nbuv.gov.ua
Предложено одно из возможных решений проблемы создания и апробирования на
класr сических компьютерах теории и методов квантовых вычислений на памяти (без …
класr сических компьютерах теории и методов квантовых вычислений на памяти (без …
Моделі і методи кіберфізічного комп'ютингу для моніторингу та управління соціальними процесами
ТІ Соклакова - 2018 - openarchive.nure.ua
Анотація Мета дослідження–розробка архітектур кіберфізичного комп'ютингу, що
використовує кубітні логічні моделі і методи аналізу великих даних, отриманих шляхом …
використовує кубітні логічні моделі і методи аналізу великих даних, отриманих шляхом …
Квантові моделі та методи аналізу логічних х-функцій
ММ Любарський - 2018 - openarchive.nure.ua
Мета дослідження–зменшення часу верифікації цифрових систем на кристалах
шляхом використання memory-driven архітектур і кубітних структур даних для …
шляхом використання memory-driven архітектур і кубітних структур даних для …
[PDF][PDF] ХМАРНИЙ СЕРВІС-КОМП'ЮТИНГ ДЛЯ ТЕСТУВАННЯ І МОДЕЛЮВАННЯ SOC-КОМПОНЕНТІВ
ВІ Хаханов - 2017 - nure.ua
МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ ХАРКІВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕР Page 1
МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ ХАРКІВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ …
МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ ХАРКІВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ …