High-Level Synthesis (HLS) tools provide facilities for the development of specialized hardware accelerators (HWacc). However, the verification stage is still the longest phase in …
AK Rath, D Roy, DH Teja… - … Conference on Smart …, 2020 - ieeexplore.ieee.org
Production testing is a verification process used to measure production line correctness and effi ciency in the development of an embedded product. With high volumes, production …
Model Based System Engineering (MBSE) is recurrently adopted for embedded systems in order to simplify the design and verification activities. Particularly, it enables the modeling of …
W Mo, L Zhao, J Wen - … Workshop on Frontiers of Graphics and …, 2023 - spiedigitallibrary.org
The verification of IP core with image processing algorithm is important for SoC and FPGA application in the field of machine vision. This paper proposes a verification framework with …