Libre-SOC Formal Correctness Proofs
Mathematical unit tests for open hardware System-on-Chip
Website
libre-riscv.org/nlnet_2019_formal
Source Code
git.libre-soc.org/
Documentation
symbiyosys.readthedocs.io
NLnet Project Page
nlnet.nl
Project Information
- Project ID
- LibreSoC-Proofs
- Contact
- nlnet.nl/contact/
- NLnet Themes
- Hardware, Software engineering
Related Products
Software or product(s) created or improved through this project
Additional Information
- Resources
- Source code
- https://gitlibre-socorg/
- Wikipedia
- Wikipedia
- https://enwikipedia.org/wiki/Libre-SOC
End-User 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 <p><a href="https://nlnetnl/project/LibreSoC-Proofs">More</a></p>
Community Discussion 3 comments
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation.
Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident.
Sunt in culpa qui officia deserunt mollit anim id est laborum. Sed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium.