标签:report pil compile ultra put 检查 input port 设计
set_optimize_register true
compile -ultra
调整pipleline各级的组合逻辑,使得各级组合逻辑的延迟跟接近
对非pipeline进行优化:
register retiming
set_dont_retime限制retime优化
.svf储存了设计中的更改信息,是交给形式验证工具使用的
check_timing用来检查约束是否完整
report_timing在综合之后,用来检查综合之后的设计是否有违规
-input_pins加上这个选项,会分别报告线延迟+单元延迟,不加是在一起
标签:report pil compile ultra put 检查 input port 设计
原文地址:http://www.cnblogs.com/yiyedada/p/7096815.html