2026-07-15
1 items 46 entities 56 connections
Processed 46 entities and 56 relations.
ENCARSIA DifuzzRTL ProcessorFuzz Cascade RFUZZ TheHuzz DirectFuzz MorFuzz Yosys JasperGold EnCorpus Hardware Fuzzing Bug Injection Signal Mix-ups Broken Conditionals Multiplexer Tree Intermediate Representation RTL Formal Verification Miter Circuit Coverage Metric Control Register Coverage Multiplexer Select Coverage ISA Simulator SystemVerilog Assertions Assume-Guarantee Reasoning Seed Programs Hardware Description Language RTLIL Instruction Set Architecture RISC-V Design Under Test Netlist Transformation Pull Request Instruction Mutation Ibex CVA6 Rocket BOOM Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection Matej Bölcskei Flavien Solt Katharina Ceesay-Seitz Kaveh Razavi ETH Zurich HACK@DAC Competition