资源描述：
《Principles of Verifiable RTL Design (2nd Ed.).pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、PrinciplesofVerifiableRTLDesignSecondEditionThispageintentionallyleftblankPrinciplesofVerifiableRTLDesignSecondEditionAfunctionalcodingstylesupportingverificationprocessesinVerilogLionelBeningandHarryFosterHewlett-PackardCompanyKLUWERACADEMICPUBLISHERSNEWYORK,BOSTON,DORDRECHT,LONDON,MOSCOW
2、eBookISBN:0-306-47631-2PrintISBN:0-7923-7368-5©2002KluwerAcademicPublishersNewYork,Boston,Dordrecht,London,MoscowPrint©2001KluwerAcademicPublishersDordrechtAllrightsreservedNopartofthiseBookmaybereproducedortransmittedinanyformorbyanymeans,electronic,mechanical,recording,orotherwise,withou
3、twrittenconsentfromthePublisherCreatedintheUnitedStatesofAmericaVisitKluwerOnlineat:http://kluweronline.comandKluwer'seBookstoreat:http://ebooks.kluweronline.comDedicatedto:Ann,LauraandDonna-LionelRoger,Elliott,Lance,HannahandJeanne-HarryThispageintentionallyleftblankTableofContentsFOREWOR
4、DxvPREFACExix1Introduction11.1RegisterTransferLevel21.1.1WhatisIt?21.1.2VerifiableRTL31.1.3ApplyingDesignDiscipline41.2Assumptions41.3OrganizationofThisBook52TheVerificationProcess92.1SpecificationDesignDecomposition102.1.1High-LevelDesignRequirements112.1.2Block-LevelSpecificationandDesig
5、n132.1.3RTLImplementation132.1.4SynthesisandPhysicalDesign132.2FunctionalTestStrategies142.2.1DeterministicorDirectedTest152.2.2RandomTest162.2.3TransactionAnalyzerVerification182.2.4ChipInitializationVerification192.2.5SynthesizableTestbench20viii2.3TransformationTestStrategies202.4Summar
6、y213Coverage,EventsandAssertions233.1Coverage243.1.1Ad-hocMetrics253.1.2ProgrammingCodeMetrics253.1.3StateMachineandArcCoverageMetrics273.1.4UserDefinedMetrics273.1.5FaultCoverageMetrics273.1.6RegressionAnalysisandTestSuiteOptimization283.2EventMonitorsandAssertionCheckers283.2.1Events293.
7、2.2Assertions313.2.3AssertionMonitorLibraryDetails363.2.4EventMonitorandAssertionCheckerMethodology373.2.4.1LintingStrategy393.2.4.2ImplementationConsiderations393.2.4.3EventMonitorDatabaseandAnalysis403.3Summary414RTLMethodologyBasics434.1SimpleRTLVerifiableS
