The framework evaluation consists of two artifacts comparing RISCover to Cascade, two artifacts for our sequence generation, and one for measuring overhead.
Each of these directories contains a README.md file outlining how the artifact can be evaluated.
rediscovering_bugs: Comparison to RTL Fuzzer Cascade (Section 5.4) & Weighted Sequence Generation Evaluation (Section 5.5)weights_generation: Weights Generation (Section 4.3.1)overhead_eval: Core Utilization & Framework Overhead (Section 5.1.1, Figure 4)