vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
86 stars
12 watching
5 forks
Language: Coq
last commit: 4 months ago coqhigh-level-synthesis
A formally verified high-level synthesis tool based on CompCert and written in Coq.