M morpheus 21 years ago Follow post Save Hide Report Hello, Does anyone know of any freeware formal verification tool for verilog. Thanks MORPHEUS