Safecode-SVA-Formalism is a project mainly written in Verilog, based on the MIT license.
Uses SfLib.v from Software Foundations book (www.cis.upenn.edu/~bcpierce/sf/SfLib.html).
Uses CompCert-Toolkit (https://github.com/jtristan/CompCert-Toolkit).