首页 理论教育如何使用半导体厂商提供的库文件进行综合?

如何使用半导体厂商提供的库文件进行综合?

【摘要】:半导体厂商会提供DC兼容的工艺技术库文件,我们使用这些文件进行综合。图6.7为.lib库格式描述的单元。DC在综合电路时,最终都映射到目标库上。DC会在库中选择功能正确的逻辑门单元,使用库中的时序信息来计算电路的路径延迟。否则DC将找不到网表中的器件。DC搜寻变量是通过search_path指定的目录查找。DC利用符号库产生电路示意图,必须用DC的图形化界面design vision才能看到。

如前所述,电路的逻辑综合包括3个步骤:转化+逻辑优化+映射。当映射成电路图时,我们必须知道要映射到哪个半导体厂商的器件库,那么DC是如何知道每个逻辑单元的延迟的呢?半导体厂商会提供DC兼容的工艺技术库文件,我们使用这些文件进行综合。图6.7为.lib库格式描述的单元。

978-7-111-55094-5-Chapter06-26.jpg

图6.7 .lib库格式单元

从图中可以看到这个库的库名。每一个cell有一个cell name,接下来花括号里面的是这个cell的各种信息,有这个cell的面积,还有各个pin的信息。pin信息中包含了这个pin的名称,还有这个pin的输入输出方向、时序信息和功能等。

DC在综合电路时,最终都映射到目标库上。DC会在库中选择功能正确的逻辑门单元,使用库中的时序信息来计算电路的路径延迟。target_library是DC的保留变量,设置这个变量可以选择不同的综合库文件进行综合,例如:

978-7-111-55094-5-Chapter06-27.jpg

link_library也是保留变量,用于分辨读入设计中的逻辑门和子模块的功能,例如:

978-7-111-55094-5-Chapter06-28.jpg

“*”表示DC先搜索内存里已有的库,一般放在978-7-111-55094-5-Chapter06-29.jpgtarget_library之前。读入设计时,DC会自动地先搜索内存中已有的库,然后再搜索978-7-111-55094-5-Chapter06-30.jpglink_library中其他的库。当我们读入的是门级网表时,需要把link_library设成指向生成该网表的目标库。否则DC将找不到网表中的器件。DC搜寻变量是通过978-7-111-55094-5-Chapter06-31.jpgsearch_path指定的目录查找。

符号库由半导体供应商提供,它包含了各种库单元在设计电路图中的图形化信息。DC利用符号库产生电路示意图,必须用DC的图形化界面design vision才能看到。当用户产生了一个电路,DC会在门级网表和Symbol library找到一一映射的关系。例如:

978-7-111-55094-5-Chapter06-32.jpg