Программы ivtest.sf.net

Предоставляет набор тестов GPL'd для проверки языка верилогов. Этот проект связан с усилием компилятора Icarus Verilog в icarus.com, и отчеты о тестировании собираются из этого проекта.