Debugger LEC

Encounter® Conformal® Debugger Tools
User Guide
Product Version 24.1
May 2024
 2006-2024 Cadence Design Systems, Inc. All rights reserved.
Printed in the United States of America.
Cadence Design Systems, Inc., 2655 Seely Avenue, San Jose, CA 95134, USA
Trademarks: Trademarks and service marks of Cadence Design Systems, Inc. (Cadence) contained in this
document are attributed to Cadence with the appropriate symbol. For queries regarding Cadence’s trademarks,
contact the corporate legal department at the address shown above or call 800.862.4522.
Open SystemC, Open SystemC Initiative, OSCI, SystemC, and SystemC Initiative are trademarks or registered
trademarks of Open SystemC Initiative, Inc. in the United States and other countries and are used with
permission.
All other trademarks are the property of their respective holders.
Restricted Print Permission: This publication is protected by copyright and any unauthorized use of this
publication may violate copyright, trademark, and other laws. Except as specified in this permission statement,
this publication may not be copied, reproduced, modified, published, uploaded, posted, transmitted, or
distributed in any way, without prior written permission from Cadence. This statement grants you permission to
print one (1) hard copy of this publication subject to the following conditions:
1. The publication may be used solely for personal, informational, and noncommercial purposes;
2. The publication may not be modified in any way;
3. Any copy of the publication or portion thereof must include all original copyright, trademark, and other
proprietary notices and this permission statement; and
4. Cadence reserves the right to revoke this authorization at any time, and any such use shall be
discontinued immediately upon written notice from Cadence.
Disclaimer: Information in this publication is subject to change without notice and does not represent a
commitment on the part of Cadence. The information contained herein is the proprietary and confidential
information of Cadence or its licensors, and is supplied subject to, and may be used only by Cadence’s customer
in accordance with, a written agreement between Cadence and its customer. Except as may be explicitly set
forth in such agreement, Cadence does not make, and expressly disclaims, any representations or warranties
as to the completeness, accuracy or usefulness of the information contained in this document. Cadence does
not warrant that use of such information will not infringe any third party rights, nor does Cadence assume any
liability for damages or costs of any kind that may result from use of such information.
Cadence is committed to using respectful language in our code and communications. We are also active in the
removal and/or replacement of inappropriate language from existing content. This product documentation may
however contain material that is no longer considered appropriate but still reflects long-standing industry
terminology. Such content will be addressed at a time when the related software can be updated without end-
user impact.
Restricted Rights: Use, duplication, or disclosure by the Government is subject to restrictions as set forth in
FAR52.227-14 and DFAR252.227-7013 et seq. or its successor.
Debugger Tools User Guide for Conformal Equivalency Checking
Contents
1
Introduction to the Debugging Tools ............................ 1
Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Schematic Viewers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Source Code Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Using the Drag-and-Drop Feature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2
Working in the Schematic Viewers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Mouse Actions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Keyboard Shortcuts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Simplified Schematic Viewing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Printing a Schematic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Print Schematic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Specifying Color Preferences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Color Selection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Color Settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Finding a Schematic Object . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Finding Instance Pins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Traversing Netlists for Schematic Debugging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Making Selections within the Next Level Instance View . . . . . . . . . . . . . . . . . . . . . . . . . 15
Moving Objects in the Schematic Viewer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Tracing Connectivity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Static Information Box . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3
Module Schematics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Module Schematic Viewer Window . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Menu Bar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Toolbar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
May 2024 1 Product Version 24.1

© 1999-2024 All Rights Reserved.
Object Field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Global View Window . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Module Schematics Display . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Selected Object Field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Using the Pop-Up Menu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4
Flattened Schematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Flattened Schematics Viewer Window . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Menu Bar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Toolbar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Object Field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Global View Window . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Flattened Schematics Display . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Selected Object Field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Working with Flattened Schematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Tracing Paths Between Two Points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Analyzing Implication Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Dimming Assertion Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Flattened Schematics Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Schematic Display Option . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Trace Two Points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Prove . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Delete Wire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5
Source Code Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Opening Source Code Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Source Code Manager Window . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Menu Bar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Toolbar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Source Code Display . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Search Bar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Working in the Source Code Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58


Accessing an Editor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Reviewing Navigation History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Source Code Manager Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Color Settings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
A
Symbol Map File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Sample Map File and Dofile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Symbol Map File Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Dofile and Process Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Symmetric Input Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Symmetric Input Symbol Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Non-Symmetric Input Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Non-Symmetric Input Symbol Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Transistor-Related Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Transistor-Related Symbol Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71


1
Introduction to the Debugging Tools
■ Overview on page 2
❑ Schematic Viewers on page 2
❑ Source Code Manager on page 2
■ Using the Drag-and-Drop Feature on page 3

Overview
During the final phase of the Encounter® Conformal® process flow, you can employ a
combination of the integrated diagnosis tools to examine differences.
Schematic Viewers
The schematic viewer gives you flexibility and immediate feedback for debugging and
diagnosis. Error candidates and color-coded for visual accessibility. You can open multiple
Schematic Viewer windows for side-by-side comparisons.
For information on how to open the schematic viewers from different tools, see Chapter 2,
“Working in the Schematic Viewers”.
There are two types of schematic displays: module and flattened.
Module Schematics
The Module Schematics window displays module-based hierarchical schematics, where you
can view an individual module and click to go further inside. For more information, see
Chapter 3, “Module Schematics”.
Flattened Schematics
The Flattened Schematics window displays the fan-in cone of the selected gate or diagnosed
property. It also displays the counterexample of property violations, which is helpful in
visualizing the origin of the violations. The Flattened Schematics window is especially helpful
in diagnosing sequential circuits. For example, a flip-flop could have different values at
different timeframes. The Flattened Schematics window allows you to expand and view the
same sequential elements in one view. For more information, see Chapter 4, “Flattened
Schematics”.
Source Code Manager

The Conformal software provides a generic source code viewer and context-dependent
source code locator. Use the Source Code Manager to investigate HDL (RTL) and modeling
rule violations, investigate FP/MCP exceptions and rule violations, and cross-reference and
examine a schematic, waveform, or gate. You can open multiple Source Code Managers and
multiple editor windows. For more information, see Chapter 5, “Source Code Manager”.

Using the Drag-and-Drop Feature

You can use the drag-and-drop feature between the Schematic viewers and Source Code
Manager. With the Logical Equivalency Checking software, you can also use the drag-and-
drop feature between these tools and the Hierarchical Browser, Diagnosis Manager, and
Mapping Manager.
Use the following procedure to drag-and-drop from one window to another:

1. With the window open, click and hold the middle mouse button over an object.
When you click with the middle button, an ivory text box displays the name of the object.
2. Drag the instance to another window.
As you move the object to the new window, the background of the text box changes to
black if it is in a window where you can drop items.
3. Release the middle mouse button.
❑ If the window is a Schematic viewer, it highlights the selected object.
❑ If the window is the Source Code Manager, it scrolls to and highlights the applicable
line of code.


2
Working in the Schematic Viewers
■ Mouse Actions on page 6

■ Keyboard Shortcuts on page 6
■ Printing a Schematic on page 8
■ Specifying Color Preferences on page 10
■ Finding a Schematic Object on page 13
■ Traversing Netlists for Schematic Debugging on page 14
■ Making Selections within the Next Level Instance View on page 15
■ Moving Objects in the Schematic Viewer on page 17
■ Tracing Connectivity on page 18
■ Static Information Box on page 21

