โปรแกรมตาม covered.sf.net

ครอบคลุมเป็นยูทิลิตี้ครอบคลุมรหัส Verilog โดยใช้ VCD / LXT / FST dumpfiles (หรืออินเทอร์เฟซ VPI) และการออกแบบเพื่อสร้างบรรทัดสลับหน่วยความจําตรรกะผสมสถานะ FSM / arc และตัวชี้วัดความคุ้มครองการยืนยันสามารถดูได้ผ่านรูปแบบ GUI ห