generating hardware assertion checkers (springer 2008)外语英文电子书

《generating hardware assertion checkers (springer 2008)外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、GeneratingHardwareAssertionCheckersMarcBoulé·ZeljkoZilicGeneratingHardwareAssertionCheckersForHardwareVerification,Emulation,Post-FabricationDebuggingandOn-LineMonitoringABCDr.MarcBouléProf.ZeljkoZilicDepartmentofElectrical&ComputerEngineeringMcGillUniversity3480UniversityStre

2、etMontrealQCH3A2A7Canadazeljko.zilic@mcgill.caISBN978-1-4020-8585-7e-ISBN978-1-4020-8586-4LibraryofCongressControlNumber:2008928686°c2008SpringerScience+BusinessMediaB.V.Nopartofthisworkmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mec

3、hanical,photocopying,microfilming,recordingorotherwise,withoutwrittenpermissionfromthePublisher,withtheexceptionofanymaterialsuppliedspecificallyforthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.Printedonacid-freepaper987654321spring

4、er.comAmesfr`ereset`amesparentsbien-aim`es´MarcToKasia,Pauline,IvanAlexanderandMariaZeljkoForewordWhenIwasyoung,mydadlikedtotellme,Ifyoudontaskthequestion,youwontgettheanswer.Today,IhaveadeeperunderstandingofhismessageandIhaveappliedhiswisdomtomanyareasinmylife.Inmyprofession

5、allife,inthedomainofdigitaldesignandverification,Ilearned(perhapsthehardway)thatifIneglecttowriteachecker,whichaskswhethersomeaspectofthedesignisbehav-ingcorrectlythenitisunlikelythatIwillfindcertainbugs.Thisconcept,knownasobservability,isattheheartofanassertion-basedverificatio

6、nmethodology.Andifyouaskanyprojectmanager,Whatisthebiggestbottleneckinyourverificationflow?youarelikelytoheartheresponsedebug.Infact,thistypicalresponsehasbeenvalidatedbyvariousindustrialsurveys,whichhaveidentifiedthatdebuggingconsumesover60%ofaprojectsverificationeffort.Incontra

7、st,therearevariouspublishedpapersfromindustrythathavemeasureduptoa50%reductionindebug-gingtimeduetoimprovedobservability,whichresultedfromapplyinganassertion-basedverification(ABV)methodology.Today,numerousorganizationshavecometothisrealization,andtheyarestartingtoreapthebenefi

8、tsofadoptinganABVmethodology.Notonlydoassertionsprovideameanstodescr