Mouse Actions
With a schematics window active, use the mouse to perform the functions listed below; for
example, select and de-select portions of the schematic.
■ Click on a signal or instance:
De-selects the previous selection and selects another signal or instance.
■ Ctrl-click on multiple signals or instances:
Hold down the Ctrl keyboard button to select multiple objects.
■ Click in an area other than on a signal or instance:
De-selects all. (This action does not de-select drivers and loads.)
■ Click and drag:
Zooms in on the selected area.
■ Right-click:
Displays the pop-up menu.
■ Double-click on a net
Traces the signal drivers. (This action applies only to nets.)
■ Double-click on an instance
Opens the Source Code Manager and scrolls to the applicable line of code.
■ Rest the cursor over an object
Displays an information box that identifies the object by name and lists pertinent details
about the object.
■ Shift-Ctrl-click on a signal or instance:
When you select an object whilst holding down the Shift and Ctrl keyboard buttons, you
can drag the object to another area in the schematic.
Keyboard Shortcuts
The Schematic Viewer features the following “shortcuts”. These shortcut keys are case-
sensitive.
Key Function
+ zoom-in
- zoom-out

Key Function
Z zoom-in
z zoom-out
f zoom to full view
Up-arrow move view up
Down-arrow move view down
Page Up move view up one page
Page Down move view down one page
Left-arrow move view left
Right-arrow move view right
Tab change the color of the selected object
c open the Color Selection window
o open fan-in
r open fan-in to a register
e open fan-in for all instance pins except the selected instance pin
E close fan-in for all instance pins except the selected instance pin
x close fan-in
O open fan-out
R open fan-out to a register
X close fan-out
l last view
q open next level instance view
a close next level instance view
Ctrl-m When over the information box (when the cursor is over the
schematic object), this prints the the information box details to
the transcript window.
Ctrl-q When over the information box (when the cursor is over the
schematic object), this opens a separate window that displays
the information box details.

Simplified Schematic Viewing

By default, the schematics viewer offers hierarchical viewing of the design. The tool also
determines the number of netlists to display in the Schematics Viewer.
For non-hierarchical schematics viewing, enable the simplified schematics viewer using the
Preferences – Simplified Schematics Viewing Options menu item from the main
Conformal window. Using this option, you can also control the maximum number of
instances displayed in the schematics viewer.
Figure 2-1 Simplified Schematics Viewing Options
By default, simplified viewing is disabled. To enable simplified schematic viewing, click on

Simplified Viewing and select one of the following options:
■ Full View: Specifies that you ...
■ Partial View: Specifies that you would like to display only the input and output pins for the
given
To view the configurable keyboard shortcuts, choose Preferences - Shortcut Key Settings
from the schematics viewer.
Printing a Schematic
Print Schematic
Use the Print Display Area form to print the schematic in the display area.

➤ Choose File - Print.
Print Schematic Fields and Options
Design Name Specifies the name of the design. This information

appears in the bottom left corner of the printout.
Designer Specifies the designer name. This information appears
in the bottom left corner of the printout.
Description Specifies a description. This information appears in the
bottom left corner of the printout.
Orientation Specifies the page orientation. Choose Portrait or
Landscape.
Page Size Specifies the page size. Choose a standard page size of
8.5X11 or use the pull-down menu to specify a custom
size.
Print To Specifies the print output destination. If you choose
Printer, type a print command in the appropriate field.
If you choose File, type a filename in the appropriate
field or use the Browse button to locate the appropriate
file through the Print File window.

Specifying Color Preferences
Color Selection
Use the Color Selection form to change the color of an object in the schematic viewer.
➤ Click an object to select it, and choose View - Change Color.
Color Selection Fields and Options
Window Identifies which schematic window was active when you

selected this option.
Object Displays the name of the selected object that will change
color.
Color Selection Displays the color palette. Click a color to apply a new
color to an object.

Changing an Object’s Color to the Next Color on the Palette
To apply the next available color on the palette, you do not have to re-select the object.
Instead, choose View - Next Color. You can do this repeatedly.
Color Settings
Use the Color Settings form to change default color settings.
➤ Choose Preferences – Color Settings.
Note: This form is the same for both the Flattened Schematics and Module Schematics
viewers. However, some object types are not applicable to both windows.
Color Settings Fields and Options
Object Display Style Click the pull-down menu to select an object type.
Line Width Specifies the line width.
Line Style Specifies the line style.
color to an object. The color appears in the Color field.

Reset to Default Color The object type reverts to the default color.
Predefined Color Schemes Specifies the schematics display area color. The default
is Dark Background.

Finding a Schematic Object

Use the Find form to find and highlight an object in the schematic display area.
➤ Click the Find icon.
Fields and Options
Window Identifies which schematic window was active when you

selected this option.
Object Type Use the pull-down menu to select an object type.
Name Field Specifies the object name(s). Type the name or a portion
(below Object Type) of the name with wildcard characters.
Clicking Find will display the results in the list box below
this field. Double-click a gate name to highlight the object
in the schematic display area.
Case Sensitive Specifies that the search is case sensitive.

Finding Instance Pins

To search for an instance pin, select an instance from the Instance tab. All of its instance pins
will be displayed in the Instance Pin tab.
Traversing Netlists for Schematic Debugging

You can drag objects from a complex schematic to a blank schematic window to isolate the
object(s) so you can view the relationship between one point to another. This new feature
helps make netlist debugging easier.
From a hierarchical (module) or flattened schematics window, do the following:

1. Choose File - New Schematics to open a new blank schematic window
2. Use the middle mouse button to drag-and-drop an object from the schematic viewer to
the blank schematic window.
Note: This feature cannot be used for pin or net instance objects.

Making Selections within the Next Level Instance View

In the a Next Level Instance View of the Schematic Viewer, you can now select objects.
For example:
➤ From a module schematic, right-click an object and select Open Next Level Instance
View <ky> q.

This expands the object to the next-level:
You can now select objects (click on a single item, or Ctrl-click for multiple items) within
this view; this view was not possible in previous releases.
Two items selected

within Next Level

Moving Objects in the Schematic Viewer

In the Schematic Viewer, select an object while holding down the Shift and Ctrl keyboard
buttons, then you can drag the object to another area in the schematic.
For example:
1. Hold down the Shift and Ctrl keyboard buttons, and select an object.
2. With the Shift and Ctrl buttons still pressed, drag the object to a new location.

The object is placed in the new location.
Tracing Connectivity
Prior to the current release, you could not trace the connectivity between a driver and load
(input pin to output pin, or input port to output port) and assign it a custom color.
In the schematic viewer, you can now trace the connectivity between these items. This works
for both module and flattened schematics.
To trace the connectivity between driver and loads:

1. Click on a driver (must be a pin or port).
2. Ctrl click on a load (must be a pin or port).
3. Use the t keyboard button.
This opens the Color Selection window.
4. Select a color to use.
This highlights the connectivity between the driver and load using the color selected.

For example, the following traces the connectivity between an input port and an output port
using the color blue:
Input Port
Output Port
This also works with Next-Level Instance views. For example, the following traces the
connectivity between an input pin and an output pin from a Next Level Instance view:

Output pin
Input pin

Static Information Box

