MiBench

Tool

First seen 6/8/2026

Last seen 6/13/2026

Evidence 6 chunks

NEIGHBORHOOD

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

2 connections

Genesys ← compares with 100% 2e

Genesys is compared against MiBench benchmarks for state-space coverage.

UCAM-CL-TR-984 ← uses 100% 1e

MiBench benchmarks are used to evaluate performance of the CHERI processor implementations.