5 projects
magma-lang
An embedded DSL for constructing hardware circuits
fault
A Python package for testing hardware (part of the magma ecosystem)
mantle
The magma standard library
coreir
Python bindings for CoreIR
hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
