Covered Screenshots
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.
assert_src

Syntax highlighted OVL assertion module viewer.

assert_window

Detailed assertion coverage window.

comb_complex

Detailed combinational logic coverage viewer.

line_excl

Example view of line coverage viewer with exclusion feature.

main_window

Main Covered window before coverage input.

populated_lb

Example of main window with coverage file read.

rank_report

ASCII view of diagnostic ranking report.

rpt_gen_view

ASCII view of coverage report.

screenshot

Full screen view of Covered's coverage analyzer.

file_viewer

View of merged coverage files being analyzed.

er_full

View of exclusion reason window.

fsm_window

Detailed FSM coverage viewer.

banner

Covered's banner.

pref_color

Color preference panel.

pref_exclude

Exclusion reason preference panel.

pref_gen

General options preference panel.

pref_goals

Coverage goals preference panel.

pref_main

Main preference panel.

pref_merge

Coverage merge handling preference panel.

pref_syntax

Syntax highlighting preference panel.

wizard

Wizard (shortcut) window.