Can I run automated regression tests?

Yes, the skill provides commands to use the 'timeout' utility, allowing you to run quick regression tests that verify the simulator can reach a stable state within a set period.

Which benchmarks are supported for baremetal testing?

The skill includes specific commands for running the Dhrystone and CoreMark benchmarks in a baremetal environment.

How does it verify MMU functionality?

It uses the Linux kernel boot process to test complex virtual-to-physical address translations and long-running stability.

What type of simulators does this skill support?

This skill is tailored for the riscv-axi-sim project, which focuses on single-cycle RV32 simulators with AXI interfaces.

RISC-V Simulator Verification

Name: RISC-V Simulator Verification
Author: dyh1807

bydyh1807

0•

セキュリティとテスト

Verifies RISC-V simulator correctness by executing Linux kernel boot sequences and standard baremetal benchmarks.

The verify-simulator skill streamlines the validation of RISC-V simulators—specifically the RV32 AXI-based implementation—by providing standardized commands for complex test scenarios. It enables developers to confirm MMU functionality through Linux kernel booting and validate CPU core logic using industry-standard benchmarks like CoreMark and Dhrystone. By facilitating automated regression tests with timeout parameters, it ensures simulator stability and architectural accuracy throughout the hardware development lifecycle.

主な機能

010 GitHub stars

02Dhrystone benchmark integration for core logic verification

03Linux kernel boot validation for MMU and address translation testing

04Pre-configured CoreMark benchmark execution for performance metrics

05Automated regression testing support using timeout-based execution

06Standardized command syntax for baremetal and kernel-level simulations

ユースケース

01Validating virtual memory support and complex CPU state transitions

02Performing quick regression runs to ensure code changes haven't broken simulator logic

03Benchmarking the performance of a custom RISC-V core implementation

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add dyh1807/riscv-axi-sim verify-simulator

For use in Claude.ai and ChatGPT

Download Skill