资源描述：
《(Kluwer) Principles of Verifiable RTL Design (2nd Ed.).pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、PrinciplesofVerifiableRTLDesignSecondEditionThispageintentionallyleftblankPrinciplesofVerifiableRTLDesignSecondEditionAfunctionalcodingstylesupportingverificationprocessesinVerilogLionelBeningandHarryFosterHewlett-PackardCompanyKLUWERACADEMICPUBLISHERSNEWYORK,BOSTON,DORDRECHT,LON
2、DON,MOSCOWeBookISBN:0-306-47631-2PrintISBN:0-7923-7368-5©2002KluwerAcademicPublishersNewYork,Boston,Dordrecht,London,MoscowPrint©2001KluwerAcademicPublishersDordrechtAllrightsreservedNopartofthiseBookmaybereproducedortransmittedinanyformorbyanymeans,electronic,mechanical,recordin
3、g,orotherwise,withoutwrittenconsentfromthePublisherCreatedintheUnitedStatesofAmericaVisitKluwerOnlineat:http://kluweronline.comandKluwer'seBookstoreat:http://ebooks.kluweronline.comDedicatedto:Ann,LauraandDonna-LionelRoger,Elliott,Lance,HannahandJeanne-HarryThispageintentionallyl
4、eftblankTableofContentsFOREWORDxvPREFACExix1Introduction11.1RegisterTransferLevel21.1.1WhatisIt?21.1.2VerifiableRTL31.1.3ApplyingDesignDiscipline41.2Assumptions41.3OrganizationofThisBook52TheVerificationProcess92.1SpecificationDesignDecomposition102.1.1High-LevelDesignRequirement
5、s112.1.2Block-LevelSpecificationandDesign132.1.3RTLImplementation132.1.4SynthesisandPhysicalDesign132.2FunctionalTestStrategies142.2.1DeterministicorDirectedTest152.2.2RandomTest162.2.3TransactionAnalyzerVerification182.2.4ChipInitializationVerification192.2.5SynthesizableTestben
6、ch20viii2.3TransformationTestStrategies202.4Summary213Coverage,EventsandAssertions233.1Coverage243.1.1Ad-hocMetrics253.1.2ProgrammingCodeMetrics253.1.3StateMachineandArcCoverageMetrics273.1.4UserDefinedMetrics273.1.5FaultCoverageMetrics273.1.6RegressionAnalysisandTestSuiteOptimiz
7、ation283.2EventMonitorsandAssertionCheckers283.2.1Events293.2.2Assertions313.2.3AssertionMonitorLibraryDetails363.2.4EventMonitorandAssertionCheckerMethodology373.2.4.1LintingStrategy393.2.4.2ImplementationConsiderations393.2.4.3EventMonitorDatabaseandAnalysis403.3Summary414RTLMe
8、thodologyBasics434.1SimpleRTLVerifiableS
