Libre-SOC Formal Correctness Proofs

Mathematical unit tests for open hardware System-on-Chip

ProjectID

LibreSoC-Proofs

Acronym

LibreSoC-Proofs

Additional Info

Resources

Source code

https://git.libre-soc.org/

Wikipedia

Wikipedia

https://en.wikipedia.org/wiki/Libre-SOC

Enduser Relevance

When you go to a store to buy a laptop or mobile phone, you may see different brands on the outside but choice in terms of what is inside the box (in particular the most expensive

More

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country: 

NGI Project:  NGI zero pet

Status: Early research demo

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofsTrustworthy hardware and manufacturing