Chương trình theo covered.sf.net

Được bảo hiểm là một tiện ích bảo hiểm mã Verilog bằng cách sử dụng VCD/LXT/FST dumpfiles (hoặc giao diện VPI) và thiết kế để tạo ra dòng, chuyển đổi, bộ nhớ, logic kết hợp, FSM nhà nước/vòng cung và khẳng định bảo hiểm báo c