Decompilers, one of the widely used security tools, transform low-level binary programs
back into their high-level source representations, such as C/C++. While state-of-the-art …

Modern application-specific System-on-Chip designs include a variety of accelerator blocks
that customize microcontrollers with domain-specific instruction sets and optimized …

By using high-level synthesis tools, electronic system level design provides a promising
solution to fill the growing design productivity gap of high quality hardware systems …

Register Transfer Level (RTL) design validation is a crucial stage in the hardware design
process. We present a new approach to enhancing RTL design validation using available …

Behavioral synthesis entails application of a sequence of transformations to compile a high-
level description of a hardware design (eg, in C/C++/SystemC) into a register-transfer level …

Recently virtual platforms and virtual prototyping techniques have been widely applied for
accelerating software development in electronics companies. It has been proved that these …

In this paper, we present an efficient formal approach to check the equivalence of
synthesized Register Transfer Level (RTL) against the high level specification in the …

Agile hardware design enables designers to produce new design iterations efficiently.
Equivalence checking is critical in ensuring that a new design iteration conforms to its …

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

The ever-growing complexity of software and its target hardware makes it increasingly
challenging to develop reliable compilers that preserve the semantics of source code during …