We present RTL-Repair, a semantics-based repair tool for register transfer level circuit
descriptions. Compared to the previous state-of-the-art tool, RTL-Repair generates more …

Domain-specific languages for hardware can significantly enhance designer productivity,
but sometimes at the cost of ease of verification. On the other hand, ISA specification …

We demonstrate a new approach to implementing automated coverage metrics including
line, toggle, and finite state machine coverage. Each metric is implemented through a …

CIRCT, an open-source EDA framework akin to LLVM for software, is a foundation for
various hardware description languages. Despite its crucial role, CIRCT's lack of formal …

The landscape of Verilog toolchains for electronic design automation (EDA) is diverse, and
their reliability is crucial, as errors can lead to significant debugging challenges and delays …

Chisel is an open-source hardware description language embedded in Scala to facilitate
parameterized and reusable digital circuit design. Chisel is becoming increasingly popular …

Agile hardware design techniques take the best of software engineering methods and apply
them to improve hardware design productivity. Agile approaches not only reduce the time to …

The popularity of the Internet of Things and next-generation wireless networks calls for a
greater distribution of small but high-performance and energy-efficient compute devices at …

Many popular applications show resilience to computational errors. Approximate Computing
(AxC) exploits this to reduce their execution time and energy consumption by introducing …

As an embedded library of the Scala programming language that leverages many features
of object-oriented and functional programming, Chisel is a new generation hardware …