When you hover over an object in the schematic viewer, an information box displays. If you
use the Ctrl-q keyboard combination while the information box is displayed, the tool creates
a separate static information box for.


3
Module Schematics
■ Module Schematic Viewer Window on page 24

❑ Menu Bar on page 24
❑ Toolbar on page 27
❑ Object Field on page 29
❑ Global View Window on page 29
❑ Module Schematics Display on page 29
❑ Selected Object Field on page 29
❑ Using the Pop-Up Menu on page 30

Module Schematics
Module Schematic Viewer Window

The following figure shows the Module Schematic viewer for the Conformal Equivalency
Checking software.
Menu Bar
Toolbar
Object Field
Global View
Window
Module
Schematics
Display
Selected
Object
Field
Menu Bar
■ File Menu on page 25
■ View Menu on page 25
■ Trace Menu on page 26
■ Preference Menu on page 26
■ Window Menu on page 27

Module Schematics
File Menu
Options Description
Print Opens the Print Schematic form where you can choose
printer options.
Close Closes the Schematic Viewer.
View Menu
Options Description
Port Name Displays instance/block port names.
Pin Name Displays I/O pin names.
Instance Name Displays instance names.
Net Name Displays net names.
Highlight Cursor Object Highlights objects as you pass the cursor over them.
Zoom In Displays the schematic in greater detail. Each selection
zooms in one level.
Zoom Out Displays more contents of the schematic. Each selection
zooms out one level.
Zoom to Full Window Displays the entire schematic within the display area.
Pan – Left/Right/Up/Down Displays a view to the left of, right of, above, or below the
current schematic view.
Complete View Returns to the original full schematic view.
Change Color Opens the Color Selection form where you can change the
color of the selected object.
Next Color Changes the selected object’s color to the next available
color.

Module Schematics
Options Description
Display Information Box With the cursor over an object, this displays an information
box that identifies the object by name and lists pertinent
details about the object.
To send the details that appear in the information box to the
transcript window, move the mouse over an instance until
the information box displays and press Ctrl-m.
To send the details that appear in the information box to a
new window, move the mouse over an instance until the
information box displays and press Ctrl-q.
Display Primitive Instance Displays primitive instance type names, for example, OR
Type Name and NOT.
Trace Menu
Options Description
Driver Traces all of the possible drivers of a selected instance or
signal and highlight the corresponding instances. The
highlight color for drivers is yellow.
Load Traces all of the possible loads of a selected instance or
signal and highlight the corresponding instances. The
highlight color for loads is red.
Connectivity Traces all of the possible drivers and loads of a selected
instance or signal and highlights connectivity from an
object’s driver to its load. The highlight colors for drivers and
loads are yellow and red.
Preference Menu
Options Description
Color Settings Opens the Color Settings form so you can change default
color and style settings for the schematic objects.

Module Schematics
Options Description
Power Domain (For Low Power only.) By default, the tool highlights
Highlighting objects to show the assigned power domain. Use this
preference to disable the highlighting.
Reset to Default Color Reinstates default color and style settings.
Remove Floating Gates Removes dangling gates produced by closing fan-in and
fan-out cones (Not available in the Multi-Timeframe view).
Show Static Infobox Enables or disables the information box that displays when
moving your mouse pointer over the object. When this is on,
the information box will remain after moving your pointer
away from the object. When off, the information box will
disappear when moving the mouse pointer from the object.
Window Menu
The Windows menu lists all of the active windows for your Conformal session. Click on a
window name to bring it to the front of your screen.
Choose Cascade Window to refresh your desktop and display the main Conformal window
on top with all other open windows in a cascading view to the left of the main window.
Toolbar
Toolbars provide a quick way to access the most commonly used commands. This section
describes the toolbar items, which are available for flattened and module schematics, except
where noted.
Icon Action Description

Last View Click this widget to toggle the display between the
previous location or zoom level and the current location
or zoom level. The equivalent bindkey is l (the letter L).
Zoom In Click this widget to display a smaller area of the
schematic in greater detail. Each click zooms in one
level. The equivalent bindkey is Z (Shift-Z).

Module Schematics

Zoom Out Click this widget to display a larger area of the schematic
in less detail. Each click zooms out one level. The
equivalent bindkey is z.
Zoom to Full Click this widget to display the entire schematic within
the display area. The equivalent bindkey is f.
Tip
If the schematic is large and there are multiple
drivers and loads to a net, you can use the n
bindkey to zoom to next object, and the p
bindkey to zoom to previous object in drive or
load list.
Push View Up Displays the parent level hierarchy. To push the view up to
a higher-level schematic, select an instance in the Module
Schematics window and click this icon, or right-click and
choose Push View Up from the pop-up menu.
Push View Down Displays the lower level hierarchy. To push the view down
to a lower-level schematic, select an instance in the
Module Schematics window and click this icon, or right-
click and choose Push View Down from the pop-up
menu.
Trace Driver Click this widget to highlight the driver in yellow. The
equivalent bindkey is d.
Trace Load Click this widget to highlight the load in red. The
equivalent bindkey is i.
Find Click this widget to open the Find form to specify an

object to highlight in the display area.
New Schematics Click this widget to open a new blank Schematic Viewer
where you can drag objects from a complex schematic to
isolate the object(s) so you can view the relationship
between one point to another.
Note: This feature cannot be used for pins or nets.

Module Schematics
Object Field
The Object field is located under the toolbar. When you scroll over an object, this field
displays the object type, name, and ID number.
Global View Window

The global view window identifies the location of the current view in the schematic display
area, relative to the entire area. The global view is identified by the pink crossbox. When you
display an entire schematic in the area, the crossbox encompasses the global view window.
When you zoom and pan through the schematic in the display area, the crossbox identifies
where you are relative to the entire schematic.
■ To define a new global view, left-click and drag the mouse to create a new crossbox in
the global view window.
■ To pan in the schematic display, right-click and drag the crossbox in the global view
window.
Note: You can also pan the schematic display area by right-clicking and holding the
Shift key in the area and dragging the mouse in any direction.
Module Schematics Display

The schematic display area constitutes the major portion of this window. To change the
default display properties for objects, use the Color Selection and Color Settings forms.
Selected Object Field

The Selected Object field is located near the bottom of the schematics window. When you
select an object, the object type, name, and ID number appear in this field.

Module Schematics
Using the Pop-Up Menu

To access the pop-up menu, right-click over an object in the Module Schematics window. To
select an option, scroll down and highlight the option. The following table describes the
options that are available for the Module Schematics pop-up menu.
Options Description
Fan-in Cone Manipulates schematic views of fan-ins. Select an instance or
block port to run these commands. This submenu has the
following options:
■ Open—Opens the fan-in cone of an object.
■ Open to Register—Opens a fan-in to a register. The
Flattened Schematics window displays the driving logic
from the preceding registers to the point you select.
■ Close—Closes a fan-in cone.
Note: To remove dangling gates, choose Preferences –
Remove Floating Gates.
Fan-out Cone Manipulates schematic views of fan-outs. Select an instance or
following options:
■ Open—Opens the fan-out of an object.
■ Open to Register—Displays the logic from the point you
select to the succeeding registers.
■ Close—Closes a fan-out cone.
Trace Driver Traces all of the possible drivers of a selected instance or signal
and highlight the corresponding instances. The highlight color
for drivers is yellow.
Trace Load Traces all of the possible loads of a selected instance or signal
and highlight the corresponding instances. The highlight color
for loads is red.

