Hardware projects tagged formal-verification

Open hardware projects tagged formal-verification on BoardRepo. View schematics and PCBs in the browser and download the sources.

Projects

1 board

GammaSpectrometer

@robertgawron

Device for quantitative analyze energy spectra of gamma-ray sources. Allows to study what radioactive isotopes in what quantities are present in measured sample.

schematicpcbbomFPGAUSBswitchregulator

MITSep 30, 2026

See all in browse · Browse all hardware projects