Programas por ivtest.sf.net

Proporciona un conjunto de pruebas GPL'd para la verificación del lenguaje de verilog. Este proyecto está afiliado con el esfuerzo del compilador Icarus Verilog en icarus.com, y los informes de prueba se recopilan de ese proy