InFormal provides formal verification of digital hardware.
Built on the FNF open netlist standard, it creates a link
between Icarus Verilog, the leading open source Verilog
implementation, and NuSMV, the leading open soure model
checker.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.