数字电路后端设计逻辑综合.pptx
《数字电路后端设计逻辑综合.pptx》由会员分享,可在线阅读,更多相关《数字电路后端设计逻辑综合.pptx(59页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1概述概述l综合是将综合是将RTLRTL源代码转换成门级网表的过程。源代码转换成门级网表的过程。l电路的逻辑综合一般由三个步骤组成,即电路的逻辑综合一般由三个步骤组成,即 综合转化逻辑优化映射(综合转化逻辑优化映射(见下页图见下页图)(SynthesisSynthesisTranslationTranslationLogic OptimizationLogic OptimizationMappingMapping)l在综合过程中,优化进程尝试完成库单元的组合,使组合成的电路能最好在综合过程中,优化进程尝试完成库单元的组合,使组合成的电路能最好地满足设计的功能、时序和面积的要求地满足设计的功能、
2、时序和面积的要求l综合是约束驱动(综合是约束驱动(constraint drivenconstraint driven)的,给定的约束是综合的目标。)的,给定的约束是综合的目标。约束一般是在对整个系统进行时序分析得到的,综合工具会对电路进行约束一般是在对整个系统进行时序分析得到的,综合工具会对电路进行优化以满足约束的要求。优化以满足约束的要求。l综合以时序路径为基础进行优化。综合以时序路径为基础进行优化。l常用的综合工具有常用的综合工具有SynopsysSynopsys公司的公司的Design Compiler Design Compiler 和和CandanceCandance公司公司的的E
3、nconter RTL CompilerEnconter RTL Compiler第1页/共59页2第2页/共59页3l综合过程中时序与面积的关系综合过程中时序与面积的关系 从下图中可以看出面积与延迟的折衷关系,综合工具以约束为指导,在满足时从下图中可以看出面积与延迟的折衷关系,综合工具以约束为指导,在满足时序的情况下获得最小面积。如果不施加约束,综合工具会产生非优化的网表,而序的情况下获得最小面积。如果不施加约束,综合工具会产生非优化的网表,而这是不能满足要求的网表。所以约束对于综合来说是必不可少的。这是不能满足要求的网表。所以约束对于综合来说是必不可少的。第3页/共59页4l综合的基本流程
4、综合的基本流程1.1.准备准备RTLRTL代码:代码:RTLRTL代码经过前端仿真后才能用于综合。代码经过前端仿真后才能用于综合。2.2.定义库:设定好所需要用到的综合库等多种库。定义库:设定好所需要用到的综合库等多种库。3.3.读入设计:综合工具读入读入设计:综合工具读入RTLRTL代码并进行分析。代码并进行分析。4.4.定义设计环境:设定设计的工作环境、端口的驱动和负载,线负载模定义设计环境:设定设计的工作环境、端口的驱动和负载,线负载模型等。型等。5.5.设置设计约束:这是综合的一个极其重要的环节,设定好正确的约束设置设计约束:这是综合的一个极其重要的环节,设定好正确的约束才能得到正确的
5、综合结果。约束要适当,不能过紧或过松。主要是定义才能得到正确的综合结果。约束要适当,不能过紧或过松。主要是定义时钟和时钟和I/OI/O的约束。的约束。6.6.设置综合策略:有设置综合策略:有top-downtop-down和和bottom-upbottom-up两种策略,各有所长,对于两种策略,各有所长,对于不同的设计要具体分析。不同的设计要具体分析。7.7.优化设计:综合工具可以根据约束对电路进行优化,也可以人为地加优化设计:综合工具可以根据约束对电路进行优化,也可以人为地加入命令,改变优化方法。入命令,改变优化方法。8.8.分析和解决设计的问题:在设计综合(分析和解决设计的问题:在设计综合
6、(compilecompile)后,根据报告来分析)后,根据报告来分析设计中出现的问题,进而修订所出现的问题。设计中出现的问题,进而修订所出现的问题。9.9.保存设计数据:综合完成后,保存各种数据,以供后续的布局布线使保存设计数据:综合完成后,保存各种数据,以供后续的布局布线使用(需先通过验证)。用(需先通过验证)。第4页/共59页5l Basic FlowDevelop HDL filesSpecify librariesRead designDefine design environmentSet design constraintsSelectcompile strategyOptimi
7、ze the designAnalyze and resolvedesign problemSave the design database第5页/共59页6Design Compiler简介简介lDesign CompilerDesign Compiler有两种界面供用户使用,一种是命令界面,一种是图形有两种界面供用户使用,一种是命令界面,一种是图形界面。在界面。在UNIXUNIX命令行下分别执行以下命令可以分别进入上述两种界面:命令行下分别执行以下命令可以分别进入上述两种界面:unixunix dc_shell-tdc_shell-t (命令界面)(命令界面)unixunix design
8、_visiondesign_vision(图形界面)(图形界面)lDesign CompilerDesign Compiler支持支持TCLTCL(Tool Command LanguageTool Command Language)语言,它是公开)语言,它是公开的业界标准界面语言。的业界标准界面语言。DC-TclDC-Tcl在在TCLTCL的基础上扩展丰富了的基础上扩展丰富了TCLTCL,使用户可,使用户可以更加灵活方便地运用以更加灵活方便地运用TCLTCL命令来对电路进行分析和优化。命令来对电路进行分析和优化。lDCDC中包含了多种工具,如中包含了多种工具,如DFT CompilerDFT
9、 Compiler,Power CompilerPower Compiler,HDL HDL CompilerCompiler,Library CompilerLibrary Compiler等,使得等,使得DCDC具有强大的功能,成为业界最具有强大的功能,成为业界最流行的综合工具。流行的综合工具。第6页/共59页7目标库和初始环境的设置目标库和初始环境的设置lDCDC启动时会先启动启动时会先启动.synopsys_dc.setup.synopsys_dc.setup文件,它里面设定了综合所需要文件,它里面设定了综合所需要的工艺库的信息以及一些对于工具的设定命令。的工艺库的信息以及一些对于工具
10、的设定命令。l在综合之前,要设定好所需要的库,如综合库、在综合之前,要设定好所需要的库,如综合库、I/OI/O单元库,单元库,IPIP核等。核等。l半导体厂商提供与半导体厂商提供与DCDC兼容的工艺库综合库,它包含许多信息,如单元兼容的工艺库综合库,它包含许多信息,如单元的功能、面积、时间、功耗、测试等,线负载模型,工作条件和设计规的功能、面积、时间、功耗、测试等,线负载模型,工作条件和设计规则约束等。在则约束等。在0.18um0.18um的工艺下,可采用非线性延迟模型(的工艺下,可采用非线性延迟模型(NLDMNLDM)来计算)来计算单元的延迟。单元的延迟与输入的逻辑转换时间和输出负载有关。根
11、据单元的延迟。单元的延迟与输入的逻辑转换时间和输出负载有关。根据每个单元的输入逻辑转换时间和输出负载,在工艺库提供的查找表每个单元的输入逻辑转换时间和输出负载,在工艺库提供的查找表(Look-Up TableLook-Up Table)中查出单元的延迟。)中查出单元的延迟。第7页/共59页8l.synopsys_dc.setup.synopsys_dc.setup文件主要包括各种库的设定,变量的设定等。下面文件主要包括各种库的设定,变量的设定等。下面具体介绍各种库的意义及如何设定。(具体介绍各种库的意义及如何设定。(实例实例)目标库目标库(target_librarytarget_librar
12、y):):是是DCDC在做编译(在做编译(compilecompile)的时候来构成电路图的,将电路映射到具体的)的时候来构成电路图的,将电路映射到具体的单元上。例如单元上。例如 set target_library my_tech.dbset target_library my_tech.db链接库链接库(link_librarylink_library):):是将设计连接到对应的库上,一般包含目标库、宏单元、是将设计连接到对应的库上,一般包含目标库、宏单元、IPIP核等。例如:核等。例如:setset link_library“*my_tech.db”link_library“*my_te
13、ch.db”。其中。其中“*”*”指明当链接设计时,指明当链接设计时,DCDC先搜寻内存中已有的库,然后再搜寻变量先搜寻内存中已有的库,然后再搜寻变量link_librarylink_library中制定的其它中制定的其它库。库。符号库符号库(symbol_librarysymbol_library):):定义了单元显示的图形库,当用定义了单元显示的图形库,当用design_visiondesign_vision来查看图形的时候使用。来查看图形的时候使用。综合库综合库(synthetic_librarysynthetic_library):):是由是由SynopsysSynopsys公司提供的
14、公司提供的DesignWareDesignWare库,包含了许多库,包含了许多IPIP核及运算单元,核及运算单元,用于实现用于实现verilogverilog描述的运算符,为电路的优化起着重要的作用。描述的运算符,为电路的优化起着重要的作用。搜寻路径搜寻路径(search_pathsearch_path):):指定各种库的路径,可以将所用的库的路径放入指定各种库的路径,可以将所用的库的路径放入search_pathsearch_path中,在设定中,在设定target_librarytarget_library和和link_librarylink_library时就不必加上库的绝对路径,时就不
15、必加上库的绝对路径,DCDC会自动会自动在在search_pathsearch_path中寻找所用到的库的路径从而读入该库。中寻找所用到的库的路径从而读入该库。.synopsys_dc.setup文件文件第8页/共59页9变量的设定变量的设定:设置的变量在:设置的变量在DCDC启动时读入,便于综合的处理,同时有些启动时读入,便于综合的处理,同时有些DCDC的变量必须在设置文件中输入。如可以设定命令的简写,保存多少条的变量必须在设置文件中输入。如可以设定命令的简写,保存多少条命令等:命令等:alias cud current_designalias cud current_designalias
16、 rpt report_timingalias rpt report_timinghistory keep 300history keep 300第9页/共59页10l综合脚本实例(综合脚本实例(.synopsys_dc.setup)第10页/共59页11系统层次的划分与基本概念系统层次的划分与基本概念l在在DC中,每个设计由中,每个设计由6个设计物体组成,它们分别是个设计物体组成,它们分别是design,cell,port,pin,net和和clock。其中。其中clock是特别的端口,它存在是特别的端口,它存在DC内存中,内存中,是用户自己定义的物体。如下图所示:是用户自己定义的物体。如下
17、图所示:第11页/共59页12l当前设计为当前设计为TOP。Port和和Pin是与当前设计有关的一对概念,如果当前是与当前设计有关的一对概念,如果当前设计改变,相应的设计改变,相应的port和和pin也会不同也会不同第12页/共59页13设计读入设计读入l读入设计有多种方法,读入设计有多种方法,DC支持读入支持读入Verilog,VHDL,可以是,可以是RTL级代级代码,也可以是门级网表,也可是码,也可以是门级网表,也可是ddc格式的文件。综合前的设计不需用格式的文件。综合前的设计不需用RTL格式(虽然也有其它格式)输入到格式(虽然也有其它格式)输入到DC中。中。l可以用以下命令读入设计:可以
18、用以下命令读入设计:1.analyze和和elaborate命令:这是两个不同的命令,它使得设计人员命令:这是两个不同的命令,它使得设计人员可以在建立设计通用逻辑之前先对设计进行语法错误和可以在建立设计通用逻辑之前先对设计进行语法错误和RTL转换分析。转换分析。2.read_file命令:如:命令:如:read_file format verilog sd_clk.v3.read_verilog或或read_vhdl命令,这些是从命令,这些是从read_file中分离出来中分离出来的命令,如:的命令,如:read_verilog sd_clk.vl读入代码后用命令读入代码后用命令current
19、_design和和link将读入的设计和综合库连接起将读入的设计和综合库连接起来。来。第13页/共59页14电路的设计目标与约束电路的设计目标与约束lRTL模块综合的流程如下图所示。电路的约束分为设计环境和设计约束,模块综合的流程如下图所示。电路的约束分为设计环境和设计约束,DC以约束为目标进行电路优化。以约束为目标进行电路优化。第14页/共59页15l设计环境设计环境通过环境约束的设计,将设计所处的真实环境因素包含进去,使得设计通过环境约束的设计,将设计所处的真实环境因素包含进去,使得设计可以正常工作在真实环境下。环境约束如下图所示可以正常工作在真实环境下。环境约束如下图所示:第15页/共5
20、9页16lset_operating_conditions描述了设计的工艺、电压及温度条件。描述了设计的工艺、电压及温度条件。Synopsys库包含这些条件的描述,通常为库包含这些条件的描述,通常为WORST,TYPICAL,BEST情况。工作条件的名称可库的名称是相关的,如情况。工作条件的名称可库的名称是相关的,如SMIC 0.18um工艺提工艺提供供slow.db,typical.db,fast.db三种工艺库,它们的工作条件分别三种工艺库,它们的工作条件分别是是slow(WORST),typical(TYPICAL)和和fast(BEST)。)。WORST情情况通常用于综合阶段,而况通常
21、用于综合阶段,而BEST情况通常用于修正保持时间违规。有时可情况通常用于修正保持时间违规。有时可能同时用能同时用WORST和和BEST情况同时优化设计,这时使用命令:情况同时优化设计,这时使用命令:set_operating_conditions-max slow-max_library slow -min fast -min_library fastl可以用可以用set_min_library指定指定best和和worst两种库,在设计中所用到的两种库,在设计中所用到的库都可以指定。如库都可以指定。如:#为综合用的为综合用的sram库指定最佳情况可最坏情况库指定最佳情况可最坏情况set_mi
22、n_library sram_slow.db min_vision sram_fast.db第16页/共59页17lset_wire_load_model命令为命令为DC提供估计的线负载信息,反过来提供估计的线负载信息,反过来DC使使用线载信息把连线延迟建模为负载的函数,用线载信息把连线延迟建模为负载的函数,Synopsys工艺库里提供了多工艺库里提供了多种线载模型,每个模型代表一个特定大小的模块。设计人员需要准确地种线载模型,每个模型代表一个特定大小的模块。设计人员需要准确地选择线载模型。设置线载模型命令如下:选择线载模型。设置线载模型命令如下:set_wire_load_model nam
23、e smic18_wl10 library slowlset_wire_load_mode定义了三种同建模线负载模型相关的模式,分别定义了三种同建模线负载模型相关的模式,分别是是top,segmented和和enclosed,如下图所示:,如下图所示:第17页/共59页181.top模式定义层次中所有连线将继承和顶层模型同样的线载模型。如上模式定义层次中所有连线将继承和顶层模型同样的线载模型。如上图中,所有的连线都继承顶层的线载模型图中,所有的连线都继承顶层的线载模型50 x50。2.segmented模式用于跨越层次边界的连线。如上图中,子模块模式用于跨越层次边界的连线。如上图中,子模块A和
24、子和子模块模块B中的连线继承各自的线载模型,而中的连线继承各自的线载模型,而A与与B之间的连线继承模块之间的连线继承模块MID的线载模型。的线载模型。3.enclosed模式指定所有的连线(属于子模块的)将继承完全包含该子模式指定所有的连线(属于子模块的)将继承完全包含该子模块的模块线载模型。如上图中,整条连线处于模块模块的模块线载模型。如上图中,整条连线处于模块MID的完全包围中,的完全包围中,所以采用所以采用40 x40线载模型。其命令如下线载模型。其命令如下set_wire_load_mode enclosedlset_driving_cell和和set_drive用于设置模块输入端口的
25、驱动能力。用于设置模块输入端口的驱动能力。set_drive命令用于指定输入端口的驱动强度,它主要用于模块或芯片端命令用于指定输入端口的驱动强度,它主要用于模块或芯片端口外驱动电阻。口外驱动电阻。set_driving_cell用于对输入端口的驱动电阻进行建模,用于对输入端口的驱动电阻进行建模,这一命令将驱动单元的名称作为其参数并将驱动单元的所有设计规则约这一命令将驱动单元的名称作为其参数并将驱动单元的所有设计规则约束应用于模块的输入端口。束应用于模块的输入端口。set_driving_cell lib_cell and2a0 get_ports IN1 library slow第18页/共5
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数字电路 后端 设计 逻辑 综合
限制150内