|
Covered - Verilog code coverage analysis utility.Updated by trevorwon Friday, May 30th 2008.
Covered is a Verilog code-coverage utility used for Design Verification which is capable of performing line, toggle, memory, combinational logic, finite state machine (FSM) and assertion coverage analysis. Verilog source files are parsed along with VCD/LXT dumpfiles (or can be run as VPI module in the simulator) to create Coverage Description Database (CDD) files which can be merged with other CDD files generated from the same design and/or have reports generated from them through the use of the merge and report commands, respectively.
Licence : GPL
Version : 0.6.1 [Stable] 20080530 [Development]
Release Notes : Major performance improvements to score command which now runs 2-3x faster than the previous development release. Other bug fixes included.
Platforms : Independent
Requirements : gperf, bison, flex, gcc, GNU make, Tcl/Tk
|