Professional Documents
Culture Documents
SVF User Guide
SVF User Guide
Comments?
Send comments on the documentation by going
to http://solvnet.synopsys.com, then clicking
“Enter a Call to the Support Center.”
Copyright Notice and Proprietary Information
Copyright © 2006 Synopsys, Inc. All rights reserved. This software and documentation contain confidential and proprietary
information that is the property of Synopsys, Inc. The software and documentation are furnished under a license agreement and
may be used or copied only in accordance with the terms of the license agreement. No part of the software and documentation may
be reproduced, transmitted, or translated, in any form or by any means, electronic, mechanical, manual, optical, or otherwise,
without prior written permission of Synopsys, Inc., or as expressly provided by the license agreement.
Right to Copy Documentation
The license agreement with Synopsys permits licensee to make copies of the documentation for its internal use only.
Each copy shall include all copyrights, trademarks, service marks, and proprietary rights notices, if any. Licensee must
assign sequential numbers to all copies. These copies shall contain the following legend on the cover page:
“This document is duplicated with the permission of Synopsys, Inc., for the exclusive use of
__________________________________________ and its employees. This is copy number __________.”
Destination Control Statement
All technical data contained in this publication is subject to the export control laws of the United States of America.
Disclosure to nationals of other countries contrary to United States law is prohibited. It is the reader’s responsibility to
determine the applicable regulations and to comply with them.
Disclaimer
SYNOPSYS, INC., AND ITS LICENSORS MAKE NO WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, WITH
REGARD TO THIS MATERIAL, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
Registered Trademarks (®)
Synopsys, AMPS, Arcadia, C Level Design, C2HDL, C2V, C2VHDL, Cadabra, Calaveras Algorithm, CATS, CRITIC,
CSim, Design Compiler, DesignPower, DesignWare, EPIC, Formality, HSIM, HSPICE, Hypermodel, iN-Phase, in-Sync,
Leda, MAST, Meta, Meta-Software, ModelTools, NanoSim, OpenVera, PathMill, Photolynx, Physical Compiler, PowerMill,
PrimeTime, RailMill, RapidScript, Saber, SiVL, SNUG, SolvNet, Superlog, System Compiler, TetraMAX, TimeMill, TMA,
VCS, Vera, and Virtual Stepper are registered trademarks of Synopsys, Inc.
Trademarks (™)
Active Parasitics, AFGen, Apollo, Apollo II, Apollo-DPII, Apollo-GA, ApolloGAII, Astro, Astro-Rail, Astro-Xtalk, Aurora,
AvanTestchip, AvanWaves, BCView, Behavioral Compiler, BOA, BRT, Cedar, ChipPlanner, Circuit Analysis, Columbia,
Columbia-CE, Comet 3D, Cosmos, CosmosEnterprise, CosmosLE, CosmosScope, CosmosSE, Cyclelink, Davinci, DC
Expert, DC Expert Plus, DC Professional, DC Ultra, DC Ultra Plus, Design Advisor, Design Analyzer, Design Vision,
DesignerHDL, DesignTime, DFM-Workbench, Direct RTL, Direct Silicon Access, Discovery, DW8051, DWPCI, Dynamic
Model Switcher, Dynamic-Macromodeling, ECL Compiler, ECO Compiler, EDAnavigator, Encore, Encore PQ, Evaccess,
ExpressModel, Floorplan Manager, Formal Model Checker, FoundryModel, FPGA Compiler II, FPGA Express, Frame
Compiler, Galaxy, Gatran, HANEX, HDL Advisor, HDL Compiler, Hercules, Hercules-Explorer, Hercules-II, Hierarchical
plus
Optimization Technology, High Performance Option, HotPlace, HSIM , HSPICE-Link, i-Virtual Stepper, iN-Tandem,
Integrator, Interactive Waveform Viewer, Jupiter, Jupiter-DP, JupiterXT, JupiterXT-ASIC, JVXtreme, Liberty,
Libra-Passport, Libra-Visa, Library Compiler, Magellan, Mars, Mars-Rail, Mars-Xtalk, Medici, Metacapture, Metacircuit,
Metamanager, Metamixsim, Milkyway, ModelSource, Module Compiler, MS-3200, MS-3400, Nova Product Family,
Nova-ExploreRTL, Nova-Trans, Nova-VeriLint, Nova-VHDLlint, Optimum Silicon, Orion_ec, Parasitic View, Passport,
Planet, Planet-PL, Planet-RTL, Polaris, Polaris-CBS, Polaris-MT, Power Compiler, PowerCODE, PowerGate, ProFPGA,
ProGen, Prospector, Protocol Compiler, PSMGen, Raphael, Raphael-NES, RoadRunner, RTL Analyzer, Saturn,
ScanBand, Schematic Compiler, Scirocco, Scirocco-i, Shadow Debugger, Silicon Blueprint, Silicon Early Access,
SinglePass-SoC, Smart Extraction, SmartLicense, SmartModel Library, Softwire, Source-Level Design, Star, Star-DC,
Star-MS, Star-MTB, Star-Power, Star-Rail, Star-RC, Star-RCXT, Star-Sim, Star-SimXT, Star-Time, Star-XP, SWIFT,
Taurus, TimeSlice, TimeTracker, Timing Annotator, TopoPlace, TopoRoute, Trace-On-Demand, True-Hspice,
TSUPREM-4, TymeWare, VCS Express, VCSi, Venus, Verification Portal, VFormal, VHDL Compiler, VHDL System
Simulator, VirSim, and VMC are trademarks of Synopsys, Inc.
SystemC is a trademark of the Open SystemC Initiative and is used under license.
ARM and AMBA are registered trademarks of ARM Limited.
All other product or company names may be trademarks of their respective owners.
ii
Contents
iii
guide_architecture_db . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-4
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-4
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-4
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-5
guide_architecture_netlist . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-6
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-6
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-6
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-7
guide_change_names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-8
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-8
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-8
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
guide_datapath . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-10
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-10
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-10
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-11
guide_fsm_reencoding . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-12
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-12
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-12
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-13
guide_group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-14
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-14
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-14
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-15
iv
guide_multiplier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-16
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-16
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-16
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-17
guide_reg_constant. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-19
guide_reg_duplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-20
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-20
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-20
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-21
guide_reg_encoding . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-22
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-22
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-22
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
guide_reg_merging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-24
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-24
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-24
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-25
guide_transformation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-26
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-27
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-27
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-29
v
guide_ungroup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-30
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-30
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-30
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-31
guide_uniquify . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-32
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-32
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-33
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-33
guide_ununiquify . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-34
Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-34
Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-35
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-35
vi
About This Manual FIX ME!
• Related Publications
• Conventions
• Customer Support
vii
About This Manual
The Formality Automated Setup File (SVF) Manual provides
information about and procedures for using the .svf file to assist in
your design verification.
Related Publications
For additional information about <Product Name>, see
Convention Description
Regular bold User input that is not Synopsys syntax, such as a user
name or password you enter in a GUI.
ix
Customer Support
Customer support is available through SolvNet online customer
support and through contacting the Synopsys Technical Support
Center.
Accessing SolvNet
SolvNet includes an electronic knowledge base of technical articles
and answers to frequently asked questions about Synopsys tools.
SolvNet also gives you access to a wide range of Synopsys online
services including software downloads, documentation on the Web,
and “Enter a Call to the Support Center.”
To access SolvNet,
• Open a call to your local support center from the Web by going to
http://solvnet.synopsys.com (Synopsys user name and
password required), then clicking “Enter a Call to the Support
Center.”
• Send an e-mail message to your local support center.
- E-mail support_center@synopsys.com from within North
America.
- Find other local support center e-mail addresses at
http://www.synopsys.com/support/support_ctr.
• Telephone your local support center.
- Call (800) 245-8005 from within the continental United States.
- Call (650) 584-4200 from Canada.
- Find other local support center telephone numbers at
http://www.synopsys.com/support/support_ctr.
Customer Support
xi
About This Manual
xii
1
Introduction to the Automated Setup File 1
The automated setup file (.svf) helps Formality understand design
changes caused by other tools used in the design flow. Formality
uses this file to assist the compare point matching and verification
process. This chapter includes the following sections:
1-1
Overview of the Automated Setup File
To use an automated setup file (file has the .svf extension), you first
enable the creation of the file in the implementation tool. Alternately,
you can manually create an automated setup file. Then you instruct
Formality to read this file at the start of the verification process.
• 0 for failure
• 1 for success
If you use set_svf without specifying the .svf file to use, Formality
resets the automated setup file. However, the appropriate method for
removing the stored setup data is to use the remove_guidance
command.
You use the -ordered option to indicate that the list of setup files
you specify are already ordered and should not be reordered by
timestamp. If you use -ordered and list a directory or directories
where the setup files are located, Formality might order the directory
files in any order. The following example sets the order of two setup
files, bot.svf and top.svf, for Formality to process:
• guide
• guide_architecture_db
• guide_architecture_netlist
• guide_change_names
• guide_datapath
• guide_fsm_reencoding
• guide_group
• guide_multiplier
• guide_reg_constant
• guide_reg_duplication
• guide_reg_encoding
• guide_reg_merging
• guide_transformation
• guide_ungroup
• guide_uniquify
• guide_ununiquify
You can also enter these commands manually. To do so, you must
first enter guide mode by executing the guidecommand.
The following are the restrictions you need to follow when using the
guide commands:
If you are using the automated setup file to verify multipliers, the
report_guidance command will also write out an unencrypted
Verilog netlist to the directory ./fmsvf.
Using the automated setup file flow, you can instruct Design
Compiler to automatically create netlist Verilog files for each
multiplier in the design when performing synthesis. Design Compiler
will produce a Verilog file containing the netlist for all multipliers as
well as generate the automated setup file. Formality will verify each
of these multipliers with the DPS; if the multipliers pass verification,
Formality will load them into the reference design.
You can view the contents of the Verilog netlist passed from Design
Compiler to Formality with the report_guidance command. Using
the -to filename option causes the architecture netlists found in
the current setup file to be unencrypted. Formality copies the
encrypted netlist files to filename.orig files and the unencrypted files
overwrite the original netlists.
• guide
• guide_architecture_db
• guide_architecture_netlist
• guide_change_names
• guide_datapath
• guide_fsm_reencoding
• guide_group
2-1
• guide_multiplier
• guide_reg_constant
• guide_reg_duplication
• guide_reg_encoding
• guide_reg_merging
• guide_transformation
• guide_ungroup
• guide_uniquify
• guide_ununiquify
fm_shell (guide)>
fm_shell (setup)>
fm_shell (match)>
fm_shell (verify)>
Syntax
The syntax is as follows:
guide
Example
The following is an example of the guide command:
guide
2-3
guide_architecture_db
The guide_architecture_db command associates a .db file
with an architectural implementation.
You can specify the name of the .db file containing the associated
architecture and the names of the library files referenced in the
architectural implementation.
Syntax
The syntax is as follows:
guide_architecture_db
[ -file filename ]
[ libraries ]
Arguments
The arguments for the guide_architecture_db command are
as follows:
file filename
Specifies the name of the .db file containing the associated
architecture.
libraries
The .db files referenced in the architectural implementation.
guide_architecture_db
2-5
guide_architecture_netlist
The guide_architecture_netlist command associates a
netlist file with an architectural implementation.
You can specify the name of the netlist file containing the associated
architecture and the names of the library files referenced in the
architectural implementation.
Syntax
The syntax is as follows:
guide_architecture_netlist
[ -file filename ]
[ libraries ]
Arguments
The arguments for the guide_architecture_netlist
command are as follows:
file filename
Specifies the name of the netlist file containing the associated
architecture.
libraries
The .db files referenced in the architectural implementation.
guide_architecture_netlist
2-7
guide_change_names
The guide_change_names operation lists objects that have
undergone a name change. It lists the name as it appears in the
original design and the changed name as it appears in the modified
implementation design.
Syntax
The syntax for the guide_change_names command is as follows:
guide_change_names
-design designName
[ -instance instanceName ]
[ changeBlock ]
Arguments
The arguments for the guide_change_names command are as
follows:
-design designName
The design containing the names
-instance instanceName
The instance containing the names
changeBlock
A colon-separated list specifying the object type, the old name,
and the new name
guide_change_names \
-design test \
{ cell:U1:mycell3 \
cell:U2:mycell2 \
cell:U3:mycell1 \
port:data:myd \
port:clock:myck \
port:q:myq }
guide_change_names
2-9
guide_datapath
The guide_datapath command identifies a datapath sub-design.
You can specify the names of the design and instance containing the
datapath and the name of the file containing the datapath description
(db or netlist format).
Syntax
The syntax is as follows:
guide_datapath
-design designName
[ -instance instanceName ]
-body datapathBody
Arguments
The arguments for the guide_datapath command are as follows:
-design designName
The design containing the datapath
-instance instanceName
The instance containing the datapath
-body filename
The name of the file containing the datapath description (.db or
netlist format)
guide_datapath
2-11
guide_fsm_reencoding
You can use the guide_fsm_reencoding command to convey
information about how a state machine should be re-encoded. The
state machine re-encoding can involve a simple changing of the bit
encoding, or it can involve changing the coding style (binary to
one-hot, for example).
Syntax
The syntax for the guide_fsm_reencoding command is as
follows:
guide_fsm_reencoding
-design designName
-previous_state_vector prevList
-current_state_vector currList
-state_reencoding stateList
Arguments
The arguments for the guide_fsm_reencoding command are as
follows:
-design designName
The design containing the FSM
-previous_state_vector prevList
A list of the pre-reencoding register bits
-current_state_vector currList
A list of the post-reencoding register bits
Example
The following is an example of the guide_fsm_reencoding
command:
guide_fsm_reencoding \
-design myfsm_0 \
-previous_state_vector { out1_reg out0_reg } \
-current_state_vector { Q4 Q3 Q2 Q1 } \
-state_reencoding { begin:2#00:2#0001 \
ok:2#01:2#0010 \
nok:2#10:2#0100 \
end:2#11:2#1000 }
guide_fsm_reencoding
2-13
guide_group
The guide_group command groups a set of instances. This will
create an extra level of hierarchy. Use the guide_group operation to
record the register name changes that result from the creation of the
extra hierarchy. You can specify the current design context, name of
the new design and instance, and old names and new names of
register instances as options to the guide_group operation.
Syntax
The syntax for the guide_group command is as follows:
guide_group
-design designName
[ -instance instanceName ]
[ -cells cellList ]
-new_design newDesignName
-new_instance newInstanceName
[ groupBlock ]
Arguments
The arguments for the guide_group command are as follows:
-design designName
The name of the design containing the objects
-instance instanceName
The name of the instance containing the objects
-cells cellList
A list of the cells being grouped
Example
The following is an example of the guide_group command:
guide_group \
-design shift8 \
-cells { shift4_i_1 \
shift4_i_2 \
shift_4_i_2 \
shift_4_i_3 } \
-new_design foo \
-new_instance foo_i_1 \
{ shift4_i_1:foo_i_1/shift4_i_1 \
shift4_i_2:foo_i_1/shift4_i_2 }
guide_group
2-15
guide_multiplier
The guide_multiplier command identifies a sub-design as a
multiplier with a specific architecture.
You can specify the names of the design and instance containing the
multiplier, the architecture of the multiplier (csa, nbw, wall, csmult or
mcarch), and the name of the file containing the multiplier description
(.db or netlist format).
Syntax
The syntax is as follows:
guide_multiplier
-design designName
[ -instance instanceName ]
-arch arch
-body fileName
Arguments
The arguments for the guide_multiplier command are as
follows:
-design designName
The design containing the multiplier
-instance instanceName
The instance containing the multiplier
Example
The following is an example of the guide_multiplier command:
guide_multiplier
2-17
guide_reg_constant
The guide_reg_constant command records that a register was
optimized to a constant value by another tool in the design flow. You
specify the constant value as an argument to the
guide_reg_constant operation.
Syntax
The syntax for the guide_reg_constant command is as follows:
guide_reg_constant
[ -design designName ]
instanceName
constantVal
Arguments
The arguments for the guide_reg_constant command are as
follows:
-design designName
The name of the design containing the constant registers (only
the design name is required; the workspace and container are
not required)
instanceName
The hierarchical path from the specified design to the target
constant register
constantVal
The constant value
guide_reg_constant
2-19
guide_reg_duplication
The guide_reg_duplication command records that a single
register in the reference design was duplicated in the implementation
design. This can occur if the synthesis tool determines that a register
has too many loads. You can duplicate the register so that each of
the resulting registers drives fewer loads.
Syntax
The syntax for the guide_reg_duplication command is as
follows:
guide_reg_duplication
[ -design designName ]
-from fromReg
-to toList
Arguments
The arguments for the guide_reg_duplication command are
as follows:
-design designName
The name of the design containing the duplicate registers
-from fromReg
The original register
-to toList
A list of the duplicated registers
guide_reg_duplication
2-21
guide_reg_encoding
The guide_reg_encoding command identifies registers whose
encoding has changed (usually from binary to carry-save). For a
binary to carry-save encoding, the first bit on each line represents
the binary value while the remaining bits represent the carry save
encoding.
You can specify the name of the design containing the encoded
register, the original style of the register (binary, CS2, and so on), the
new style of the register (binary, CS2, and so on), and the register
bits that have changed.
Syntax
The syntax is as follows:
guide_reg_encoding
-design designName
-from fromStyle
-to toStyle
{bit:bit:[:bit]*}
Arguments
The arguments for the guide_reg_encoding command are as
follows:
-design designName
The name of the design containing the duplicate registers
-from fromStyle
The original style of the register (binary, CS2, and so on)
Example
The following is an example of the guide_reg_encoding
command:
guide_reg_encoding
2-23
guide_reg_merging
The guide_reg_merging command records that multiple
registers in the reference design were merged into one register in the
implementation design. This can occur if the synthesis tool
determines that two or more registers always have the same state.
Syntax
The syntax for the guide_reg_merging command is as follows:
guide_reg_merging
[ -design designName ]
-from fromList
-to toReg
Arguments
The arguments for the guide_reg_merging command are as follows:
-design designName
The name of the design containing the merged registers
-from fromList
A list of the merged registers
-to toReg
The final register
guide_reg_merging \
-design top \
-from { Q2 Q3 } \
-to Q2
guide_reg_merging
2-25
guide_transformation
The guide_transformation command identifies registers which are
duplicates of each other.
You can specify the name of the design containing the duplicate
registers, the type of transformation, (share, tree, map or merge),
and the following lists:
• Transformation inputs
• Transformation outputs
• Transformation control signals
• Transformation virtual signals
• Resources in the transformation pre-graph
• Assignments in the transformation pre-graph
• Resources in the transformation post-graph
• Assignments in the transformation post-graph
• Datapath elements in the transformation
guide_transformation
-design designName
-type type
-input inputList
-output outputList
[ -control controlList ]
[ -virtual virtualList ]
[ -pre_resource preResourceList ]
[ -pre_assign preAssignList ]
[ -post_resource postResourceList ]
[ -post_assign postAssignList ]
[ -datapath datapathList ]
Arguments
The arguments for the guide_transformation command are as
follows:
-design designName
The name of the design containing the transformations
-type type
The type of transformation: share, tree, map, or merge
-input inputList
A list of the transformation inputs
-output outputList
A list of the transformation outputs
-control controlList
A list of the transformation control signals
guide_transformation
2-27
-virtual virtualList
A list of the transformation virtual signals
-pre_resource preResourceList
A list of the resources in the transformation pre-graph
-pre_assign preAssignList
A list of the assignments in the transformation pre-graph
-post_resource postResourceList
A list of the resources in the transformation post-graph
-post_assign postAssigntList
A list of the assignments in the transformation post-graph
-datapath datapathList
A list of datapath elements in the transformation
guide_transformation
2-29
guide_ungroup
The guide_ungroup command removes a level or levels of
hierarchy. Also, you use this command to specify how registers
names are to be changed when the hierarchy is removed. You can
specify the current design context, names of the removed
hierarchical blocks, and old names and new names of compare
points as options to the guide_ungroup command.
Syntax
The syntax for the guide_ungroup command is as follows:
guide_ungroup
-design designName
[ -instance instanceName ]
[ -cells cellList ]
[ ungroupBlock ]
Arguments
The arguments for the guide_ungroup command are as follows:
-design designName
The name of the design containing the objects
DC ungroup options.
-instance instanceName
The name of the instance containing the objects
-cells cellList
A list of the cells being ungrouped
Example
The following is an example of the guide_ungroup command:
guide_ungroup \
-design shift8 \
-instance shift16/shift8_i_1 \
-cells { foo } \
-flatten \
{ shift4_i_1/shift2_i_1/dout_reg:dout_reg \
shift4_i_1/shift2_i_1/state1_reg:state1_reg \
shift4_i_1/shift2_i_2/dout_reg:dout_reg1 \
shift4_i_1/shift2_i_2/state1_reg:state1_reg1 \
shift4_i_2/shift2_i_2/state1_reg:state1_reg3 }
guide_ungroup
2-31
guide_uniquify
The guide_uniquify operation provides information about
components of the design that have been uniquified. When a design
is uniquified, all instances of a component instantiated multiple times
are assigned unique names and thus become unique components.
The V-SDC file will contain:
Syntax
The syntax for the guide_uniquify command is as follows:
guide_uniquify
-design designName
[ uniquifyBlock ]
-design designName
The name of the design containing the objects being uniquified
uniquifyBlock
A colon-separated list of old cell:new cell pairs
Example
The following is an example of the guide_uniquify command:
guide_uniquify \
-design shift4 \
{ shift2_i_1:shift2_0 \
shift2_i_2:shift2_1 }
guide_uniquify
2-33
guide_ununiquify
The guide_ununiquify operation reverses the changes made to
the design by the guide_uniquify command. When a design is
ununiquified, all instances of a design that had been uniquified are
changed back to non-unique designs. The V-SDC file will contain:
Syntax
The syntax for the guide_ununiquify operation is as follows:
guide_ununiquify
-design designName
[ ununiquifyBlock ]
-design designName
The name of the design containing the objects being folded
uniquifyBlock
A colon-separated list of old cell:new cell pairs
Example
The following is an example of the guide_ununiquify command:
guide_ununiquify \
-design top \
{ U2:mid \
U1:mid \
U2/U3:bot \
U1/U3:bot }
guide_ununiquify
2-35
Chapter 2: Automated Setup Commands
2-36