Skip to the content
PCBKitNew board

Formal verification

4 boards

KiCad boards from 3 GitHub repositories tagged “formal-verification”, the most starred first; open any of them in PCBKit.

  • 40 × 30 mmUsb sensor, the printed circuit board in 3D

    Usb sensor

    Randozart/briev-lang

    Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).

    17 parts40
  • 4 layers100 × 100 mmGammaSpectrometer, the printed circuit board in 3D

    GammaSpectrometer

    RobertGawron/GammaSpectrometer

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

    326 parts16MIT
  • 2 layers48 × 36 mmFault strapping pin, the printed circuit board in 3D

    Fault strapping pin

    hash066/siliconsmith

    Agents that design hardware, and prove it. Prompt-first workstation (Matter, Board, Silicon) on Nemotron + Nebius Token Factory and Sandboxes. Open-source pip package, CLI and MCP server. Live demo, no sign-up.

    21 partsApache-2.0
  • 4 layersAFE single channel, the printed circuit board in 3D

    AFE single channel

    RobertGawron/GammaSpectrometer

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

    29 parts16MIT