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/FST 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.
Frozen in time !
Covered may have evolved, disappeared, or gone extinct. Do not assume that the information listed below are fresher than our mammoth friend. 
About Covered0.7.10
Last updated on
sudo apt install coveredSupported platforms
Latest version
0.7.10
- https://prdownloads.sourceforge.net/covered/covered-0.7.10.tar.gz?downloads
Requirements
- gperf
- bison
- flex
- gcc
- GNU make
- Tcl/Tk
License
GPL
Latest version
0.7.10
Total downloads
14.58kAuthor
Trevor WilliamsProject links
Report incorrect information
Trending articles
- Best Linux Distros in 2026 for Desktop, Gaming and Local AI
From everyday laptops to gaming handhelds and local AI workstations, find the Linux distro that fits your hardware and the way you use it.
- 10 best project management software for Linux
Gantt charts, Kanban boards, or a tool you can host yourself? Find the Linux app that will turn you into a project management wizard.
- 10 Best Linux Server Distros in 2026: Which One Should You Choose?
Ubuntu, Debian, Rocky, AlmaLinux, RHEL and more. We compare 10 Linux server distros and explain which ones make the most sense in 2026.
- Best WordPress Plugins in 2026: What You Actually Need
You don't need dozens of WordPress plugins. We pick the best options for SEO, backups, security, speed, forms and more, and explain which ones you can skip.
Recently updated software
- Wine
run Windows programs on Linux
- Gcc
GNU Compiler Collection.
- InvokeAI
creative engine for Stable Diffusion models. Generate and create visual media using the latest AI-driven technologies.
- Linux Kernel
The Linux kernel manages hardware, memory, processes, filesystems, and networking for Linux distributions.
- Krita AI Diffusion
Krita AI Diffusion brings image generation, inpainting, and guided edits into Krita on Linux.
- ComfyUI
build reusable AI image and media workflows.
Featured software
Covered Related software
3D Sierpinski fractal generator
Applications > Scientific3D Sierpinski fractal renderer with several attractor shapes. AutoSignal
Applications > ScientificPerform complex signal analysis with a mouse click - no programming required !. baudline
Applications > ScientificA time frequency browser designed for spectrum analysis data visualization. Chemtool
Applications > ScientificSmall program for drawing chemical structures. DISLIN
Applications > ScientificData Plotting Library. fplot
Applications > ScientificPlotting program that converts directly from ASCII data to postscript. freemed
Applications > ScientificElectronic medical record / practice management system. GAMGI
Applications > ScientificPackage to construct, view and analyse atomic structures.
No comment yet
Be the first to share your thoughts.