How To Install covered on Debian 11
Introduction
In this tutorial we learn how to install covered
on Debian 11.
What is covered
covered is:
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.
There are three methods to install covered
on Debian 11. We can use apt-get
, apt
and aptitude
. In the following sections we will describe each method. You can choose one of them.
Install covered Using apt-get
Update apt database with apt-get
using the following command.
sudo apt-get update
After updating apt database, We can install covered
using apt-get
by running the following command:
sudo apt-get -y install covered
Install covered Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install covered
using apt
by running the following command:
sudo apt -y install covered
Install covered Using aptitude
If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian. Update apt database with aptitude
using the following command.
sudo aptitude update
After updating apt database, We can install covered
using aptitude
by running the following command:
sudo aptitude -y install covered
How To Uninstall covered on Debian 11
To uninstall only the covered
package we can use the following command:
sudo apt-get remove covered
Uninstall covered And Its Dependencies
To uninstall covered
and its dependencies that are no longer needed by Debian 11, we can use the command below:
sudo apt-get -y autoremove covered
Remove covered Configurations and Data
To remove covered
configuration and data from Debian 11 we can use the following command:
sudo apt-get -y purge covered
Remove covered configuration, data, and all of its dependencies
We can use the following command to remove covered
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge covered
Dependencies
covered have the following dependencies:
References
Summary
In this tutorial we learn how to install covered
package on Debian 11 using different package management tools: apt
, apt-get
and aptitude
.