Atur cara mengikut covered.sf.net

Dilindungi adalah utiliti liputan kod Verilog menggunakan VCD/LXT/FST dumpfiles (atau antara muka VPI) dan reka bentuk untuk menjana talian, togol, ingatan, logik gabungan, FSM state/arc dan laporan liputan penentuan metrik y