Covered Report Viewer User Manual - Coverage File Viewer

< Prev Table of Contents Next >

# Main Window - The Coverage File Viewer

Figure 1 shows the area of the main window where the coverage file viewer window is located.

Figure 1. Covered Main Window Highlighting the Coverage File Viewer

The coverage file viewer shows the currently selected module (indicated in the information bar) Verilog source. The coverage file viewer provides a read-only view of the original source code so all editing of the file must be done in a separate editor. Each source code line in the viewer window is numbered to the left of the line to aid in debugging and finding the lines in an editor.

Depending on the coverage metric currently selected in the coverage metric bar and the covered/uncovered/race condition selections in the report menu, the lines that are found to be uncovered, covered, and/or considered a race condition are highlighted in their respective color schemes in the coverage file viewer window. Using the scrollbars to the right and below the coverage file viewer, the user can find the missed/hit lines quickly for further analysis.

The coverage file viewer is the place where the user can invoke the toggle, combinational logic, FSM and/or assertion detail windows. To view one of these windows, do the following:

1. Select either the "Toggle", "Logic", "FSM" or "Assert" coverage metric radio button in the Coverage Type Bar.
2. Select a module/instance that contains uncovered code in the Module/Instance Listbox.
3. In the coverage file viewer, find code that is highlighted as being uncovered.
4. Left click on the uncovered piece of logic. Doing so will automatically bring up either the Toggle Coverage Detail Window, the Combinational Logic Detail Window, the FSM State/State Transition Detail Window or the Assertion Coverage Detail Window.

Additionally, the logical blocks that have been disregarded by Covered due to a potential race condition existing are highlighted. By placing the cursor over one of these logical blocks, the reason for why the logical block was disregarded is output in the information bar.

To view a new module/instance, simply left click on one in the Module/Instance Listbox. The source code for the selected module/instance will be immediately loaded into the coverage file viewer in the currently selected coverage metric.

To view a new coverage metric, simply left click on one of the coverage metrics in the Coverage Type Bar. The currently selected module/instance will be immediately updated in the coverage file viewer, highlighting the uncovered/covered code for the current metric.

## Searching for an Uncovered Line

To find the next or previous line containing uncovered logic for the current metric mode, click the "<--" (Previous) or "-->" (Next) buttons. Doing so will cause the next or previous uncovered line to be visible in the Coverage File Viewer. Clicking these buttons has the same effect as the "Next Uncovered" or "Previous Uncovered" menu items in the View Menu.

## Searching for a String

The Coverage Viewer contains a "Find:" button, an entry field, and a "Clear" button for performing text searches in the Coverage File Viewer. The user may type in any string (wildcards and pattern matching is not supported) in the entry field. Hitting the "return" key or the "Find:" button will cause the string search to commence.

If a match to the search value is found, it is made visible in the Coverage File Viewer and highlighted. The user may search on the value again by clicking the "Find:" button. To clear the current value in the entry field, click on the "Clear" button. If a match occurs, the specified value in the entry field will remain until either a new value is entered or the "Clear" button is clicked. If a match was not found for the given string, a message window will pop-up specifying that the given string was not found. Clicking the "OK" button will cause this message window to close and the entry field will automatically be cleared.