Industrial information integration engineering (IIIE) is a set of foundational concepts and
techniques that facilitate the industrial information integration process. In recent years, many …

In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

In recent years, there has been a notable surge in attention towards hardware security,
driven by the increasing complexity and integration of processors, SoCs, and third-party IPs …

We present an automatic proof-producing translator targeting the hardware description
language Verilog. The tool takes a circuit represented as a HOL function as input, translates …

Property-driven hardware verification provides a promising way to uncover design
vulnerabilities. However, developing security properties that check for highly concealed …

With the globalization of semiconductor industry, hardware security issues have been
gaining increasing attention. Among all hardware security threats, the insertion of hardware …

Digital hardware lies in the heart of systems deployed in finance, medical care, basic
infrastructure and national defense systems. However, due to the lack of effective security …

The increasing complexity of modern processor and IP designs presents significant
challenges in identifying and mitigating hardware flaws early in the IC design cycle …

This paper introduces a streamlined Verilog-to-Verilog-A (V2Va) translation tool that
automates the conversion of Verilog designs into Verilog-A, enabling concurrent simulation …

The trustworthiness of integrated circuits is susceptible to the hardware Trojans in the third-
party intellectual property (IP) cores. Various hardware Trojan detection approaches have …