逻辑综合:把RTL代码,映射到特定的工艺库,添加约束信息,对RTL代码进行优化,形成门级网表(netlist)。
1 综合
综合=转化+门级映射+优化。
转化得到不依赖特定工艺库的GTECH netlist。
门级映射将GTECH netlist映射到特定工艺库得到gate netlist。
gate netlist经过时序约束和优化得到最终的netlist。
RTL→→GTECH netlist→→gate netlist→→最终的netlist
2 工艺库
.db工艺库(用于门级网表映射) .lib工艺库(用于工程师查看)
target library
link library
3 链接(引用,仅学习使用)
理解DC中的link_library与target_library_target library和link library_kevindas的博客-CSDN博客