我学习的是2017.09版本的Lab，资料如下。
实验资源
实验手册
2016.3版本的UG
在检查物理库和逻辑库的一致性时，由于2014版本后Library Compiler从DC中独立出来了，因此出现报错：
Error: The check_library command failed to run. Check the installation of Library Compiler. (LCSH-3)
解决方案：
check_library报错_芯语新源的博客-CSDN博客
根据这篇文章的方法，执行以下命令：
再次执行check_library，运行成功：
DC中的线负载模型和拓扑模型：
wireload_model和topographic mode_seu他山之石的博客-CSDN博客
在topo模型下，DC会将RTL综合出initial netlist，交给ICC进行floorplan之后，再交给DC进行综合，得到second netlist。
本单元没有实验。