Programy według covered.sf.net

Objęte jest narzędzie pokrycia kodu Verilog za pomocą VCD / LXT / FST dumpfiles (lub interfejs VPI) i projekt do generowania linii, przełącznik, pamięci, logiki kombinowanej, stan FSM / łuk i pokrycie aspojednania raport metr