set_optimize_register    true

compile  -ultra

调整pipleline各级的组合逻辑，使得各级组合逻辑的延迟跟接近

对非pipeline进行优化：

register retiming

set_dont_retime限制retime优化

.svf储存了设计中的更改信息，是交给形式验证工具使用的

check_timing用来检查约束是否完整

report_timing在综合之后，用来检查综合之后的设计是否有违规

-input_pins加上这个选项，会分别报告线延迟+单元延迟，不加是在一起

最新文章

1. VS2010安装帮助文档出现错误
2. 动态用javascript来修改单选框性别
3. c#将输入的人民币数字金额转换成小写
4. html常用标签有哪些？
5. Testlink1.9.14介绍及使用
6. linux性能优化cpu 磁盘IO MEM
7. 高德地图JSApi
8. OBS源码解析（2）run_program函数
9. LeetCode - 492. Construct the Rectangle
10. Distances to Zero CodeForces - 803B （二分）
11. Atitit Seed-Filling种子填充算法attilax总结
12. BZOJ2437 [Noi2011]兔兔与蛋蛋 【博弈论 + 二分图匹配】
13. ASP.NET Web API使用示例
14. 【POJ】2142 The Balance 数论（扩展欧几里得算法）
15. LeetCode——Unique Binary Search Trees II
16. 【算法笔记】B1017 A除以B
17. 使用LoadRunner脚本采集Linux性能数据
18. The 18th Zhejiang University Programming Contest Sponsored by TuSimple -C Mergeable Stack
19. Tomcat 下启用 https:// 访问
20. 目标检测系列 --- RCNN: Rich feature hierarchies for accurate object detection and semantic segmentation Tech report

热门文章

1. 【Eclipse中使用Git之一】把远程仓库的项目，clone到eclipse里面
2. cassandra install - +HeapDumpOnOutOfMemoryError -Xss180k
3. PMP杂谈--制约因素与如果条件
4. HTML5贪吃蛇源代码
5. gvim window7 下提示乱码
6. SAR（遥感、卫星） 图像常用数据集
7. Socket编程中的强制关闭与优雅关闭及相关socket选项
8. 13.Axis创建webservice客户端和服务端
9. POJ 3170 线段树优化DP
10. 【DRF权限】