advanced verilog coding外语英文电子书

《advanced verilog coding外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1SponsoredbySunburstDesignAdvancedVerilogTechniquesWorkshopCliffordE.CummingsSunburstDesign,Inc.cliffc@sunburst-design.comwww.sunburst-design.comExpertVerilogHDL&VerilogSynthesisTraining2AgendaSunburstDesignSponsoredbyThetwodetailsmostmisunderstoodaboutVe

2、rilogAcoupleofimportantVerilogtipsEfficientVerilogFSMcodingstylesVerilog-2001enhancementsEnhancementsalreadyimplementedbyModelSimModelSimquirks&tricksPaperswithmoredetailsabouttheVerilogSeminartopicscanbedownloadedfrom:www.sunburst-design.com/papersAdvanc

3、edVerilogTechniquesWorkshop-200113SponsoredbySunburstDesignTheTwoDetailsMostMisunderstoodAboutVerilogNet-typesvs.register-typesBlockingvs.nonblockingassignmentsIntroducing:theVerilogeventqueue4UseofRegTypesSunburstDesignVs.NetTypesSponsoredbyRegistertypes

4、areonlyassignedinsideofproceduralblocksreg[8:0]sum;LHSmustbearegtypealways@(aorb)sum=a+b;NettypesareassignedordrivenoutsideofproceduralblocksLHS(outputs)LHSmustbeawire[8:0]sum;wirey;mustbenettypesnettypeassignsum=a+b;andg1(y,c,d);AdvancedVerilogTechniques

5、Workshop-200125Blocking&NonblockingSunburstDesignAssignmentsSponsoredbyVerilog"race"conditionsBlockingandnonblockingassignmentfundamentals7GuidelinestohelpavoidVerilograceconditionsVerilog's"StratifiedEventQueue"Examples:SequentialpipelineSequentialLFSR(L

6、inearFeedbackShiftRegister)Combiningblocking&nonblockingassignmentsCommonmisconceptionsaboutNBAs6"Nonblocking"SunburstDesignIsNotATypoSponsoredbyThewordnonblockingisfrequentlymisspelledas:non-blockingMisspelledinmostMisspelledwitha"-"VerilogbooksThecorrec

7、tspellingasnotedintheIEEE1364-1995VerilogStandardis:nonblockingSpell-checkersdonotrecognizeVerilogkeywordsIEEEStd1364-1995Section5.6.4NonblockingassignmentFromtheIEEEVerilogStandarditselfAdvancedVerilogTechniquesWorkshop-200137VerilogRaceConditionsSunburs

8、tDesignSponsoredbyTheIEEEVerilogStandarddefines:whichstatementshaveaguaranteedorderofexecution("Determinism",section5.4.1)whichstatementsdonothaveaguaranteedorderofexecution("Nondeterminism",section5.4.2&"Racecondit