dwRchyngqxs/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
CoqGPL-3.0
Watchers
No one’s watching this repository yet.
A formally verified high-level synthesis tool based on CompCert and written in Coq.
CoqGPL-3.0
No one’s watching this repository yet.