440Forums.com  |  MacMusic.org  |  PcMusic.org  |  Zicos.com  |  AudioLexic.org
and   {key13}


Covered 20080415 (Development branch)

FreshMeat

Wednesday April 16, 2008. 11:44 AM
FreshMeat

Covered is a Verilog code coverage utility that reads in a Verilog design and a generated VCD/LXT dumpfile from that design and generates a coverage file that can be merged with other coverage files or used to create a coverage report. Covered also contains the GUI coverage report utility that reads in a coverage file to allow interactive coverage discovery. Areas of coverage measured by Covered are: line, toggle, memory, combinational logic, FSM state/state-transition and assertion coverage. License: GNU General Public License (GPL) Changes: Code optimizations and GUI enhancements were done. Memory leaks were fixed.
Covered Verilog code coverage utility thatreads Verilog design generated VCD/LXT Covered 20080415 (Development branch)
Covered 20080415 (Development branch) Read more at FreshMeat
www.pheedo.com/click.phdo?i=37862f3b763b43df3fe6e5b6ab197e2d

 

 Related News 

Search

Download Zicos
Fri May 16, 01:40 PM
and   {key13}