Lab5 DC的逻辑综合及优化过程

综合规范概括：

　　可用资源规范：也就是通过运行那个脚本来查看你的电脑有多少可用用来综合的核心，该电脑的参数如图：

　　设计和约束文件说明：告诉我们设计的RTL文件和名字，以及告诉我们约束的位置和名字

　　布局规划说明：由于我们使用的是拓扑模式下的综合，这个布局规划提供给了我们物理的约束信息。

　　设计规范说明：其实这个是综合的规范说明，告诉你需要在综合过程中，要对哪些模块进行怎么样的处理，从而达到某种要求，这里面的10条规范我们后面在时间过程中都会介绍。

_____________________________________________________________________

Task 1

查看电脑有多少可用用来综合的核心

在lab5的目录下运行 ./num_cores.sh

打开链接库文件

 source setup.tcl

为formality创建文件，形式验证的时候要用到

 set_svf ./scripts/STOTO.svf

引入当前设计

 analyze –f verilog STOTO.v

 elaborate STOTO

 link  （将当前设计连接到库）

 check_design  （检查当前设计）