Program menurut covered.sf.net

Tercakup adalah utilitas cakupan kode Verilog menggunakan dumpfiles VCD / LXT / FST (atau antarmuka VPI) dan desain untuk menghasilkan garis, bolak-balik, memori, logika kombinasi, status FSM / busur dan metrik laporan cakupa