Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
(LEC)
Version 14.2
Course Agenda
Operator merging
Advanced pipelining Y Y
Design
hierarchy
window Golden Revised
Transcript
window Messages
Command
entry
window 100% completed
Specify Constraints
and Design Modeling Setup Mode
Compare Designs
yes
Miscompare? Diagnose
no
Equivalence Checking
Complete
2012 Cadence Design Systems, Inc. All rights reserved.
13
LEC Flow
You can read Verilog library and design files at the command line:
add search path /user1/rtl/ -golden
read design *.v verilog golden
add search path /user1/verilog/ -lib -revised
read library library.v -verilog revised
read design revised.v verilog revised
CLK_n
Specify behavior, such as one-hot or one-cold.
Specify relationships, such as pin equivalence. GND
add pin equivalence CLK invert CLK_n \ SET
SET
-revised
DFF
DFF
Clock gating
PO 1b1 PO 1b1
1b1 PO
set flatten model gated_clock DFF
CLK
Sequential constant in1 in1 in1
Golden Revised
set flatten model seq_constant
Sequential merging RegB
D0
RegA RegB RegB
with an XL license:
Golden Revised
Sequential redundant
set flatten model sequential_redundant DFF
PO
DFF
PO
DFF
PO
CLK
CLK CLK
Not-mapped
Mapped
points
Extra E
Compared
points
Middle-click to
paste the contents.
/fd0
add compare points -all
DFF PO
compare
/bb0
IN_0 OUT_0
IN_1 OUT_1
BLACKBOX
Filtering comparison
results with the
Mapping Manager
24
? Not-Compared
2012 Cadence Design Systems, Inc. All rights reserved.
Sequential Merge Abort
Displaying Debug Information
Opening the Diagnosis Manager
Use the Mapping Manager to debug:
To display only nonequivalent results
and sort them to show smaller cones
first:
1. Choose Class Disable All
2. Choose Class Non-Equivalent
3. Click the AZ icon and
select Sort by Support Size
1 1
A 1 0 0
D Q Color-coded
0
seq0 DFF support points
Q1
Revised D Q seq1 Red: Nonequivalent points
If you have mapping issues after trying renaming rules, run
analyze setup command to automatically resolve setup-
related issues.
analyze setup verbose
If you have aborts in a design with a lot of datapath
components, run the analyze datapath command.
analyze datapath -verbose
If you have aborts, run the analyze abort command after
the initial comparison to resolve the aborts:
// compare
analyze abort compare threads 4
TOP TOP
U3 U4 U3 U4
U1 U2 A B U1 U2 X
Golden Revised