DC详细中文教程angobluesADVANCEDASICCHISYNHESIS

ADVANCEDASICCHIPSYNTHESIS提纲综合的定义ASICdesignflowSynopsysDesignCompiler的介绍SynopsystechnologylibraryLogicsynthesis的过程Synthesis和layout的接口——LTLPost_layoutoptimizationSDF文件的生成综合的定义逻辑综合：决定设计电路逻辑门的相互连接。逻辑综合的目的：决定电路门级结构、寻求时序和与面积的平衡、寻求功耗与时序的平衡、增强电路的测试性。逻辑综合的过程：首先，综合工具分析HDL代码，用一种模型(GTECH)，对HDL进行映射，这个模型是与技术库无关的；然后，在设计者的控制下，对这个模型进行逻辑优化；最后一步，进行逻辑映射和门级优化，将逻辑根据约束，映射为专门的技术目标单元库（targetcelllibrary）中的cell，形成了综合后的网表。ASICdesignflow

VerifiedRTLDesignConstraintsIPandLibraryModelsLogicSynthesisoptimization&scaninsertionStaticTimingAnalysisFormalverificationFloorplanplacement,CTInsertion&GlobalroutingTransferclocktreetoDCPostglobalrouteStaticTimingAnalysisDetailroutingPost-layoutOptimization(in-placeoptimization(IPO))StaticTimingAnalysisTapeoutTimeok?Timeok?nonoTimeok?noASICdesignflow设计举例，tap控制器，已完成代码编写及功能仿真：Tap_controller.vTap_bypass.vTap_instruction.vTap_state.v完成全部设计还需经过如下几个步骤：Pre_layoutSynthesisSTAusingPrimeTimeSDFgenerationVerificationFloorolanningandRoutingPost_layout反标来自layouttool的信息，STAusingPrimeTimePost-layoutOptimizationFixHold-TimeViolationASICdesignflowInitialSetup:建立设计环境，技术库文件及其它设计环境设置。

DC.synopsys_dc.setup文件

company=“ztecorporation”;designer=“name”;technology=“0.25micron”search_path=search_path+{“.”“/usr/golden/library/std_cells”\“/usr/golden/library/pads”}target_library={std_cells_lib.db}link_library={“*”,std_cells_lib.db,pad_lib.db}symbol_library={std_cells.sdb,pad_lib.sdb}ASICdesignflowSynthesis:利用约束完成设计的门及实现及扫描插入Constrainscripts/*Createrealclockifclockportisfound*/if(find(port,clk)=={"clk"}){clk_name=clkcreate_clock-periodclk_periodclk}/*Createvirtualclockifclockportisnotfound*/if(find(port,clk)=={}){clk_name=vclkcreate_clock-periodclk_period-namevclk}ASICdesignflowConstrainscripts（续）

/*ApplydefaultdrivestrengthsandtypicalloadsforI/Oports*/set_load1.5all_outputs()set_driving_cell-cellIVall_inputs()/*Ifrealclock,setinfinitedrivestrength*/if(find(port,clk)=={"clk"}){set_drive0clk}/*Applydefaulttimingconstraintsformodules*/set_input_delay1.2all_inputs()-clockclk_nameset_output_delay1.5all_outputs()-clockclk_nameset_clock_skew-minus_uncertainty0.45clk_name/*Setoperatingconditions*/set_operating_conditionsWCCOM/*TurnonAutoWireloadselectionLibrarymustsupportthisfeature*/auto_wire_load_selection=trueASICdesignflowCompileandscaninsert的scripts,采用bottom_up的编译方法set_fix_multiple_port_net–buffer_constants–allcompile–scancheck_testcreate_test_pattern–sample10preview_scaninsert_scancheck_test如果模块内的子模块具有dont_touch属性需添加如下命令，因要插入扫描remove_attributefind(-hierarchydesign,”*”)dont_touchWritenetlistremove_unconnected_portsfind(-hierarchycell,”*”)change_names–hierarchy–rulesBORGset_dont_touchcurrent_designwrite–herarchy–outputactive_design+”.db”write–formatverilog–hierarchy–outputactive_design+”.sv”ASICdesignflowPre_layout的STA：用DC的静态时序分析引擎做block的STA,用PrimeTime做full_chip的STA。Setup_time分析Hold_time分析其时序约束和提供给DC做逻辑综合的约束相同。静态时序分析同综合一样，是一个迭代的过程，和cell的位置及布线关系密切，通常都执行多次，直到满足需要。ASICdesignflowSDFgeneration,pre_layout的SDF文件，用于pre_layout

timing仿真,同时还需提供时序约束文件（SDF格式）给layouttool做布局布线。script文件如下：

active_design=tap_controller

readactive_designcurrent_designactive_designlinkCreate_clock–period33–waveform{016.5}tckSet_dont_touch_network{tcktrst}

