Covered ist ein Programm, das die Codeabdeckung von Verilog-Dateien prüft. Es erzeugt eine Ausgabe, die mit anderen zu einem Bericht zusammengestellt werden kann. Es kann auch solche Ausgaben einlesen und in der grafischen Oberfläche darstellen. (non)