在DC中使用tcl脚本综合和Formality一致性检查

Design Compiler工艺库的更换 通过上一节的基本操作，我们学会了如何使用design compiler综合一个电路，但是由于centos自带的库class中没有寄存器的相关映射，而导致综合失败，因此在eetop论坛上下载了新的库smic180，这个库需要的东西应有尽有完全可以满足此次实验内容要求：  因为工艺角的不同，区分为FF SS TT，这次就使用tipical当做库文件，相应的，

>>阅读原文<<