UPGRADE YOUR BROWSER
We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!
Using an OBUFTDS causes the register to be duplicated, and the equivalency checking might fail.
Formality does not merge these registers automatically. The registers being merged are inverted, and the outputs of the flops feedback to the input to hold when CE is Low.
To work around this issue, add the following to the formality script:
set_inv $impl/\<imst_name>/N
Additionally, the following line will need to be typed in the TCL command line as well:
guide
guide_reg_duplication -design EXP_OBUFDS_IFLOP -from { <inst_name> } -to { <inst_name><inst_name>\/N }
setup
To find the instance name <inst_name>, you must parse through the equivalency netlist written out by NetGen to find the instance names of the X_FF. This is a problem only in the post-MAP and post Place and Route equivalency netlist.
Future releases of Formality might support this automatically.
AR# 20601 | |
---|---|
Date | 05/16/2014 |
Status | Archive |
Type | General Article |