Magma

Tool

First seen 6/6/2026

Last seen 6/8/2026

Evidence 3 chunks

NEIGHBORHOOD

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

3 connections

TargetFuzz ← evaluates 95% 1e

TargetFuzz is evaluated using the Magma fuzzing benchmark

The paper implements architectures in the Magma hardware description language.

hwtypes uses → 100% 1e

Magma has first-class support for formal analysis through its associated hwtypes library.