set_clock_skew–delay2.0–minus_uncertainty3.0tckset_driving_cell–cellBUFF1X–pinZall_inputs()set_drive0{tcktrst}set_input_delay20.0–clocktck–maxall_inputs()set_output_delay10.0–clocktck–maxall_outputs()write_timing–formatsdf-v2.1\-outputactive_design+”.sdf”write_constraints–formatsdf–cover_design\-outputconstraints.sdfASICdesignflowVerification利用SDF文件进行动态时序仿真:利用功能仿真时。用verilog编写的test_bench文件形式验证:利用数学算法检查设计的逻辑的等效性，静态验证，需要的时间比动态仿真少，验证全面。在这里验证RTL描述与gate_level网表的逻辑等效性。FloorolanningandglobalRouting；Estimated寄生电容和RCdelay的抽取；利用抽取的参数静态时序分析，若时序不满足要求，生成customwire_load做incrementalsynthesis即post_layout的优化,采用reoptimize_design–in_place命令，其script文件需反标抽取的参数到设计；Detailrouting；real寄生电容和RCdelay的抽取；利用抽取的参数静态时序分析，修正hold_time如需要做post_layout的优化；生成post_layout的SDF文件,做gate_level仿真验证；ASICdesignflowECOEngineeringchangeorder,不属于正常的ASIC流程,一般只有在ASIC设计的后期，需要改变网表，可利用ECO,例如,在tape-out(sign-off)以后，遇见设计的硬件bug。采用ECO可仅对设计的一小部分重新布线不影响chip其他部分的位置及时序，通常，修改不能大于10%。最新版本的DC提供由ECOcompiler,可使设计者手工修改网表，节省时间。一些layout工具也具有ECO功能。DC介绍SynopsysDesignCompiler,是一个基于UNIX系统，通过命令行进行交互的综合工具，除了综合之外，它还含有一个静态时序分析引擎及FPGA和LTL(links-to-layout)的解决方案。我们就以下几个方面对DC做以介绍：script文件：由DC的命令构成，可使DC自动完成综合的整个过程。DC支持的对象、变量、属性DC支持的文件格式及类型DC在HDL代码中的编译开关，控制综合过程Translate_off/translate_on:指示DC终止或开始verilog源代码转换的位置。full_case:阻止case语句在不完全条件下生成latch。Script文件Script文件Script文件的构成DC综合环境设置(.synopsys_dc.setup)；属性和约束信息；综合命令（read,compile)；控制流命令；Conditional:Looping:if(expr){foreach(variable,list){[dc_shellcommands][dc_shellcommands]}else{}[dc_shellcommands]while(expr){}[dc_shellcommands]

Script文件的检查:DC提供syntaxandcontextcheckers来检查Script文件的错误DC支持款的对闷象、汽变量率、属灵性对象柿，DC将设展计对痕象分慕为8泪类，崖分别研如下像：De果si贫gn推:具有钥某种份或多螺种逻棉辑功嫂能的飞电路盖描述像；Ce区ll嗓：设计到的in工st沫an距ce膨；Re维fe循re轨nc蔽e:梢ce豪ll或in最st全an惩ce在库醉中定慕义的英名字颠；Po旅rt谱:d饭es老ig窗n的输嫂入、漂输出切；Pi联n:钟de般si晌gn中ce焦ll的输虏入、漫输出雨；Ne胡t:享po愿rt蜓s和pi钉ns之间铲或pi捷ns之间练的信烂号名举；Cl崖oc育k:被定庄义为拣时钟洽源的pi项n或po旅rt玩；Li屋br爱ar艺y:脊ce锈ll的集保合，沃如：ta助rg告et款_l例ib杏ra纲ry敲,l生in磁k_市li逗br闷ar崇y；DC支持籍的对袋象、叶变量慢、属融性例如盗：DC支持姑的对性象、容变量巨、属丘性对象治的查疲找命归令格名式fi屿nd绍<却ty助pe踢>拖<n痕am叛e橡li腊st高>走-h桑ie辣ra渠rc非hyty钉pe突:D搭C支持姓的所够有对今象；na爪me种l静is技t:设计羡对象肾或库董对象扫的清筹单；-h度ie疯ra汁rc稿hy条：用于居在设葬计的樱各层骂次寻皂找的京对象假；该命气令的命返回旁值为Li刮st摘,l洒is欢t:一种尸字符沿串类饱型，此例如劣：my枝li副st={腾el味1嫁el殃2殿el念3}例如凯：DC支持错的对里象、怪变量拥、属僻性变量债,一捡种标璃识符菌，DC用于凉存储胡信息文，可柱做为酸命令酬的操弯作参坦数。DC预定湿义的欺变量贱，可振用它凶获得柴综合脆过程伐中的流有关父信息庄,如dc纤_s罗he段ll眨_s载ta慈tu随s;DC预定锻义的陕变量喷总有任一个捆缺省钳值，图用户虫可定踩义另逼外的良值，浪如；dc墓_s旺he趁ll约>vh助dl选ou士t_u拥se昼_p究ac避ka遥ge朱={胁li晚br过ar苗y姑IE猴EE棕.s军td匀_l制og堡ic艘_1曾16傍4;验\li责br适ar絮y予ST信D_前LI碰B;谊}用户够定义森的变铃量，烤用于江自动删化综枣合的放过程跃。如课，可反定义湾一个糊变量采，存衔储某饺个时曲钟域危的fl鱼op的个归数。定义脱变量绕：dc造_s辨he乱ll圾>d碎es沫ig瓶ne附r=漆“my逝na塑me”;获得UN允IX的环叙境变剪量：dc散_s精he忙ll骑>d元es激ig眨ne佩r=登ge享t_un黄ix_v远ar府ia录bl农e(重“U属SE键R”归)显示蜜变量咸的值茄：dc断_s乳he能ll考>L议is挂t醉ta附rg辜et坏_l叶ib报ra环ryta或rg爷et炮_l希ib拔ra楚ry医=“cb廊ac勇or放e.d芒b”列出浇所有凯的变男量：dc伏_s摊he捞ll漏>L荒is骑t寺–录va纯ri罗ab些le回a楚ll移去例变量桃：dc妄_s抄he贪ll界>锣re秀mo适ve激_述va戒ri摊ab偏le删d穿es谨ig糖ne轨r,变量鲜没有戴移去并之前携，不絮得重气新定嫂义。注：您变量盼值不豪会被泼保存扇在设映计数票据库叫中。DC支持款的对权象、语变量血、属厘性属性照，DC用于跟存储肤具体护的设却计对酬象，随如：ne类ts败,c锋el狼ls处,c禽lo米ck脏s的信夕息，狼一般己来说艺，属铸性都诱是DC预定搅义,堵命令瓦如下：se促t_斧at通tr绣ib悉ut掀e糕<o直bj垃ec可t摊li柜st覆>派g啊et肆_a牛tt两ri孔bu更te漂<昨ob缸je绝ct怒l不is卸t><a衔tt颈ri币bu异te继n乓am斜e>专<胡at芒tr介ib据ut册e波na猪me敌><降at不tr怀ib殃ut叨e券va揪lu缺e>dc意_s挎he轧ll摄>g街et动_a运tt仪ri弱bu参te雄S完TD惩_L聚IB谎d透ef螺au但lt尿_m净ax笼_t恒ra稍ns讯it焰io束nDC的文访件格地式及富类型DC支持堡的文惩件格鬼式*.db文件意，DC的内芒部文坦件格多式Ve依ri龙lo物g文件VH龙DLED版IF归:e鸣le占ct路ro捐ni赶c请de没si吓gn短i返nt亭er愿ch柏an锅ge淘f颂or任ma输t,用于文不同悬工具尚间门控级网拌表的随移植DC的文殿件类咳型Sc石ri指pt猾f母il胃es蜓<锡fi巨le御na动me骑>.sc招rRT斩Lve炼ri余lo袖gfi显le澡<慰fi激le扩na贺me给>.短vRT么L雾VH收DL零f倾il跟e器<f酷il伪en抬am学e>立.vh枯dSy烟nt桶he窑si炕ze杠d菌VH爷DLne躲tl却is茅t<f化il板en胞am穗e>告.sv肺hdED杯IF分f演il永e察<f垒il壳en由am榨e>迁.ed奴fSy斧nt沈he笼si工ze煮dve绕ri闸lo基g沫ne振tl阻is禁t<f挡il辞en虫am抬e>柱.svSy蜂no至ps搏ysda章ta宝ba右se材f普il咳e侄<f阶il狡en解am束e>徐.d罢bre演po忍rt吸<虚fi珠le删na拆me勾>.蹦r羞ptLo氧g辞fi跟le于s延<f熊il狭en餐am沉e>郊.l卷ogSy作no捎ps生yste侄ch产no忙lo惧gy吐l愈ib奥ra出rySy米no键ps仅yste慰ch鬼no苦lo腿gy献l扫ib蕉ra龄ryte泥ch娃no突lo鹿gy庭l惭ib男ra易ry由半到导体四制造翅商提逝供，浙定义ce挨ll的相闪关信投息及管设计恐标准舒约束贺，分粮为两疤类：ta甲rg鸦et城l贝ib鞠ra侍ri益es灭：在门矿级优厨化及插映射疑时，壳提供落生成崭网表永的ce得ll；li汇nk维l辱ib辣ra德ri翻es姿：提供误设计秀网表暮中可斤引用街的ce嗽ll，DC不利逆用li铃nk如l岂ib御ra贸ri纲es的ce拒ll做综隶合；Sy垄no颤ps塔yste功ch螺no刚lo绵gy敬l怀ib楚ra攻ry结构喂组织朝可看涂作实示际上艘的技由术库唯标准洽，它圣是一站个文巩本文停件(多扩展粱名“凉.li麦b”俩），在使唐用之稳前，涂需被LC编译荷，产富生一借个“痕.db恒”文件汪，其懂构成便如下见：Li握br枕ar破y次Gr疑ou解p;Li吐br慌ar揪y喊le稻ve双l草at胖tr茶ib垒ut撇es策;En咳vi脑ro俗nm奥en金t薯de曾sc钩ri挠pt粱io敞n;Ce狮ll韵d登es球cr她ip香ti剃on幕;Sy盘no岩ps世yste豆ch倍no丹lo泪gy吩l孙ib万ra宏ryLi砖br芳ar布y赞Gr漂ou该p：定义相库名li捐br言ar逼y(遵ex馒25责)/落*姑Li乳br钻ar摊y乌Gr沉ou巩p{/战*s船ta照rt能o笛f琴li阀br厌ar跑y*明/…<a善tt艳ri蚁bu卖te恐s右de欢sc舍ri厨pt睛io撞n><e揪nv砍ir幅on娇me理nt喷d颠es尸cr织ip兄ti艰on惭><c厦el庄l碧de天sc剑ri戚pt挠io设n>…}/恢*e证nd肥o中f况li肃br兴ar烈y*看/一般也，一汁个库逃文件慕含有君一个Li里br劝ar荣y触Gr堵ou蜻p，库避文件袄和Li货br锡ar站y名相痒同。Sy侮no押ps搂yste谅ch父no细lo光gy寄l驳ib愤ra逮ryLi吸br苍ar乏y武le肾ve欢l鸟at蓝tr此ib屋ut涌es任:定义纠技术纠库的熟全局亦属性厘，如圆：技史术库暂的类拴型（CM辰OS橡/T顺TL喂)、日期萝、版懒本及史缺省详值，臂例如奶：li稠br柜ar访y烘(e矿x2伤5)句{te贪ch柱no脆lo约gy俭(cm历os);de巴la组y_驶mo锐de讲l铲:t瞎ab柴le窄_l驰oo肺ku相p;da断te柔:”fe臣b29掏,2且00归0”木;re名vi紫si衡on浴:”绵1.兼0”走;cu胡rr剩en秤t_士un毛it罩:”贝1A抱”;ti疤me摩_u矛ni睬t吐:”稻1n址s”浸;vo快lt悠ag捐e_侧un训it多:”羡1V密”;pu喊ll偶in励g_奖re太si辨st析an俩ce期_u塌ni时t效:”间1k宪oh齿m”亡;ca刷pa陷ci坐ti歉ve域_l史oa泡d_黎un栏it侦(1紧.0屯p权f)毁;de颂fa或ul扒t_in尿ou负t_p榜in欲_c弹ap倚:冰1.击5;de挡fa拒ul板t_派in敲pu盘t_修pi怜n_阴ca劈燕p样:1危.0躲;de饼fa届ul央t_里ou枣tp穿ut喝_p益in漏_c饰ap览:0小.0鼓;de延fa图ul骑t_震ma让x_fa盗no误ut:1堵0.嗽0;de泪fa滩ul舒t_僻ma镜x_脉tr弦an压si茶ti矮on稀:1龙0.补0;de忙fa定ul桐t_克op升er向at吉in笔g_真co岸nd消it享io蛋n飘:盼NO饲MI而NA偷L;in旋_p壳la阅ce墙_s滚wa巾p_落mo灶de鱼:m能at闯ch主_f巾oo璃tp夺ri增nt线;……塞}Sy良no痰ps介yste饥ch浊no英lo苹gy荣l径ib浙ra疫ryEn症vi蚊ro劳nm圾en甘t概de扁sc波ri欧pt警io蚁n:主要攀包括朝：缩放陆因子卵（sc趟al射in云g活fa歉ct昨or赖s)时序讲模型块（ti狼mi来ng湖r蛮an招g被mo及de创ls聪)操作晴条件恒（op量er功at坦io特n合co穗nd紫it权io形n)线性貌负载毕模型控（wi籍re千-l哄oa熔d尖mo抗de灭ls玻)缩放疤因子警（sc耀al铸in痰g束fa奇ct占or话s或K-增fa健ct花or挥s）坦：实际梢上是泊一个直乘数至因子膛，表此示随建着PV汪T的变凯化，坊对设思计延胀时的颜修正奸。例府如：K_扭pr庭oc迷es凶s_倡fa吨ll谣_t毒ra猜ns棋it侄io联n好:1若.0寄;K_垃pr涂oc踢es恳s_场ri环se菜_t苦ra哪ns茅it故io枣n眉:1窃.2除;K_迁te场mp姐_f孤al组l_勾tr洪an亏si后ti它on废:0竞.0饱3;K_它te毒mp嘉_r涝is置e_拨tr克an俘si之ti胜on驶:0种.0军4;K_畏vo轧lt磁_f虫al钞l_诸tr屿an垒si蔑ti磨on题:0勒.0裂2;K_踏vo山lt滔_r症is呼e_典tr警an四si见ti犬on哗:0准.5居;时序母模型蛾（ti芦mi佛ng蛾r崖an切g团mo欠de国ls留)：根据山操作秤条件程的变嘉化，侵修正权信号长到达眼时间菠，如表：Ti时mi事ng截_r鸽an需ge鉴(B务ES抗T)杨{fa摇st茶er俗_f效ac鞋to扒r穿:0荡.5赠;sl范ow懂er灶_f亚ac蚕to竞r杆:1助.3超;}Sy菌no赶ps暮yste娇ch它no喝lo绿gy征l赌ib喜ra哄ry操作蓬条件赶（op江er总at绿io哄n颜co雀nd狱it出io图n)米：定义亮了PV弦T和RC树模批型。DC根据烂操作白条件棵缩放ce迫ll和ne去t的de系la担y;Sy携no第ps痛yste煌ch瓦no吴lo册gy增l亮ib颗ra那rytr清ee疮_t甘yp败e:定义嚷时序坛计算土时内仿部连倒结的尖电阻嫂、电记容值穿的分请配，齿有wo狭rs色t_烫ca英se危_t栽re躁e,弟b究al重an歪ce波_t说re起e,秒b妈es鼓t_敏ca吵se气_t类re妥e,三种上类型早可贡死选择框。我通们利垮用Dc来表闻示dr举iv众er渴p祸in和dr臭iv勤en职c江el飘l的in发pu啦t夕pi杯n的内宋连延硬时，是则它妄们的wi政re患_l汗oa佛d分别娘对因悲如下毁：Sy可no扣ps造yste喊ch毅no洁lo锅gy睡l徒ib然ra祝ry线性妖负载判模型绍（wi离re勒-l制oa傲d饱mo岭de散ls绣)：估计pr串e_虚la淡yo叠ut电路神中ne芦t的电嫁容，闹电阻护及面围积。Sy户no投ps谋ys提供婶了几豆种不滔同的wi校re滑-l乞oa鸡d带mo海de细ls以对哲相应愁的设车计逻萄辑大罚小，耕它给换出了ne馋tfa言no庭ut和ne暖t傍le且ng贿th的统胳计关老系。父例如棕：Sy帅no揉ps民yste脆ch纵no敬lo抗gy惠l坊ib生ra读ryCe绑ll望d桑es宵cr烈ip启ti博on投：描述ce婆ll的属并性，严包括响：输泳入输丈出pi撞n、时序符等，漠例如宪：ce尼ll并(B延UF仇FD扒0)旧{ar肌ea昨:5爸.0骡;pi趴n(彻Z)蓬{ma获x_职ca滴pa距ci散ti匆ve砖:2岗.2改;ma知x_fa茂no驳ut:4拒;fu草nc矩ti惑on黑:”召I”系;di肺re洪ct著io著n:遇ou据tp屈ut明;ti法mi告ng静()仪{……}re贯la急te希d_撕pi摆n:腹“迹I”鹿;}pi先n(堂I)哄{di弃re炸ct画io盼n:镇in畅pu教t;ca南pa士ci袭ti沫ve更:0壳.0您4;fa放no该ut_l作oa槽d:茶2.扇0;ma锄x_信tr烧an损si商ti域on背:1娘.5抵;}}Sy鹿no哑ps狗yste厨ch截no梳lo成gy拆l鹿ib陆ra扛ryCe潜ll各pi贫n相关贿的DR塑C属性In如pu寒t歼pi程n的fa脾no伟ut_l垂oa斧dOu砌tp铃ut迈p采in的ma会x_fa顿no浮utIn晨pu舱t捆or支o捉ut体pu递t兴p挖in的ma罪x_乘tr遣an互si策ti分onIn神pu俯t烤or愈o径ut横pu虹t伯p急in的ma乡丰x_卖ca烂pa浴ci搁ta复nc杯eDR独C属性约定义斧了库席中ce裙ll的操争作条浅件，沈和制轿造厂扎家的闯工艺绿技术它相关值，设叉计不喂能超稠出这岭些条韵件的即规定落。Ce夺ll的DR访C属性天可以初用如忽下命渠令改锈动dc仇_s森he兄ll蜻>se迈t_洁at终tr刺ib淹ut锋efi线nd爪(p熔in使,e匆x2逼5/裤BU淋FF撤D0哄/Z葡)坡ma圣x_fa兼no并ut2.风0时序ce慰ll通过饭将cl目oc池k饼in往pu休t殿pi鸦n的“cl哭oc倡k”属性眼设置酸为tr其ue定义in伙pu愁t好pi临n为时垃钟。Sy呜no丢ps坟yste贝ch乒no的lo浙gy晌l圈ib密ra搁ryGo担od箱l洞ib际ra农ry所有营的ce妨ll都有友各种闷各样悼的驱壳动强是度；Bu疯ff姜er和in薯ve鹿rt酬er盗s的驱刮动强余度变增化范逆围大化；Ce呈ll的ri拨se和fa耻ll的de垒la廉y较均域衡；一个河物理ce爬ll含有花相同涌逻辑辱功能取，但夫相位键相反派输出旁隔离垫，如粮:OR闯,N苦OR集;两个镜物理ce歉ll责s,有相贺同逻禁辑功捎能，惰但相姨位相笨反如宁:AN魂D,予NA巡寿ND颠;拥有督各种和高驱浅动强佣度的悄带有甚一个幸输入in齿ve愈rt承er街s复杂ce教ll那s（秤AI置O,合OA宽I）抗；拥有烛各种透高驱搞动强迷度的伪高扇优入的ce晌ll毫s；拥有琴各种地驱动准强度乳的，箭正沿返负沿纸触发页的fl撑ip勉_f详lo哥p;拥有待各种驰输出治驱动胳强度语的fl胞ip复_f傅lo透p；拥有斤各种抹不同执的se踪蝶t,拆re冻se岭t组合弊的Fl趟op考；拥有岔各种拌驱动范强度须的，似正沿览负沿慈触发仔的la啦tc滋h;拥有de杀la激y雪ce遗ll穴;Sy住no涝ps旦yste盐ch冤no蓬lo染gy里l碰ib脏ra群rySy仗no赖ps恒ys支持佩如下种集中聚延时趋模型患：CM砖OS通用炊延时创模型锦；CM猪OS线性轻延时德模型滑；CM沿OS非线拴性查农找表迟模型胀；前两俘种模斥型已部不常暑用，淘我们充现在弓采用割非线超性延伪时模馋型（no迎n-陵li错ne烦ar帽d掘el沟ay刮m运od遇el斩)计算ce血ll的延耍时。转所谓NL植DM咱,是一泉个二财维查裙找表旋,根给据一基个ce收ll的in筒pu共t吵tr罗an菜si胀ti你on和ou您tp蓄ut匆l描oa庭di锤ng查找ce歼ll的de凉la粪y和ou做tp躺ut迈t压ra倍ns组it挑io退n射,一般坚每一搏个ce局ll都有填两个唤表，乎一个违用于ce绩ll控d鲁el禁ay宅,另一席个用伶于ou益tp啊ut允t摇ra距ns传it葛io堪n宿。对于in萝pu讲t庸tr适an届si欣ti攻on和ou恩tp俗ut跳l吴oa犹di筹ng没有练在表挨中列惹出的ce尼ll美,可用餐插入环法计飘算得如到。Ce滑ll的延六时由in舰pu恭t纲tr裹an袋si达ti输on和ou慈tp奖ut当l驼oa欲di餐ng决定白，但in挺pu公t枝tr毕an景si捧ti疲on就是dr为iv急in龙g朋ce帖ll的ou士tp睡ut敲t恐ra厉ns辟it颜io献n，若dr稿iv像in巨g丑ce某ll有多备个ti打mi砌ng逃a袖rc喂,则dr匪iv慎en眼c出el熔l的延盏时计除算会辜受影已响。敲例如,U1有两册个ou聪tp彩ut恰t邀ra跃ns岭it高io渐n，对U2的延绑时计评算如患何选尼取in途pu威t牺tr筋an蔬si况ti策on艺？我们柴可采慕用se据t_胆di捧sa第bl姜e_凑ti傅mi首ng无U捞1窗–f纸ro懂m愤A铺–t走o摩Z,避免DC采用A白to克Z的ti丙mi注ng嚷a尼rc恐.re江se脑ta2n锁s0.点3n枪sZZAf亡fe籍ct喉ed僵g蜘at绵eU2U1ABPa殃rt碍it刺io薯ni古ng悦f哀or赚s何yn梅th怖es迎is划分竞的目养的使设碰计易防于管献理，雕提高育设计特的重娇用性获得鹅更好地的综疫合结昌果简化步约束喉和sc旅ri卵pt俊s，使综我合操详作更脸容易赶；提高疑编译猾速度划分非应综租合考小虑以挣下几场个方傍面逻辑更的功花能设计由的目银标编译终的技择术下面颜就以覆下几悔个方揪面做警简单昂介绍划分建的方谎法划分础的原桥则RT黄L编码拒指南Pa飘rt洁it远io椅ni吧ng喘f狱or续s赚yn兽th胁es仇is划分挤的方升法在编纪写HD邮L代码尝之前穴，根胸据功督能做滨初步臣划分渗；DC可在它综合杨和对冲划分跪进行杀修改厅；在DC中改漫变划选分的辆命令响：gr劝ou馒p,棒un姜gr注ou讲pGr塘ou红p:将指者定的驴实例您组合仓为一忆个模她块，诞生成丽新的倚层次姥划分吉;Un脖gr胁ou覆p：移去小以前袄的模说块划牙分。烧在执坝行gr株ou和p和un颜gr订ou考p命令伴之前堂，包虎含实害例的录设计锯模块土需设榴置，党命令泥如下矿：dc趋_s卧he忙ll纪>c樱ur赏re生nt其_d裁es舱ig柔n举to虹pU0U1U2to胖pU0U1U2su涛b1to坚pGr排ou鸦p樱{U疾1家U2替}河–d司es胀ig荷n_灵na页me泡s团ub器1Un唤gr脏ou莫p昏-a恒llPa名rt帐it遭io鱼ni拥ng困f婆or醋s谨yn吩th己es盲is划分炊遵循汉的原饮则：相关挣的组死合逻谨辑在特一个否模块吹内；设计樱可重撞用性邀；根据防功能读划分挥模块臂；结构谊逻辑困和秋随机宇逻辑僚分开贴；一个恼合理和的尺仰寸（斤最大气10K门）炎；在顶嚷层分激为I/Op啄ad梯s,D栽FT坊,c镇lo慢ck鱼,c季or谜e强lo惠gi逼c;在顶辉层不匠要加味粘合肯逻辑询；状态轻机和穷别的香逻辑渐分开拦；在一早个bl次oc旬k中不要要有改多个周时钟车；用于外时钟工同步烈的块奇要隔啊离；划分彻时，薪应考谋虑La福yo棚ut收；与技甲术库绢相关蜘的实课例化午的ce望ll应在王单独篮模块谢内；Pa槐rt吉it祝io厘ni眉ng棋f殊or即s跌yn圾th温es脆is编码难指南RT掠L级的HD私L描述滚实际物是电张路结关构的绍文本炮描述电，它渴是技使术无怕关的现，类衫似于厌网表径。HD贼L语言槽先于距综合勾工具排出现伞，综毕合工嫁具只吗能根位据HD士L代码骄进行撤逻辑揪推断冻，对今完成萄同一欢功能猫而书色写方惹式不蚕同的HD丹L代码柱，综授合工慈具会把产生绳不同逐逻辑按电路声。所葵以不缸能依饱靠DC去修必正不高符合挤规范勾的代爹码。餐写代孙码时脖，需瓶清楚蹈描述粉的硬援件电垂路拓熔扑结庭构。RT挥L描述拳内容我如下披：寄存库器的止结构些；电路打的拓闭扑；寄存廉器之却间的挣功能任；DC仅对资寄存疗器之慰间的追逻辑似进行接优化荡,不承会对蚕寄存循器的感排列醋进行万优化男。Pa济rt非it铅io考ni肢ng浅f胳or永s公yn统th书es春is编码含指南HD施L代码曾的编曲写应拒注意地技术咬独立伤性，缩慧尽量急减少血引用裕在某辈些库垒中定棒义门各的ha片rd柔_c盲od相ed。若丙必须甲引用寸，将艘这些工引用染门放膊在一谜个单云独的灿模块送内。Cl讽oc改k逻辑Cl欣oc宗k逻辑流及re茅se多t生成里应放版在一鸽个模矿块中串，便其于综缓合时尚对时正钟约役束的痒定义忧；Cl难oc效k命名民在设絮计的此各层尤次应攻保持祸一致吵性；在一今个模每块内赵不要葬由多趣个时孙钟；对于抓时钟要源的mu乖x，用于客测试渡时控苗制时四钟，最好名人为活实例检化，巩便于se辜t_高di饶sa陵bl息e_杂ti挑mi紧ng的使藏用；在to乒p各le趁ve帽l不要竞有粘决和逻移辑；一个眼文件察仅包牛含一雷个模阶块，附模块司名与喝文件功名相舞同；I/泄O厨pa导d应为洗单独爬的模烦块；最小校化不腥必要券的层若次，触过多瞧的层驰次会森降低宵电路邪的性今能，证因DC逻辑楼优化横不能新跨越丝式模块罢的层徒次；所有发模块但的输毁出直直接来夸自寄舌存器模的输棉出；状态粥机对ve锐ri蓄lo益g,S漫ta叶te命名茶使用糊“pa端ra此me价te括rs谜”刺;组合勇逻辑红和时闯序逻年辑分靠开；综合川环境建立在综精合之雕前必宋须用se浮tu序p文件眯配置阵综合屯的环证境，颤下面胡，我阔们就卧以下辛几个鹊方面画对se盏tu斩p文件撑进行躁介绍蜓：se仇tu部p文件顷的位伴置se节tu虹p文件垄的内愧容se丘tu滤p文件齐举例综合党环境建立se喊tu陕p文件汪的位姜置：由一纤个se颗tu稼p文件统提供尊，文甘件名教必须丹为“肚.sy挨no拆ps灰ys_d每c.泼se炭tu签p”死,通过帽向相古关环筐境变杆量赋箱值，晃定义荐技术誉库的寇位置浩及综功合需您要参符数。se绣tu夫p文件本的位库置如昂下：Sy手no婶ps蝴ysin童st亿al震la意ti咏on斜d庙ir怒ec末to宜ry匪：它用煌于卸毅载Sy絮no语ps陕ys技术奥独立乔库及域别的脑参数躺，不以包含剪设计呀相关卸的数迈据。Us船er惭s谅ho醋me刚d销ir淋ec汽to驳r：用的se撕tu绢p信息窝。Pr到oj辅ec约t吃wo剂rk里in济g克di抢re雀ct呆or扫y：设计智的se哑tu谜p信息DC按以担上顺坛序依聋次读说取se策tu听p文件环，最鄙后一皇个读欠取的se佣tu述p文件酬将覆元盖前娇面读薪取的se猾tu乏p文件懒。将设近计相乞关的st击ar汤tu筹p文件门放于Pr终oj基ec枣t厌wo粗rk揪in小g逢di堡re捕ct槐or滋y下。综合级环境建立St殃ar丸tu西p文件斤必须拖定义腿如下宅变量：Se垦ar余ch捷_p时at宽h:指明呢库文块件的伐位置Ta棕rg忧et丧_l悠ib揪ra爹ry食:既技懂术库糠，由西生产逝厂家捷提供潜，该脆库中找的ce搏ll视s,被DC用于光逻辑宗映射狸。Ta淹rg停et霸l哄ib台ra捉ry的文微件名冶应包还含在Li阔nk尤li占br温ar哈y的文舌件清畜单中姜，用初于DC读取鼠门级痕网表爱。Li煌nk基_株li德br管ar央y:该库逼中的ce纠ll鉴s,孔DC无法字进行汤映射刃，例艘如：RA谨M,拾RO锣M及Pa显d，在RT德L设计荡中，受这些ce伞ll缠s以实腰例化般的方窑式引隶用。Sy捎mb票ol减_l关ib绵ra域ry飞:该库肤文件屯包含吐技术多库中ce钉ll灰s的图避形表斑示，探用于DA生成伴门级惧示意候图。Ta酒rg续et烤_l公ib爬ra钟ry和Li巩nk荷_读li戏br尿ar版y为设气计者多提供习了将霞门级亡网表仰从一遭种技幕术在战映射尖到怠另一类种技负术的捉方法推，将闪旧的Ta帝rg司et话l渔ib刺ra粪ry文件龄名包编含在Li泉nk俗_l艰ib吗ra塔ry的文竟件清悄单中夹，而Ta役rg搭et马_l诞ib哪ra民ry包含计新的Ta挑rg缸et夫l转ib楚ra矿ry文件乓名，厅利用tr醒an士sl挂at甘e命令穗实现沉。综合览环境建立设计苏相关勾的st泄ar我tu饺p文件筝的例加子：.sy举no驶ps寄ys_d挨c.数se加tu扣p文件co匪mp魔an麻y烦=“营zt南e助co育rp形or绪at炉io径n”获;de动si乓gn骄er漠=“己na庆me投”;te智ch厨no复lo让gy瞧=“架0.伏25侦m过ic叶ro读n”se但ar早ch黎_p惭at奴h=音se可ar杏ch框_p朵at加h+邮{“蔬.”级“仪/us版r/g米ol美de演n/抢li蜘br简ar挎y/肺st戚d_宏ce示ll侍s”介\“/us成r/g今ol胖de厌n训/l衣ib衬ra免ry爆/p租ad短s”妄}ta临rg曲et牵_l惨ib扶ra衡ry芦=魂{s小td瞧_c们el立ls缩慧_l夫ib届.d婆b}li沿nk桨_l芝ib碗ra祝ry自=顾{“魂*”耍,s危td寨_c兼el纸ls畜_l集ib触.d欢b,具pa短d_砖li庙b.愁db宅}sy闻mb挤ol为_l园ib践ra蚁ry沙=鞭{s牲td叮_c升el示ls促.sd好b,p方ad随_l席ib赢.sd咱b}其它涨的环荐境变筒量的慎设置降参看DC的操动作手铜册。逻辑纤综合训的过切程DC通过Sc划ri医pt文件丘，自洒动完殊成模逮块的允综合属过程布，其清内容茎如下招：RT铲L斯de触si俊gn且e肃nt遭ryEn哭vi雨ro庆nm厘en秆t方co嫌ns销tr闭ai婚nt驰sDe庙si颜gn粗a宋nd份c滔lo蝴ck费c雪on宁st壤ra涉in侵tsCo涉mp锐il慨e蛾de旱si张gn才i硬nt技o散ma橡pp如ed嫂g祸at趴esOp攀ti孟mi想zi抖ng炭d今es赵ig蓬nan财al例yz扩e仆th植e抓sy时nt化he无si傍s咬re蛾su现lt爆s吵an目d英de眉bu质g哗po州te乘nt拆ia盈l粗pr携ob膜le撤ms阅.Sa狱ve川d围es哗ig沈nne吵tl拒is苏tRe俱po振rt悉c庭on麦st楼ra浮in宁ts(O臂pt饲io刻na搁l)惑A岭pp萝ly集c拼ri春ti区ca蜻l粥pa耕th曾c逐on必st称ra调in胡ts(O复pt绳io丧na剑l)促S附ec均on烟d里co蛇mp拔il喜e方to驰i抚mp趋ro留ve回c枕ri轮ti呢ca杰l欺pa棚th尼s(O闻pt装io液na垄l)惜S败ec牙on所d页pa四th庸c挠om添pi愚le页c齿on恰st拦ra乔in饮t抵re费po胡rtRT薄L凭de垂si唯gn沙E栗nt栗ry功能云：向DC输入HD腹L描述捡的设题计,命令勉：re痛ad和an慨al尘yz很e&搅el狸ab懒or固at得e，推荐盲用an悬al框yz智e&危el朱ab参or牵at膝ean催al郊yz挺e&膏el含ab捆or挑at施e允许交设计烛者在呀设计凉的GT佛EC互H建立骗之前售，首边先去侦分析称设计耗的语窗法错驳误和境进行HD李L代码珍转换编。GT撤EC落H由“so鞭ft辞m炭ac督ro型s”贷s罚uc休h榜as修a增dd弱er绿s,蛇c霸om壁pa刑ra见to润rs等组心成，柜这些丢组件默来自sy略no掘ps悉ys的sy纵nt驾he倚ti膛c饶li寺b，每种处组件胀具有欺多种灯结构届。An即al汉yz肃e做语伸法的址检查睬并产域生一构个“召.sy圣n”文件议，存喷储于wo祥rk路径叶下的测定义展的设匪计库跨内，锋可供昨后来el偏ab访or捐at租e使用脂。对征于一葬个an姐al道yz仁ed设备败，只食需用el仓ab目or夏at裤e重新榆输入污，节组省时卧间。Re角ad就不盖行。宴以下软是两时个命异令的换比较葵：类别

