CHIA

Tool

First seen 7/28/2026

Last seen 7/28/2026

Evidence 3 chunks

NEIGHBORHOOD

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

16 connections

spike uses → 99% 2e

CHIA uses Spike as the golden ISA simulator oracle for differential verification throughout the flow.

CHIA uses lockstep cosimulation with Spike to verify random stress programs.

Directed Tests uses → 98% 2e

CHIA runs directed tests — one program per instruction — differentially against Spike.

CHIA uses random stress tests generated by riscv-dv during the stress verification phase.

riscv-dv uses → 98% 2e

CHIA uses riscv-dv to generate random stress test programs for verification.

PPA analysis evaluates → 96% 2e

CHIA synthesizes the BoomTile with and without the extension to measure area/timing PPA cost.

Zicond extension evaluates → 98% 1e

CHIA implemented and verified the Zicond extension on a MegaBOOM core.

Chipyard uses → 92% 1e

CHIA uses Chipyard as the build host for BOOM synthesis and compilation.

The CHIA arXiv paper documents the results of the CHIA flow on three extensions.

CHIA uses an LLM-in-the-loop technique to implement RISC-V ISA extensions in RTL.

cospike uses → 97% 1e

CHIA uses cospike (Spike compiled into the simulator) to check every committed instruction.

BOOM uses → 98% 1e

CHIA implements ISA extensions in the BOOM RISC-V core.

CHIA applies differential verification by running tests against Spike as the oracle.

CHIA checks functional correctness on the full base-ISA regression suite to prevent regressions.

CHIA implemented and verified the Bit-Manipulation extension on a MegaBOOM core.

CHIA implemented and verified the scalar Cryptography extension on a MegaBOOM core.