如何对unmapped key points进行诊断

宝塔服务器面板，一键全能部署及管理，送你10850元礼包，点我领取

这篇文章主要介绍“如何对unmapped key points进行诊断”，在日常操作中，相信很多人在如何对unmapped key points进行诊断问题上存在疑惑，小编查阅了各式资料，整理出简单好用的操作方法，希望对大家解答”如何对unmapped key points进行诊断”的疑惑有所帮助！接下来，请跟着小编一起来学习吧！

在map 完后，如果有unmappped key points, 可以用命令 "report_unmapped_points" 加不同的option 来报每一种unmapped key points, 对于option -unreachable 有两个子选项可以分别根据造成unreachable 的原因进一步细分。

举例：

可以用命令"report_gate -unreach" 来进一步确认是哪个fanout gate 造成了unreachable, LEC 会从unreachable key point 开始往后trace 一直到造成unreachable 的点。

举例：

对于Extra key point, 首先要确认其是否是真的Extra, 是否可以通过设置为其找到配对。如果用命令 "add_pin_constraints" 对Extra 的primary input 做了常值约束，则这些被约束的点将不再被归类到 "Extra key point", 至于是否可以加这样的约束需要designer 进行确认。如果某些Extra primary output 在function 模式下无用，则可以如果用命令 "add_ignored_outputs" 对其进行设置，如scan_out.

对于Not-mapped key points, 首先要确认是否由于renaming 造成，如果是，确认是否可以通过命令"add_renaming_rule" 加renaming rule 予以解决；然后要确认是否由于modeling 不全或不当造成，如果是，可以用命令 "set_flatten_model" 设置对应的modeling option. 通常会在map 之前设置 "set_analyze_option -auto" 让LEC 在map 的过程中自动enable 常用的modeling option. 也可以用命令"analyze_setup" 来分析。