blooz
Advanced Member level 2
h**p://covered.sourceforge.net/
Covered currently supports Verilog-1995, Verilog-2001 (with the exception of config blocks currently), and some SystemVerilog constructs. Metrics that are generated include the following:
Line coverage
Toggle coverage
Memory coverage
Combinational logic coverage
FSM state and state-transition coverage
Assertion (functional) coverage
user guide
h**p://covered.sourceforge.net/user/index.html
Compiling for Icarus Verilog
h**p://covered.sourceforge.net/user/chapter.start.html
Covered currently supports Verilog-1995, Verilog-2001 (with the exception of config blocks currently), and some SystemVerilog constructs. Metrics that are generated include the following:
Line coverage
Toggle coverage
Memory coverage
Combinational logic coverage
FSM state and state-transition coverage
Assertion (functional) coverage
user guide
h**p://covered.sourceforge.net/user/index.html
Compiling for Icarus Verilog
h**p://covered.sourceforge.net/user/chapter.start.html