Module Schematics
Options Description
Trace Connectivity Traces all of the possible drivers and loads of a selected
instance or signal and highlights connectivity from an object’s
driver to its load. The highlight colors for drivers and loads are
yellow and red.
Last View Returns to the previous view. Right-click over any object in the
schematic viewer and select this option.
Source Code Opens the Source Code Manager in context-dependent mode.
This automatically scrolls to the appropriate position in the
code. The relevant line of code is pinpointed with an aqua
highlight.
Right-click over any object in the schematic viewer and select
this option.
Push View Up Displays the parent level hierarchy. To push the view up to a
higher-level schematic, select an instance in the Module
Schematics window and select this option.
Push View Down Displays the lower level hierarchy. To push the view down to a
lower-level schematic, select an instance in the Module
Open Next Level Display next-level views for instances. Click on an instance to
Instance View select it and right-click on this option.
Close Next Level Closes a next-level instance views. Click on an instance to select
Instance View it and right-click on this option.
Hierarchical Browser Opens the Hierarchical Browser. Click to select an instance or
module in the Module Schematics window, and right-click on
this option.
When you access the Hierarchical Browser from a Module
Schematics window, the tool automatically scrolls and
highlights the appropriate object in the Hierarchical Browser.
The browser pinpoints the relevant object with an aqua
highlight.

Module Schematics
Options Description
Actions This submenu has the following options:
■ Pin Constraints—Adds a pin constraint to a primary input.
Click a primary input pin in the Module Schematics window
to select it, and right-click and choose this option.
❑ Add Constraints 0—0-state
❑ Add Constraints 1—1-state
■ Add Primary Input—Adds a primary input to a net or pin.
Click a net or pin in the Module Schematics window to select
it, and right-click and choose this option.
■ Add Primary Output—Adds a primary output to a net or
pin. Click a net or pin in the Module Schematics window to
select it, and right-click and choose this option.
■ Add Cut Point—Adds a Cut Point to a net or pin. Click a net
or pin in the Module Schematics window to select it, and
right-click and choose this option.
■ Clock—Adds a clock to a primary input. Click a primary
input pin in the Module Schematics window to select it, and
❑ Add Clock 0—the off-state of the clock pin is 0. When
the pin is low, pre-charge occurs
❑ Add Clock 1— the off-state of the clock pin is 1
■ Net Attribute—Adds an attribute to a net. Click a net in the
Module Schematics window to select it, and right-click and
choose this option.
❑ Add Net Attribute VDD—the net has a VDD attribute
❑ Add Net Attribute GND—the net has a GND attribute
❑ Add Net Attribute CLOCK0—the net has a Clock-0
attribute
❑ Add Net Attribute CLOCK1—the net has a Clock-1
attribute
■ Pin Direction—Assigns pin direction to a Module Pin. Click
a pin in the Module Schematics window to select it, and
Module Schematics
Options Description
- In—the assigned pin direction is input
- Out—the assigned pin direction is output
- IO—the assigned pin direction is I/O
■ Mos Direction—Assigns MOS direction to an object. Click
an Object in the Module Schematics window to select it, and
right-click and choose:
❑ Source to Drain—all source pins are inputs
❑ Drain to Source—all drain pins are inputs
■ Instance Attribute—Specifies how to treat an attribute for
a gate or transistor primitive. Attributes can either be WEAK
or deleted from the database for the purposes of a complete
abstraction and comparison.
■ Remove Instance—Deletes a selected instance from the
database.
■ Change Net Type—Modifies the database so that it
appears that the changed net types were declared in the
original Verilog netlist. Choose a net type of TRI0, TRI1,
TRIREG, TRIROR, or TRIAND.
■ Add Tied Signals—Assigns the specified floating nets or
pins to a 0-state or a 1-state in the Golden or Revised
design.
❑ 0—ties the floating nets or pins to a 0-state
❑ 1—ties the floating nets or pins to a 1-state
■ Add Partition Point—Adds partition (cut) points to the
design.

Module Schematics

4
■ Flattened Schematics Viewer Window on page 36

❑ Object Field on page 41
❑ Global View Window on page 41
❑ Flattened Schematics Display on page 42
❑ Selected Object Field on page 42
■ Working with Flattened Schematics on page 43
❑ Tracing Paths Between Two Points on page 45
❑ Analyzing Implication Values on page 46
❑ Dimming Assertion Logic on page 46
■ Flattened Schematics Forms on page 48
❑ Trace Two Points on page 49
❑ Prove on page 50
❑ Delete Wire on page 52

Flattened Schematics Viewer Window

The following figure shows the Flattened Schematic viewer for the Conformal Equivalency
Checking software.
Menu Bar
Toolbar
Object Field
Global View
Window
Flattened
Schematics
Display
Selected
Object
Field
Menu Bar
■ File Menu on page 37
■ View Menu on page 37
■ Trace Menu on page 38

File Menu
Options Description
Print Opens the Print Schematic form where you can choose
printer options.
Close Closes the Schematic Viewer.
View Menu
Options Description
Port Name Displays instance/block port names.
Pin Name Displays I/O pin names.
Instance Name Displays instance names.
Net Name Displays net names.
Highlight Cursor Object Highlights objects as you pass the cursor over them.
Zoom In Displays the schematic in greater detail. Each selection
zooms in one level.
Zoom Out Displays more contents of the schematic. Each selection
zooms out one level.
Zoom to Full Window Displays the entire schematic within the display area.
Pan – Left/Right/Up/Down Displays a view to the left of, right of, above, or below the
current schematic view.
Change Color Opens the Color Selection form where you can change the
color of the selected object.
Next Color Changes the selected object’s color to the next available
color.

Options Description
Display Information Box With the cursor over an object, this displays an information
box that identifies the object by name and lists pertinent
details about the object.
To send the details that appear in the information box to the
transcript window, move the mouse over an instance until
the information box displays and press Ctrl-m.
To send the details that appear in the information box to a
new window, move the mouse over an instance until the
information box displays and press Ctrl-q.
Display Primitive Instance Displays primitive instance type names, for example, OR
Type Name and NOT.
Refresh Refreshes the Schematic Viewer. All unconnected objects
are placed on the lower-right hand side of the schematics
viewer.
Trace Menu
Options Description
Driver Traces all of the possible drivers of a selected instance or
signal and highlights the corresponding instances. The
highlight color for drivers is yellow.
Load Traces all of the possible loads of a selected instance or
signal and highlights the corresponding instances. The
highlight color for loads is red.
Connectivity Traces all of the possible drivers and loads of a selected
instance or signal and highlights connectivity from an
object’s driver to its load. The highlight colors for drivers and
loads are yellow and red.
Two Points Opens the Trace Two Points form to display the path
between two points in the schematic.

Preference Menu
Options Description
Option Opens the Schematic Display Option form where you can
change default viewing options.
Color Settings Opens the Color Settings form so you can change default
color and style settings for the schematic objects.
Reset to Default Color Reinstates default color and style settings.
Remove Floating Gates Removes dangling gates produced by closing fan-in and
fan-out cones (Not available in the Multi-Timeframe view).
Show Module Boundary Inserts module boundary marks. By default, the schematic
viewer does not display module boundary markers.
After you set this preference, the Conformal software retains

