Chiffre

Tool

Chiffre is a hardware instrumentation tool referenced in Logic Fuzzer work as a way to automatically instrument Chisel-based hardware designs. It leverages FIRRTL compiler passes to traverse and transform circuit IR, and was used in a proof-of-concept flow to insert Logic Fuzzer congestors into the BOOM core by annotating RTL signals.

First seen 5/27/2026

Last seen 6/6/2026

Evidence 4 chunks

Wiki v1

WIKI

Overview

Chiffre is a hardware instrumentation tool by Eldridge et al. It is described in the Logic Fuzzer implementation context as a tool that can automatically instrument hardware systems written in Chisel by leveraging FIRRTL compiler infrastructure for intermediate-representation traversal and transformation.

Role in Logic Fuzzer integration

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections

Logic Fuzzer ← uses 95% 2e

Logic Fuzzer uses Chiffre for automatic congestor insertion into RTL.

Towards Reliable and Secure RISC-V Systems: Survey of Testability and Security Mechanisms ← evaluates 90% 2e

The paper discusses Chiffre as an FPGA-based fault injection platform.

FPGA-Based Fault Injection implements → 95% 2e

Chiffre implements FPGA-based real-time fault injection into RISC-V cores.

FIRRTL uses → 100% 1e

Chiffre leverages FIRRTL compiler for traversal and transformation of circuit IR.

Chisel uses → 100% 1e

Chiffre automatically instruments hardware systems written in Chisel.

LINKED ENTITIES

3 links

Logic Fuzzer USES Extracted graph relationship

FIRRTL USES Extracted graph relationship

Chisel USES Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] Chiffre is described as a tool by Eldridge et al. that automatically instruments hardware systems written in Chisel. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[2] Chiffre leverages the FIRRTL compiler to traverse and transform the intermediate representation of a digital circuit using passes. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[3] In the Logic Fuzzer proof-of-concept, Chiffre enabled automatic insertion of congestors into the BOOM core by annotating RTL signals, then breaking the annotated signal and inserting the congestor in between. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[4] The cited experiment was limited to the BOOM core because Chiffre could only work with hardware descriptions written in Chisel. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...