Verilog development and verification project for HOL4 - View it on GitHub