ymherklotz / vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.
90Updated 9 months ago

Alternatives and similar repositories for vericert:

Users that are interested in vericert are comparing it to the libraries listed below