NGI Navigator (Prototype)

Libre-SOC Formal Verification Framework

Open Source

A software framework for generating and running mathematical unit tests to formally verify the correctness of open hardware System-on-Chip designs.

🌐 Website libre-riscv.org/nlnet_2019_formal 📦 Source Code git.libre-soc.org/

Product Information

Categories
Software & Cryptography Hardware & Manufacturing

Linked NGI Projects

This product was created or improved through NGI-funded projects

Libre-SOC Formal Correctness Proofs ngi zero pet

Mathematical unit tests for open hardware System-on-Chip

Often Used Together

Products commonly used alongside Libre-SOC Formal Verification Framework

dist-mech-learn OSS desec-ns OSS Rosenpass OSS Structured Email for Roundcube OSS aalt OSS Science Checker OSS

Similar Products

Other products in related categories

Betrusted Storage

Plausibly deniable encrypted storage software

OSS inactive
TrenchBoot

A unified framework for implementing Dynamic Root of Trust for Measurement (DRTM) on AMD processors,...

OSS maintained
Edalize

A tool for building and managing Electronic Design Automation (EDA) tool flows, particularly for ASI...

OSS active
lpnTPM

TPM 2.0 compliant open hardware Trusted Platform Module

OSS active

Community Discussion 3 comments

TH
Thomas Hansen 3 days ago

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent commodo cursus magna, vel scelerisque nisl consectetur et.

LM
Laura Martin 1 week ago

Nullam quis risus eget urna mollis ornare vel eu leo. Cras mattis consectetur purus sit amet fermentum.

PG
Paolo Gianetti 2 weeks ago

Maecenas sed diam eget risus varius blandit sit amet non magna. Integer posuere erat a ante venenatis dapibus posuere velit aliquet.

Discovery info: llm_confidence=high; The project focuses on developing a formal verification toolset (mathematical unit tests) for hardware, which is a concrete software product used in the design and testing process, as indicated by the source repository and project description. Last checked: 2026-02-10