Published July 12, 2021
| Version v1.2.1
Software
Open
ymherklotz/vericert: Vericert v1.2.1
- 1. Imperial College London
Description
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Files
ymherklotz/vericert-v1.2.1.zip
Files
(1.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5c30f4f0dfcfb3662c4d00ba1f946a44
|
1.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ymherklotz/vericert/tree/v1.2.1 (URL)