force-riscv

Tool

force-riscv is an OpenHW Group GitHub repository described as an “Instruction Set Generator initially contributed by Futurewei.” The repository is public and is not marked as a fork in the provided GitHub metadata.

First seen 5/25/2026

Last seen 7/19/2026

Evidence 9 chunks

Wiki v1

WIKI

force-riscv

Overview

force-riscv is a tool repository hosted on GitHub under openhwgroup/force-riscv. GitHub metadata describes the project as an “Instruction Set Generator initially contributed by Futurewei.”

READ FULL ARTICLE →

NEIGHBORHOOD

3 nodes · 3 edges

graph · force-riscv · depth=1

RELATIONSHIPS

13 connections

DeepVerifier ← uses 100% 2e

DeepVerifier uses FORCE-RISCV as the instruction stream generator to produce initial test sequences.

Futurewei ← introduces 97% 2e

force-riscv was initially contributed by Futurewei, indicating Futurewei introduced the tool.

DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification ← uses 100% 2e

The paper uses FORCE-RISCV as the random instruction stream generator for producing test sequences.

Single instruction isolation for RISC-V vector test failures ← mentions 95% 2e

The paper mentions FORCE-RISCV as a related ISG tool.

Instruction Stream Generator implements → 100% 2e

FORCE-RISCV is an implementation of an instruction stream generator for RISC-V designs.

RV32GC uses → 1e

Force-riscv supports all instructions of the RV32GC ISA.

Advanced Verification Suite for RISC-V Cores ← compares with 1e

The paper mentions and compares Force-riscv as a related instruction generator.

Instruction Set Generator implements → 98% 1e

force-riscv is described as an Instruction Set Generator, meaning it implements that concept.

openhwgroup ← uses 100% 1e

FORCE-RISCV is maintained by the OpenHW Group.

RISC-V ISA targets ISA → 100% 1e

FORCE-RISCV is an instruction stream generator that adheres to the RISC-V ISA specifications.

Instruction Set Generator (ISG) implements → 1e

Force-riscv implements the Instruction Set Generator concept.

openhwgroup published by → 1e

Force-riscv is published by the OpenHW Group.

RISC-V ISA uses → 1e

Force-riscv targets the RISC-V ISA.

LINKED ENTITIES

2 links

openhwgroup repository_owner The GitHub metadata identifies the repository as openhwgroup/force-riscv and includes octolytics repository owner fields for openhwgroup.

Futurewei initial_contributor The repository description states that the Instruction Set Generator was initially contributed by Futurewei.

CITATIONS

4 sources

4 citations — click to collapse

[1] force-riscv is described as an “Instruction Set Generator initially contributed by Futurewei.” openhwgroup/force-riscv

[2] The repository is identified as openhwgroup/force-riscv. openhwgroup/force-riscv

[3] The repository has a Git import URL of https://github.com/openhwgroup/force-riscv.git. openhwgroup/force-riscv

[4] The GitHub metadata marks the repository as public and not a fork. openhwgroup/force-riscv