资源描述：
《Generating_Hardware_Assertion_Checkers.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、GeneratingHardwareAssertionCheckersMarcBoulé·ZeljkoZilicGeneratingHardwareAssertionCheckersForHardwareVerification,Emulation,Post-FabricationDebuggingandOn-LineMonitoringABCDr.MarcBouléProf.ZeljkoZilicDepartmentofElectrical&ComputerEngineeringMcGillUniversity3480UniversityStreetMontrea
2、lQCH3A2A7Canadazeljko.zilic@mcgill.caISBN978-1-4020-8585-7e-ISBN978-1-4020-8586-4LibraryofCongressControlNumber:2008928686°c2008SpringerScience+BusinessMediaB.V.Nopartofthisworkmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopyi
3、ng,microfilming,recordingorotherwise,withoutwrittenpermissionfromthePublisher,withtheexceptionofanymaterialsuppliedspecificallyforthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.Printedonacid-freepaper987654321springer.comAmesfr`ereset`amespar
4、entsbien-aim`es´MarcToKasia,Pauline,IvanAlexanderandMariaZeljkoForewordWhenIwasyoung,mydadlikedtotellme,Ifyoudontaskthequestion,youwontgettheanswer.Today,IhaveadeeperunderstandingofhismessageandIhaveappliedhiswisdomtomanyareasinmylife.Inmyprofessionallife,inthedomainofdigitaldesignand
5、verification,Ilearned(perhapsthehardway)thatifIneglecttowriteachecker,whichaskswhethersomeaspectofthedesignisbehav-ingcorrectlythenitisunlikelythatIwillfindcertainbugs.Thisconcept,knownasobservability,isattheheartofanassertion-basedverificationmethodology.Andifyouaskanyprojectmanager,Wha
6、tisthebiggestbottleneckinyourverificationflow?youarelikelytoheartheresponsedebug.Infact,thistypicalresponsehasbeenvalidatedbyvariousindustrialsurveys,whichhaveidentifiedthatdebuggingconsumesover60%ofaprojectsverificationeffort.Incontrast,therearevariouspublishedpapersfromindustrythathavem
7、easureduptoa50%reductionindebug-gingtimeduetoimprovedobservability,whichresultedfromapplyinganassertion-basedverification(ABV)methodology.Today,numerousorganizationshavecometothisrealization,andtheyarestartingtoreapthebenefitsofadoptinganABVmethodology.Notonlydoassertionsprovideameansto
8、descr
