Verilog simulation using defined semantics

ymherklotz / vericert

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

https://vericert.ymhg.org

GNU General Public License v3.0

86 stars 5 forks source link

Closed ymherklotz closed 4 years ago