Encarsia

Tool

First seen 7/10/2026

Last seen 7/15/2026

Evidence 26 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

25 connections

Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection ← introduces 100% 3e

The paper introduces ENCARSIA as a framework for automatic bug injection to evaluate CPU fuzzers.

Yosys uses → 100% 3e

ENCARSIA is implemented as a series of netlist transformation passes in the Yosys Open Synthesis Suite.

JasperGold uses → 100% 2e

ENCARSIA uses JasperGold for formal verification of injected bugs.

formal verification uses → 100% 2e

ENCARSIA relies on formal verification to certify that injected bugs are observable and have a functional effect.

assume-guarantee reasoning uses → 100% 2e

ENCARSIA adopts a two-step assume-guarantee approach to guide the formal verification process.

DiFuzzRTL evaluates → 100% 2e

ENCARSIA evaluates DifuzzRTL by measuring its ability to find injected bugs.

bug injection implements → 100% 2e

ENCARSIA implements automatic bug injection into RTL designs.

Broken Conditionals implements → 100% 2e

ENCARSIA implements broken conditional transformations to inject bugs.

RTL uses → 100% 2e

ENCARSIA operates on RTL designs for bug injection.

Pull Request uses → 90% 2e

ENCARSIA's design is based on a survey of pull requests from open-source CPU repositories.

RISC-V uses → 100% 2e

ENCARSIA focuses on RISC-V CPU designs for evaluation.

Instruction Set Architecture mentions → 90% 2e

ENCARSIA's evaluation reveals that fuzzers often do not test the entire ISA.

coverage metric evaluates → 95% 2e

ENCARSIA evaluates whether hardware-specific structural coverage metrics help fuzzers discover bugs.

multiplexer tree uses → 100% 2e

ENCARSIA reproduces broken conditionals by corrupting multiplexer trees in the intermediate representation.

intermediate representation uses → 100% 2e

ENCARSIA transforms the intermediate representation of CPU designs to inject bugs.

EnCorpus introduces → 100% 2e

ENCARSIA generates EnCorpus, a unified corpus of bugs for evaluating hardware fuzzers.

ProcessorFuzz evaluates → 100% 2e

ENCARSIA evaluates ProcessorFuzz by measuring its ability to find injected bugs.

Cascade evaluates → 100% 2e

ENCARSIA evaluates Cascade by measuring its ability to find injected bugs.

Signal Mix-ups implements → 100% 2e

ENCARSIA implements signal mix-up transformations to inject bugs.

SystemVerilog Assertions uses → 100% 1e

ENCARSIA defines bug observations using SystemVerilog Assertions (SVAs).

Design Under Test uses → 90% 1e

ENCARSIA provides miter circuits with original and transformed DUTs.

HiFuzz ← evaluates 90% 1e

HiFuzz is evaluated using the Encarsia benchmark for bug detection.

Netlist Transformation uses → 100% 1e

ENCARSIA is implemented as a series of netlist transformation passes.

EnCorpus ← part of 90% 1e

EnCorpus is a corpus generated by ENCARSIA for evaluating hardware fuzzers.

Miter Circuit uses → 100% 1e

ENCARSIA uses miter circuits to check for architecturally observable differences between original and transformed designs.