Program analysis is a highly active area of research, and the capacity and precision of
software analyzers is improving rapidly. We investigate the use of modern software …

Rule-based hardware-design languages (RHDLs) promise to enhance developer
productivity by offering convenient abstractions. Advanced compiler technology keeps the …

Across the broad research field concerned with the analysis of computational systems,
research endeavors are often categorized by the respective models under investigation …

We present v2c, a tool for translating Verilog to C. The tool accepts synthesizable Verilog as
input and generates a word-level C program as an output, which we call the software netlist …

We describe how system design consistency can be maintained across multiple levels of
design abstraction using a modular verification IP strategy. This strategy involves delivery of …

Ensuring privilege transition integrity during execution context switch is crucial for protecting
the processor from unauthorized access and malicious actions. However, existing methods …

Modern hardware development is increasingly turning to high-level hardware construction
languages to speed up hardware development. CIRCT aims to unify these languages into a …

To accelerate many computational software algorithms, designers are implementing them as
computational circuits. These algorithms are diverse and include molecular dynamics …

The variables of a high-level behaviour are mapped to hardware registers during register
allocation (RA) in high-level synthesis (HLS). Reverse engineering such mapping is a …

This dissertation shows that the bounded property verification of hardware Register Transfer
Level (RTL) designs can be efficiently performed by precise abstract interpretation of a …