Heimdall

Coverage-Guided Fuzzer & Bring-Up for ASIC's

A post-silicon verification suite for ASIC's. Heimdall orchestrates bring-up campaigns, drives JTAG and GPIO bench gear directly, and runs coverage-guided fuzzers against silicon.

View on GitHub

Capabilities

Coverage-Guided Fuzzing

Structured codegen with Cranelift plus per-ISA encoders feeds a coverage-aware scheduler that favours seeds exposing novel silicon and golden-model state.

Hardware in the Loop

First-class JTAG, GPIO bitbang, and OpenOCD transports drive real silicon directly. Spike, ngspice, and Dart-RPC back the golden models for sim-vs-silicon divergence checking.

Campaign-Driven

Bring-up, regression, and acceptance campaigns are the unit of work. The daemon owns the job queue, blob store, and a Prometheus-friendly metrics surface for the lab floor.

Library-First

Every workflow ships as a Rust crate. The CLI, daemon, web UI, and TUI are thin consumers of the same library so external tools can plug straight in.