如何对unmapped key points进行诊断

这篇文章主要介绍“如何对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" 来分析。

可以用命令"remodel -notmapped <modeling option>" 来限制使用哪些modeling option. 

通常建议先用命令"set_flatten_model" 做全局设置，如果map 后仍有not-mapped point 再尝试使用命令"remodel".

可以用命令"analyze_redundancy" 来分析一个Seqential cell 是否是冗余cell.

可以用命令"analyze_gate" 来分析not-mapped key points 是否是常值寄存器，它会报出被分析的点是否为常值，同时也会去trace 该key points 的fanin 是否有常值的spport key point. 如下例所示：

到此，关于“如何对unmapped key points进行诊断”的学习就结束了，希望能够解决大家的疑惑。理论与实践的搭配能更好的帮助大家学习，快去试试吧！若想继续学习更多相关知识，请继续关注亿速云网站，小编会继续努力为大家带来更多实用的文章！