There is a newer version of this record available.

Software Open Access

ymherklotz/vericert: Vericert v1.2.1

Yann Herklotz; James D. Pollard; Nadesh Ramanathan; John Wickerson

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Files (1.4 MB)
Name Size
ymherklotz/vericert-v1.2.1.zip
md5:5c30f4f0dfcfb3662c4d00ba1f946a44
1.4 MB Download
175
23
views
downloads
All versions This version
Views 17577
Downloads 230
Data volume 45.3 MB0 Bytes
Unique views 14567
Unique downloads 200

Share

Cite as