this setting for this and successive sessions unless you reset
the preference.
Show Library Level Cells Changes view to display the schematic at the library cell
level. By default, the schematic viewer displays the design at
the primitive level.
After you set this preference, Conformal retains this setting

for this and successive sessions unless you reset the
preference.
Show Power Domain (For Low Power only) Changes the color scheme to
power domain driven to help identify a power domain
boundary.
Show Static Infobox Enables or disables the information box that displays when
moving your mouse pointer over the object. When this is on,
the information box will remain after moving your pointer
away from the object. When off, the information box will
disappear when moving the mouse pointer from the object.

Window Menu
The Windows menu lists all of the active windows for your Conformal session. Click on a
window name to bring it to the front of your screen.
Toolbar
Toolbars provide a quick way to access the most commonly used commands. This section
describes the toolbar items that are available for flattened schematics.

Last View Click this widget to toggle the display between the
previous location or zoom level and the current location
or zoom level. The equivalent bindkey is l (the letter L).
Zoom In Click this widget to display a smaller area of the
schematic in greater detail. Each click zooms in one
level. The equivalent bindkey is Z (Shift-Z).
Zoom Out Click this widget to display a larger area of the schematic
in less detail. Each click zooms out one level. The
equivalent bindkey is z.
Zoom to Full Click this widget to display the entire schematic within
the display area. The equivalent bindkey is f.
Tip
If the schematic is large and there are multiple
drivers and loads to a net, you can use the n
bindkey to zoom to next object, and the p
bindkey to zoom to previous object in drive or
load list.
Push View Down Displays the lower level hierarchy. To push the view down
to a lower-level schematic, select an instance in the
schematic window and click this icon, or right-click and
choose Push View Down from the pop-up menu.


Trace Driver Click this widget to highlight the driver in yellow. The
equivalent bindkey is d.
Trace Load Click this widget to highlight the load in red. The
equivalent bindkey is i.
Find Click this widget to open the Find form to specify an

object to highlight in the display area.
Trace Two Points Click this widget to open the Trace Two Points form to
display the path between two points in the schematic.
Prove Click this widget to open the Prove form to start a

process that shows whether the specified objects are
equivalent or non-equivalent.
HRC Hilite View Click this widget to show how the current flattened
design appears in hierarchical design. The hierarchical
schematics only shows the path of cone which is
currently showing on the flatten schematics, and the path
of cone shown in hierarchical schematics is highlighted
while the others are dimmed out.
New Schematics Click this widget to open a new blank Schematic Viewer
where you can drag objects from a complex schematic to
isolate the object(s) so you can view the relationship
between one point to another.
Note: This feature cannot be used for pins or nets.
Object Field
The Object field is located under the toolbar. When you scroll over an object, this field
displays the object type, name, and ID number.
Global View Window

The global view window identifies the location of the current view in the schematic display
area, relative to the entire area. The global view is identified by the pink crossbox. When you
display an entire schematic in the area, the crossbox encompasses the global view window.

When you zoom and pan through the schematic in the display area, the crossbox identifies
where you are relative to the entire schematic.
■ To define a new global view, left-click and drag the mouse to create a new crossbox in
the global view window.
■ To pan in the schematic display, right-click and drag the crossbox in the global view
window.
Note: You can also pan the schematic display area by right-clicking and holding the
Shift key in the area and dragging the mouse in any direction.
Flattened Schematics Display

The schematic display area constitutes the major portion of this window. To change the
default display properties for objects, use the Color Selection and Color Settings forms.
Selected Object Field

The Selected Object field is located near the bottom of the schematics window. When you
select an object, the object type, name, and ID number appear in this field.

Working with Flattened Schematics

This section describes the various tasks involved in working with the Flattened Schematic
display.

To access the pop-up menu, right-click over an object in the Flattened Schematic display. To
select an option, scroll down and highlight the option.
The following table describes the options that are available for the Flattened Schematics pop-
up menu:
Option Description
Fan-in Cone Manipulates schematic views of fan-ins. Select an instance or
following options:
■ Open—Opens the fan-in cone of an object.
■ Open to Register—Opens a fan-in to a register. The
Flattened Schematics window displays the driving logic
from the preceding registers to the point you select.
■ Open for Controlling Logic—Specifies that schematics
will show only the input cones that contribute to the output
value of a combinational gate. For example, for an AND gate
with output 0, the schematic does not display any input 1. It
displays only the input 0.
■ Open to EQ/Key Points—Opens the fan-in cone to the
next corresponding gates that were proven equivalent
(shown in purple) or mapped key points.
Note: By default, when you open the schematic viewer from
the Diagnosis Manager, it displays the fan-in logic cone of a
diagnosis point.
■ Close—Closes a fan-in cone.

Option Description
Fan-out Cone Manipulates schematic views of fan-outs. Select an instance or
following options:
■ Open—Opens the fan-out of an object.
■ Open to Register—Displays the logic from the point you
select to the succeeding registers.
■ Close—Closes a fan-out cone.
Trace Driver Traces all of the possible drivers of a selected instance or signal
and highlights the corresponding instances. The highlight color
for drivers is yellow.
Trace Load Traces all of the possible loads of a selected instance or signal
and highlights the corresponding instances. The highlight color
for loads is red.
Trace Connectivity Traces all of the possible drivers and loads of a selected
instance or signal and highlights connectivity from an object’s
driver to its load. The highlight colors for drivers and loads are
yellow and red.
Last View Returns to the previous view. Right-click over any object in the
schematic viewer and select this option.
Source Code Opens the Source Code Manager in context-dependent mode.
This automatically scrolls to the appropriate position in the
code. The relevant line of code is pinpointed with an aqua
highlight.
Right-click over any object in the schematic viewer and select
this option.
Push View Down Displays the lower level hierarchy. To push the view down to a
lower-level schematic, select an instance in the Flattened

Option Description
Hierarchical View Opens a new hierarchical schematic window showing the library
cell of the selected gate or keypoint. This submenu has the
following options:
■ Show Hierarchical View—Changes the schematic display
from your current view to a hierarchical view.
■ Show Hierarchical HLite View—Changes the schematic
display from your current view to a hierarchical view, and
highlights the instance that shown in the original flattened
schematic.
Report Gate Opens the Gate Manager showing the selected gate.
Implication Values This is a Conformal Ultra feature.
Analyzes implication values to the design. See Analyzing
Implication Values on page 46..
Tracing Paths Between Two Points

This procedure works for two elements in the same cone of logic. To trace the path between
two selected points.
1. Choose Trace – Two Points to open the Trace Two Points form.
2. Click and hold the middle mouse button over an object in the Flattened Schematics
window.
3. Drag the point from the Flattened Schematics window to the From field of the Trace Two
Points form. Note: You must drag from the same schematics window that was used to
open the Trace Two Points form.
When you click with the middle button, the schematic viewer displays the name of the
instance you clicked in an ivory text box. As you move the instance to the new window,
the background of the text box changes to black if the object is in a window that you can
drop items into.
4. Release the middle mouse button. Repeat the procedure, dragging an object to the To
field of the Trace Two Points window.
5. Click Apply.
6. Click Close.

The Flattened Schematics window displays the selected path.
Analyzing Implication Values

