Synopsys Formality – 使用OBUFTDS会导致寄存器重复，并且等效检查可能会失败

问题描述

使用OBUFTDS会导致寄存器重复，并且等效检查可能会失败。

解决/修复方法

形式不会自动合并这些寄存器。被合并的寄存器被反转，并且当CE为低时，触发器的输出反馈到输入以保持。

要解决此问题，请将以下内容添加到形式脚本中：

set_inv $ impl / \ <imst_name> / N.

此外，还需要在TCL命令行中键入以下行：

指南

guide_reg_duplication -design EXP_OBUFDS_IFLOP -from {<inst_name>} -to {<inst_name> <inst_name> \ / N}

建立

要查找实例名称<inst_name>，必须解析NetGen写出的等效网表，以查找X_FF的实例名称。这仅在后MAP和布局布线等效网表中存在问题。

未来的Formality版本可能会自动支持这一点。