Verification of RISC-V Load and Store Instructions using a Custom Cocotb based Testbench

The increasing complexity of modern System-on-Chip designs has introduced significant challenges in pre-silicon verification. The RISC-V Instruction Set Architecture has emerged as a pivotal framework in the modern processor design arsenal, allowing for customization of SoC implementations. This paper presents a systematic approach to simulating and testing the ISA Load/Store instructions using a custom Cocotb-based testbench. The framework developed is extensible to other ISA instructions and can be adapted for verifying different processor designs. The testing results demonstrate the core's ability to handle memory operations correctly, which is crucial for the overall performance of any processor. The success of this project demonstrates the effectiveness of using Python-based verification tools for open-source hardware projects, making them more accessible to a wider range of developers.

Authors

Institutions

Publication Details

Published
2024-11-20
DOI
https://doi.org/10.1109/ciees62939.2024.10811286
Primary Topic
Real-time simulation and control systems
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Verification of RISC-V Load and Store Instructions using a Custom Cocotb based Testbench

İhsan Çiçek, Şennur Güney
Real-time simulation and control systems
article

Verification of RISC-V Load and Store Instructions using a Custom Cocotb based Testbench

İhsan Çiçek, Şennur Güney
article en

Abstract

The increasing complexity of modern System-on-Chip designs has introduced significant challenges in pre-silicon verification. The RISC-V Instruction Set Architecture has emerged as a pivotal framework in the modern processor design arsenal, allowing for customization of SoC implementations. This paper presents a systematic approach to simulating and testing the ISA Load/Store instructions using a custom Cocotb-based testbench. The framework developed is extensible to other ISA instructions and can be adapted for verifying different processor designs. The testing results demonstrate the core's ability to handle memory operations correctly, which is crucial for the overall performance of any processor. The success of this project demonstrates the effectiveness of using Python-based verification tools for open-source hardware projects, making them more accessible to a wider range of developers.

Gebze Technical University (TR)
Affordable and clean energy
Openalex Percentile: Top 70%
Real-time simulation and control systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.