Note: This is a Conformal Ultra feature.
If you assign value(s) on certain gate(s), you can analyze implication values on the design to
show what the necessary values are on other gates to satisfy the assignment. This can also
show if a gate has redundant fanin and if a gate is a constant gate.
The results are displayed in the schematic view with the following colors:
■ Blue: initial assignments
■ Green: current implication values
■ Red: gates on the conflict path
■ Purple: location where conflict occurred
In the schematic view, you can also right click the gate and set a value. Holding the mouse
pointer on a gate, an information box will show if this gate has redundant fanin and if it is a
constant gate. To assign a value, do the following:
➤ Right click on a gate object and choose Implication Values from the pop-up menu and
choose one of the following: For multiple gate objects, use the following.
❑ Set to 0 — highlighted gate is assigned a value of one.
❑ Set to 1 — highlighted gate is assigned a value of zero.
❑ Delete — removes highlighted gate assignments
❑ Expand — increase the logic depth by 5. By default, the implication value
propagates up to 5 logic depth.
❑ Reset—removes all incremental gate assignments.
Dimming Assertion Logic

From a flattened schematics viewer, you can dim logic that is associated with SystemVerilog
Assertions using Preferences - Dim Assertion Logic.

For example, the following illustrates a schematic with assertion logic not dimmed.
Use Preferences - Dim Assertion Logic command to dim assertion logic.

Assertion logic is dimmed:
Flattened Schematics Forms

This section describes the following forms that you can access in the Flattened Schematics
window. The following lists the forms that are common to both Flattened and Module
Schematic windows:
■ Print Schematic
■ Color Selection
■ Color Settings
■ Find form
For information on how to use these forms, see Chapter 2, “Working in the Schematic
Viewers.”

Schematic Display Option

Use the Schematic Display Option form to change default viewing options.
➤ In the Flattened Schematics window, choose Preferences - Option.
Schematic Display Option Fields and Options
Expand Level Specifies viewing level of the fan-in or fan-out cone. The
range is 1-5.
Name Annotation Specifies whether to display the name (the default). You
can change the annotation to ID or none.
Name Annotation Length Specifies the limit of the name annotation length.
Cone Expansion Options If buffers should be collapsed, choose Collapse Buffer.
If inverters should be collapsed, choose Collapse
Inverter.
Trace Two Points

Use the Trace Two Points form to trace the path between two selected points for two elements
in the same cone of logic.

There are two ways to open the Trace Two Points form from the Flattened Schematics
window:
➤ Choose Preferences - Two Points.
➤ Click the Trace Two Points toolbar widget.
From Specifies the object name of the starting point. You can
type this or drag-and-drop the instance into this field.
To Specifies the object name of the ending point. You can
type this or drag-and-drop the instance into this field.
See Tracing Paths Between Two Points on page 45 for more information.
Prove
Use the Prove form to show whether the specified objects are equivalent or non-equivalent.

➤ In the Flattened Schematics window, click the Prove toolbar widget.
Note: You can use the drag-and-drop method in the Prove window.
Object1 Specifies an object as the first prove point. Use the pull-
down menu to choose Golden (the default) to specify
that the first prove point is in the Golden design, or
Revised to specify that the first prove point is in the
Revised design
Object2 Specifies an object as the second prove point. Use the
pull-down menu to choose Golden to specify that the
first prove point is in the Golden design, or Revised (the
default) to specify that the first prove point is in the
Revised design
Invert Proves for inverted equivalence.
No Invert Proves for equivalence.
Both Invert & No Invert Proves for either non inverted or inverted equivalence.
One Proves whether the specified gate is equal to a one
value.
Zero Proves whether the specified gate is equal to a zero
value.

Delete Wire
Use the Delete Wire form to delete a wire on a load gate.
➤ In the Flattened Schematics window, right-click on any object to open the pop-up menu
and choose Wire Changes – Delete Wire.
Delete Wire Fields and Options
Driver Specifies the name of the driver gate. You can type this
or drag-and-drop the instance into this field.
Load Specifies the name of the load gate. You can type this or
drag-and-drop the instance into this field.

5
Source Code Manager
■ Opening Source Code Manager on page 54

■ Source Code Manager Window on page 55
❑ Source Code Display on page 58
■ Working in the Source Code Manager on page 58
❑ Accessing an Editor on page 59
❑ Reviewing Navigation History on page 59
■ Source Code Manager Forms on page 60
❑ Color Settings on page 60

Source Code Manager
Opening Source Code Manager

You can access the Source Code Manager from several Conformal Equivalence Checker
integrated debugging tools. The following table lists the tools from which you can access the
Source Code Manager and the purpose for accessing the Source Code Manager from that
particular tool.
Related Tool Purpose

HDL Rule Manager Investigate HDL (RTL) rule violations.
Modeling Rule Manager Investigate Modeling rule violations.
FP/MCP Exception Manager Investigate FP/MCP exceptions and rule violations.
Schematic Display Cross-reference and examine a schematic.
Waveform Display Cross-reference and examine a specified waveform.
You can also use the drag-and-drop feature to view relevant lines of code in the Source Code
Manager. When you drag an item to the Source Code Manager, the window scrolls to and
highlights the applicable line of code.

Source Code Manager
Source Code Manager Window

The following figure shows an example of the Source Code Viewer for the Conformal
software.
Menu Bar
Toolbar
Source
Code
Display
Search
Bar
Menu Bar
■ Close Button on page 56

Source Code Manager
Close Button
Click this to close the Source Code Manager.
Preference Menu
Options Description
Color Settings Opens the Color Settings form where you can adjust the
default color for highlighted lines, critical paths, drivers, and
loads.
Status Window On Hides or displays the Status Window at the bottom of the
Source Code Manager. This window communicates status
and warning messages related to the Source Code
Manager
Warning Beep On Controls warning beeps.
The Conformal software uses color-coded highlighting during the trace procedure:
■ Green—Object of the trace
■ Yellow—Identifies drivers
■ Pink—Identifies loads
In addition to highlighting the code, the software indicates the line of code for the selected
driver with a triangle (yellow for drivers and red for loads). This is located to the left of the
source code line numbers. The lines of code for other (not selected) drivers and loads are
indicated with a triangle (no fill color). The software also uses color coding to show the relative
location.
Window Menu
The Windows menu lists all of the active windows for your session. Click on a window name
to bring it to the front of your screen.

Source Code Manager
Toolbar
The following icons are located on the Source window toolbar. With the Source window active,
position the cursor over an icon to view its function. Some of the available icons serve as
visually accessible short-cuts to drop-down and pop-up menu options In addition to the icons
displayed below, the toolbar includes fields that indicate the name of the currently selected
item, the navigation history, and the relative location of the currently selected item.
Icon Icon Name Description

Open Opens the Open Source File window where you can
load a design in the Source window.
Edit source file Opens the default text editor. See Accessing an Editor
on page 59 for more information.
Go to previous page Returns to the source code view you previously

viewed.
Go to next page Returns to the page you viewed before clicking the
Previous Page icon.
Up one level Displays the higher-level hierarchy.
Down one level Displays the lower-level hierarchy.
Note: The Up and Down functions are only enabled if a higher or lower level of
hierarchy is reachable from the current position or selected instantiation in the
hierarchy. Alternatively, you can use the hierarchy browser display (in the main
window) to select a level of hierarchy for viewing.
Reset History Clears the history list.

