The following images are taken from Covered's GUI coverage analyzer running on Mac OS X Snow Leopard. The images are approximations of the actual GUI as their design may change from release to release.
Syntax highlighted OVL assertion module viewer.
Detailed assertion coverage window.
Detailed combinational logic coverage viewer.
Example view of line coverage viewer with exclusion feature.
Main Covered window before coverage input.
Example of main window with coverage file read.
ASCII view of diagnostic ranking report.
ASCII view of coverage report.
Full screen view of Covered's coverage analyzer.
View of merged coverage files being analyzed.
View of exclusion reason window.
Detailed FSM coverage viewer.
Color preference panel.
Exclusion reason preference panel.
General options preference panel.
Coverage goals preference panel.
Main preference panel.
Coverage merge handling preference panel.
Syntax highlighting preference panel.
Wizard (shortcut) window.