admin管理员组文章数量:1610842
formality check rtl2netlist 时候可能会出现stuck at verify 阶段,这种形况是rtl 中的一些code 很复杂, formality 不能解读。这时有两种解决方法:
1.在timing 满足的形况下,重新进行综合,在综合的过程中设置如下params
set_verification_priority [get_cells {$cell_name}] 或者set_verification_priority [get_references $ref_name -hierarchical] -high
其中的cell_name 和ref_name 可以在formality 中找到
2.更改verification strategy,需要使用到之前fail 的formality session
>module load formality/version
>source parallel.tcl
其中parallel.tcl 中的内容如下:
set verification_timeout_limit 24:0:0
set_run_alternate_strategies_options -max_cores 4 -protocol LSF -submit_command "bsub -q $q_name"
run_alternate_strategies -session rtl2netlist_fail_session.fss
exit
当执行上面的parallel run 之后会得到一个可以pass 的strategy ,这时我们在正常的flow 中设置上这个strategy 就可以了,默认的strategy 是none
set_app_var verification_alternate_strategy s10
printvar verification_alternate_strategy_names 可以查看有哪些策略
本文标签: formalityLECchooseStrategyverify
版权声明:本文标题:LEC learning2: formality verify strategy choose 内容由热心网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:https://m.elefans.com/dianzi/1725699870a1037336.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论