Source Code Manager
Source Code Display

The display area for the design’s source code constitutes the major portion of this window.
Tip
As an alternative to using the vertical scroll bar to scroll through the source code,
you can depress the middle mouse button and drag the cursor up or down.
See Working in the Source Code Manager on page 58 for more information.
Search Bar
Use the search bar to search for a string in the source window.
Find Source Fields and Options
Case Sensitive Specifies whether the search is case sensitive.

Specifies that the direction of the search is forward.
Specifies that the direction of the search is backward.
Working in the Source Code Manager

To access the pop-up menu, double-click on an object in the Source Code Manager to select
it, then right-click to scroll down and highlight the option. The following table describes the
options that are available for the Source Code Manager pop-up menu.
Options Description
Calling Navigates to a module’s instantiation.

Source Code Manager
Options Description
Value Navigates to a module’s instantiation.
Definition Highlights the object definition.
Current Module Top Highlights the top module.
Schematics Opens the Schematic Viewer and displays the schematic of the
selected object.
Accessing an Editor
To access an editor directly from the Source Code Manager, click the Edit source file
button. Conformal invokes an editor according to the following order:
1. VERPLEX_EDITOR environment variable

2. EDITOR environment variable
3. vi (if neither one nor two is set)
To access the editor, Conformal uses the vpxEdit wrapper script, which is located in the
$VERPLEX_HOME_BT/bin directory. If you need to further customize this feature, see the
vpxEdit script. For example, if you intend to use Emacs, the script includes directions for
customizing the window size.
The Conformal software uses a timestamp mechanism when you open a source code
reference. If the file is modified after you read the design in, it generates a warning message
in the editor window. You can open multiple Source Code Manager and multiple editor
windows.
Reviewing Navigation History

The Conformal software records the navigation history in a list accessible from the toolbar.
Use the following procedure to review the list and revisit previous locations. Use the vertical
and horizontal scroll bars to see the entire list, which includes information such as the names
of selected items and their location in the source code.
1. Click the down-arrow adjacent to the history field to view the list.
2. Click a name on the list to view a page you viewed previously.

Source Code Manager
Source Code Manager Forms
Color Settings
Use the Color Settings form to adjust the default color for highlighted lines, critical paths,
drivers, and loads.
➤ Choose Preferences – Color Settings.
Color Settings Fields and Options
Display Style Use the pull-down menu to select an object type.

Color Displays the color for the specified object type.
color to an object. The color appears in the Color field.
Reset to Default Color The object type reverts to the default color.

Source Code Manager

Source Code Manager

