Skip to content
STIMSMITH

Advanced Verification Suite for RISC-V Cores

Paper
First seen 6/8/2026
Last seen 6/8/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

11 connections
cv32e40p evaluates → 2e
The paper evaluates the cv32e40p RISC-V core as a case study.
Merve Eyüboğlu authored by → 1e
The paper is authored by Merve Eyüboğlu.
Ibrahim Mouamar Ali Ahmed authored by → 1e
The paper is authored by Ibrahim Mouamar Ali Ahmed.
Melike Atay Karabalkan authored by → 1e
The paper is authored by Melike Atay Karabalkan.
Berna Ors authored by → 1e
The paper is authored by Berna Ors.
ElectraIC authored by → 1e
The paper is affiliated with ElectraIC.
Istanbul Technical University authored by → 1e
The paper is affiliated with Istanbul Technical University.
ElectraIC Advanced Verification Suite (EAVS) introduces → 1e
The paper introduces the ElectraIC Advanced Verification Suite (EAVS).
force-riscv compares with → 1e
The paper mentions and compares Force-riscv as a related instruction generator.
Murat Tökez authored by → 1e
The paper is authored by Murat Tökez.
Google riscv-dv compares with → 1e
The paper mentions and compares Google riscv-dv as a related instruction generator.