analyze&elaborate

read格式

verilog或VHDLverilog、VHDL、EDIF、db等所有格式用途综合verilog或VHDL的RTL设计读网表，设计预编译设计库用-library选项定义设计库名，存储“.syn”文件用缺省的设置，不能存储中间结果Generics(vhdl)可用不可用Architecture(vhdl)可用不可用En炊vi役ro啊nm诱en裁t赵co促ns轧tr板ai真nt它s功能仙：定横义设痕计的缩慧工艺镜参数破，I/确O端口卷属性仇，统旺计wi终re战-l腥oa扯d模型慕。下讲图解违释了迎描述预设计订环境晴约束钓的DC命令票：set_max_capacitanceset_max_transition&set_max_fanoutoninput&outputportsorcurrent_design;BlockBClockDividerLogicBlockAset_loadonoutputset_operating_conditionsonthewholedesignclkset_driveonClockset_driving_celloninputsignalsset_loadoninputsset_wire_loadforeachblock,includingtoplevelTo价p也le披ve画lEn保vi矩ro抛nm欢en救t类co畅ns心tr坑ai坟nt辰sSe邻t_贝op乡丰er缸at刮in廊g_赚co厚nd选it慰io闷ns线<挨na捐me穿o描f示op屋er邪at挽in暂g谁co布nd角it应io蒙ns尺>用于胆描述绣操作金条件末：pr施oc稼es示s,应vo娱lt治ag脉e,矩te鹅mp临er参at葵ur蔑e,ce翅ll和wi膛re的de哈la刑y和操偶作条芽件呈仍线性匠关系括。如体：Se渔t_欣op旱er悉at理in芒g_给co渗nd拴it织io恐ns继WO貌RS船T（或TY什PI包CA哗L、肢BE露ST猾)命令se缴t_休op霞er假at形in期g_间co搂nd晴it错io谅ns绩–闲mi牺n珍BE狭ST纯–跃ma公x疫WO姑RS厦T用于热指示DC对设秤计的WO匹RS库T和