A
Symbol Map File
With the schematic viewer, you can define a symbol map file to map a library cell to an existing
schematic symbol. Comment lines begin with (#) and blank lines are skipped. Each library
cell is defined as one module with a list of pin descriptions.
Set the following environment variable to refer to the symbol map file:
setenv VERPLEX_SYMMAP mylib_symmap.vpx
Note: When you use a symbol file with flattened schematics, you must change the default
preferences to Show Library-Level Cells.
■ Syntax on page 64
■ Sample Map File and Dofile on page 65
■ Symmetric Input Symbols on page 66
■ Non-Symmetric Input Symbols on page 67
■ Transistor-Related Symbols on page 69

Symbol Map File
Syntax
The following shows the syntax for modules:
module <library_cell_name> <verplex_symbol_name> <number_of_pins>
library_cell_name The library cell name in user's library.

verplex_symbol_name The schematic symbol name Conformal supports. The name
must be one of the Verplex predefined symbols.
number_of_pins Total number of pins mapped. Must match the total number of
pin lines following the module line.
The following shows the syntax for pins:

pin <library_cell_pin_name> <INPUT | OUTPUT> [verplex_cell_pin_name]
library_cell_pin_name
The pin name that appears in the library cell.
INPUT Defines the pin direction. The INPUT pin is connected to the left
side of the cell.
OUTPUT Defines the pin direction. The OUTPUT pin is connected to the
right side of the cell.
verplex_cell_pin_name
Defines the associated pin name in Conformal symbols. This
field is required for non-symmetric symbols (see below for the
detailed description).

Symbol Map File
Sample Map File and Dofile

The following small sample file maps two library cell names, my_FD3 and my_AN2, to two
Conformal schematic symbol names, DFF and AND. When used in conjunction with the
sample dofile below, Conformal accesses the map file and maps the vendor library cells to
the Conformal symbols.
Symbol Map File Example

module my_dff DFF 4
pin Data INPUT D
pin Clock INPUT C
pin Q OUTPUT Q
pin QX OUTPUT QN
Dofile and Process Example

// map vendor library cell to the Conformal symbols
setenv VERPLEX_SYMMAP /my_directory/sym_map.lib
read design golden.v

read library my_dff.v
read design revised.v -revised
set system mode lec
add compare point -all
compare
Viewing Effects of Symbol Mapping
After running a dofile like the one shown above, do the following to see the effects of the
symbol mapping. This procedure displays a schematic with the library cells that were defined
in the symbol file (for example, my_dff in the example), rather than the Conformal cells.
1. In the main CONFORMAL-LEC GUI window, choose Tools – Mapping Manager.
2. In the Compared Points section of the CONFORMAL-LEC Mapping Manager, click a
non-equivalent point to select it.
3. Right-click and choose Diagnose from the pop-up menu.
4. When the CONFORMAL-LEC Diagnosis Manager opens, choose Schematic – Open.

Symbol Map File
5. When the schematic windows for the Golden and Revised designs open, choose
Preferences from the Revised schematic window and choose Show Library-Level
Cells.
Symmetric Input Symbols

The symmetric input symbol cells allow multiple inputs. It is not necessary to define
[verplex_cell_pin_name] because any input signal can be swapped with any other
input signal without affecting its functionality, . This section includes a list of supported
symmetric input symbol names followed by examples for each of the symbol names.
Symmetric Input Symbol Names

■ AND
■ NAND
■ OR
■ NOR
■ XOR
■ XNOR
AND Module Example

module MY_AND4 AND 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT
NAND Module Example

module MY_NAND4 NAND 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT

Symbol Map File
OR Module Example
module MY_OR4 OR 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT
NOR Module Example

module MY_NOR4 NOR 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT
XOR Module Example

module MY_XOR4 XOR 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT
XNOR Module Example

module MY_XNOR4 XNOR 5
pin I0 INPUT
pin I1 INPUT
pin I2 INPUT
pin I3 INPUT
pin O OUTPUT
Non-Symmetric Input Symbols

The non-symmetric input symbol cells have their own specific functions. No input signal can
be swapped with any other input signal. Thus, you must define
[verplex_cell_pin_name]. This section includes a list of supported non-symmetric input
symbol names followed by examples for each of the symbol names.

Symbol Map File
Non-Symmetric Input Symbol Names

■ BUF
■ BUFIF
■ NOTIF
■ DFF
■ DLAT
■ DC
■ MUX
BUF Module Example

module MY_BUF BUF 2
pin I INPUT
pin O OUTPUT
BIFIF Module Example

module MY_BUFIF BUFIF 3
pin I INPUT I
pin CTL INPUT CTRL
pin OUT OUTPUT O
NOTIF Module Example

module MY_NOTIF NOTIF 3
pin I INPUT I
pin CTL INPUT CTRL
pin OUT OUTPUT O
DFF Module Example

module MY_DFF DFF 6
pin D INPUT D
pin CP INPUT C
pin SET INPUT S
pin RESET INPUT R
pin Q OUTPUT Q
pin QX OUTPUT QN

Symbol Map File
DLAT Module Example

module MY_DLAT DLAT 6
pin D INPUT D
pin EN INPUT EN
pin SET INPUT S
pin RESET INPUT R
pin Q OUTPUT Q
pin QX OUTPUT QN
DC Module Example
module MY_DC DC 3
pin D INPUT D
pin C INPUT C
pin OUT OUTPUT O
MUX Module Example

module MY_MUX MUX 4
pin D0 INPUT I0
pin D1 INPUT I1
pin SEL INPUT S
pin OUT OUTPUT O
Transistor-Related Symbols
The transistor-related symbol cells are also non-symmetric. Hence, each input has its own
specific function and no input signal can be swapped with any other input signal. Thus, you
must define [verplex_cell_pin_name]. This section includes a list of supported
transistor-related symbol names followed by examples for each of the symbol names.
Transistor-Related Symbol Names

■ CMOS
■ NMOS
■ PMOS
■ TRAN

Symbol Map File
CMOS Module Example

module MY_CMOS CMOS 4
pin DATA INPUT DIN
pin NC INPUT NC
pin PC INPUT PC
pin O OUTPUT W
NMOS Module Example

module MY_NMOS NMOS 3
pin S INPUT S
pin G INPUT G
pin D OUTPUT D
PMOS Module Example

module MY_PMOS PMOS 3
pin S INPUT S
pin G INPUT G
pin D OUTPUT D
TRAN Module Example

module MY_TRAN TRAN 3
pin S INPUT S
pin D OUTPUT D

Index
A E
attribute, define for transistor_MOS equivalence
nets 32 prove 50
B F
blank schematic window 14 fan-ins
close in flattened schematics 43
close in module schematic 30
C open in flattened schematics 43
open in module schematic 30
clock, pre-charge open to register in flattened
add net attributes to 32 schematics 43
clock, specify for transistor-MOS 32 open to register in module
color coding schematic 30
in Flatten Schematic, change 10, 11 open, to equivalent or mapped point 43
in Source Code Manager 56 fan-outs
connectivity close in flattened schematics 44
trace in flattened schematics 38, 44 close in module schematic 30
trace in module schematic 26, 31 open in flattened schematics 44
constraints open in module schematic 30
pin open to register in flattened
add 32 schematics 44
Custom open to register in module
MOS direction, assign 33 schematic 30
pin direction, assign 32 File Menu
cut point flattened schematics 37
add to net and pin name 32 module schematic 25
Flattened Schematics window
description 36
D
default color settings G
change 11
in Flatten Schematic, change 10, 11 Gate Manager
default line style settings opening from flattened schematics 45
change 11
drag-and-drop feature 3
drivers H
trace in flattened schematics 38, 44
trace in module schematic 26, 30 Hierarchical Browser
dynamic constraints access from module schematic 31
add to a schematic 46 Hierarchical View
opening from flattened schematics 45

history list, resetting 57 N

New Schematics option 14
I noncontrolling logic input, pruned out of
schematic 43
icons non-symmetric input symbol cells, in
on Source Code Manager tool bar 57 schematic 67
information box
enable or disable in flattened
schematics 38
enable or disable in module
P
schematic 26 pin constraint
send to transcript window 26, 38 add 32
integrated debugging tools pin direction
access from assign 32, 33
module schematic 31 pre-charge clock
add net attributes to 32
Preference Menu
L flattened schematics 39
module schematic 26
library cell symbol map file, in schematic source code 56
example 65 primary input
syntax for 64 add to net or pin name 32
loads specify as clock to transistor-MOS 32
trace in flattened schematics 38, 44 primary output
trace in module schematic 26, 30 add to net and pin name 32
primitive level
displayed in flattened schematics 39
M primitive types
displayed in flattened schematics 38
Menu Bar displayed in module schematic 26
File, for flattened schematics 37 printing
File, for module schematic 25 schematic display 8
Preference, for flattened schematics 39
Preference, for module schematic 26
Preference, for source code 56
Trace, for flattened schematics 38
R
Trace, for module schematic 26 rule violations
View, for flattened schematics 37 investigating 54
View, for module schematic 25
Window, for flattened schematics 40
Window, for module schematic 27
Window, for source code 56
S
module boundary mark, in flattened Source Code Manager
schematics 39 open from flattened schematics 44
Module Schematic viewer open from module schematics 31
description 24 reset history list 57
Source Code viewer
description 55
symmetric input symbol cells, in

schematic 66
T
Trace Menu
flattened schematics 38
module schematic 26
transistor symbol cells, in schematic 69
transistor-MOS
add and delete attributes to 32
specify clock to 32
V
View Menu
module schematic 25
W
Window Menu
module schematic 27
source code 56


Debugger LEC

Uploaded by

Copyright:

Available Formats

Debugger LEC

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Debugger LEC

Uploaded by

Copyright:

Available Formats

Encounter® Conformal® Debugger Tools

May 2024 1 Product Version 24.1

May 2024 2 Product Version 24.1

Using the Pop-Up Menu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

May 2024 3 Product Version 24.1

May 2024 4 Product Version 24.1

May 2024 1 Product Version 24.1

There are two types of schematic displays: module and flattened.

Source Code Manager

May 2024 2 Product Version 24.1

Using the Drag-and-Drop Feature

Use the following procedure to drag-and-drop from one window to another:

May 2024 3 Product Version 24.1

May 2024 4 Product Version 24.1

■ Mouse Actions on page 6

May 2024 5 Product Version 24.1

May 2024 6 Product Version 24.1

May 2024 7 Product Version 24.1

Simplified Schematic Viewing

Figure 2-1 Simplified Schematics Viewing Options

By default, simplified viewing is disabled. To enable simplified schematic viewing, click on

May 2024 8 Product Version 24.1

➤ Choose File - Print.

Print Schematic Fields and Options

Design Name Specifies the name of the design. This information

May 2024 9 Product Version 24.1

Specifying Color Preferences

Color Selection Fields and Options

Window Identifies which schematic window was active when you

May 2024 10 Product Version 24.1

Changing an Object’s Color to the Next Color on the Palette

Color Settings Fields and Options

May 2024 11 Product Version 24.1

May 2024 12 Product Version 24.1

Finding a Schematic Object

Fields and Options

Window Identifies which schematic window was active when you

May 2024 13 Product Version 24.1

Finding Instance Pins

Traversing Netlists for Schematic Debugging

From a hierarchical (module) or flattened schematics window, do the following:

May 2024 14 Product Version 24.1

Making Selections within the Next Level Instance View

May 2024 15 Product Version 24.1

This expands the object to the next-level:

Two items selected

May 2024 16 Product Version 24.1

Moving Objects in the Schematic Viewer

May 2024 17 Product Version 24.1

The object is placed in the new location.

To trace the connectivity between driver and loads:

May 2024 18 Product Version 24.1

May 2024 19 Product Version 24.1

May 2024 20 Product Version 24.1

Static Information Box

May 2024 21 Product Version 24.1

May 2024 22 Product Version 24.1

■ Module Schematic Viewer Window on page 24

May 2024 23 Product Version 24.1