High-level synthesis (HLS), which refers to the automatic compilation of software into
hardware, is rapidly gaining popularity. In a world increasingly reliant on application-specific …

A hardware Trojan (HT) is a malicious modification of the design done by a rogue employee
or a malicious foundry to leak secret information, create a backdoor for attackers, alter …

High-level synthesis (HLS) technique translates the behaviors written in high-level
languages like C/C++ into register transfer level (RTL) design. Due to its complexity, proving …

With hardware designs becoming ever more complex, and demand for custom accelerators
ever growing, high-level synthesis (HLS) is increasingly being relied upon. However, HLS is …

针对近年来片上系统(system on chip, SoC) 高级综合验证领域的工作, 首先分析了高级综合验证
的难点, 然后根据应用领域将算法分为3 类: 高级综合前端验证算法, 高级综合调度验证算法和 …

Translation validation is the process of proving that the target code is a correct translation of
the source program being compiled. In this work, we propose a translation validation method …

Software applications often require the transformation of an input source program into a
translated one for optimization. In this process, preserving the semantics across the …

Path‐based equivalence checkers (PBECs) have been successfully applied for verification
of programmes from diverse domains and from various stages of high‐level synthesis. In the …

Path-based equivalence checkers (PBECs) have been successfully applied for verification
of programs from diverse domains and at various stages of high-level synthesis. These …

Software for embedded systems goes through a scheduling phase where it is subjected to
optimizing transformations. In such a scenario, validating the preservation of semantics …