Efficient hardware verification using machine learning approach
The current hardware verification techniques make use of pseudo-random number
generators to induce test inputs. However, the randomization of some inputs can lead to an …
generators to induce test inputs. However, the randomization of some inputs can lead to an …
Hybrid Optimized Verification Methodology using Deep Reinforcement Neural Network
N Bhuvaneswary, J Deny… - Journal of Intelligent & …, 2023 - content.iospress.com
Abstract Universal Verification Methodology (UVM) caters to an essential role in verifying the
different categories of circuits ranging from small-scale chips to complex system-on-chip …
different categories of circuits ranging from small-scale chips to complex system-on-chip …
The basics of digital system designs simulation for hardware/software joint debugging
A Ivannikov, A Stempkovskiy - 2021 International Seminar on …, 2021 - ieeexplore.ieee.org
Based on the analysis of the features of modern digital systems, the structure of a system for
joint hardware/software simulation on functional-logic level are described. The purpose of …
joint hardware/software simulation on functional-logic level are described. The purpose of …
Digital Systems Functions Set Defining to Select Design Debugging Tests
A Ivannikov, B Pozdneev - 2019 International Russian …, 2019 - ieeexplore.ieee.org
Digital control systems are considered, the functioning of which can be represented as a
sequence of functions from a finite alphabet. For such systems projects debugging by …
sequence of functions from a finite alphabet. For such systems projects debugging by …
Different Approaches to Digital System Debugging
A Ivannikov - 2022 Moscow Workshop on Electronic and …, 2022 - ieeexplore.ieee.org
In digital system design, it is necessary to check the infallibility of the design and to eliminate
errors, if any. This process is called design debugging. It requires a debugging object …
errors, if any. This process is called design debugging. It requires a debugging object …
Формальная спецификация и формирование тестовых примеров для отладки проектов специализированных цифровых систем
АК Скуратов - Славянский форум, 2021 - elibrary.ru
Рассмотрены вопросы составления функциональной спецификации на проектируемую
цифровую специализированную систему с целью последующего формирования …
цифровую специализированную систему с целью последующего формирования …
Test Set Generation for Computer Simulation Design Debugging of Control Digital Systems with Finite Alphabet of Functions
A Ivannikov - 2020 International Conference on Industrial …, 2020 - ieeexplore.ieee.org
Design debugging is a very complex part of the control digital system in the design process.
Revealing and correcting the mistakes is shortly described on the manufactured or …
Revealing and correcting the mistakes is shortly described on the manufactured or …