00

Embench Benchmark Suite

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 2 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · Embench Benchmark Suite · depth=1

02

RELATIONSHIPS

1 connections

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← evaluates 100% 1e evidence

The paper uses Embench for performance evaluation