资源描述:
《Constraint-Based_Verification》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、CONSTRAINT-BASEDVERIFICATIONCONSTRAINT-BASEDVERIFICATIONJUNYUANAtrenta,Inc.CARLPIXLEYSynopsys,Inc.ADNANAZIZUniversityofTexasatAustinJunYuanAtrenta,Inc.Suite440W2001GatewayPlaceSanJoséCA95110CarlPixleySynopsys,Inc.2025NWCorneliusPassRd.HillsboroOR97124AdnanAzizUniversityofTe
2、xasDept.ofECEACE6.120AustinTX78712Constraint-BasedVerificationLibraryofCongressControlNumber:2005936518ISBN0-387-25947-3e-ISBN0-387-30784-2ISBN978-0-387-25947-5Printedonacid-freepaper.¬2006SpringerScience+BusinessMedia,Inc.Allrightsreserved.Thisworkmaynotbetranslatedorcopie
3、dinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,Inc.,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation
4、,computersoftware,orbysimilarordissimilarmethodologynowknoworhereafterdevelopedisforbidden.Theuseinthispublicationoftradenames,trademarks,servicemarksandsimilarterms,evenifthearenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprie
5、taryrights.PrintedintheUnitedStatesofAmerica.987654321springer.comTomywife,Ting,andmydaughter,Justine.Tomyparents.AndtoKaty..JunTomywife,Cynthia,andmychildren,LauraandMargaret,formanyyearsoflove,patienceandsupport.Alsotosomewonderfulteachers,MiriamHeisar,PrabirRoyandRHBing,
6、whotaughtmetolovemathematics..CarlToProfessorRobertBrayton..A.A.ContentsDedicationv1.INTRODUCTION11.1DesignComplexity21.2TheDesignProductivityGap41.3TheVerificationCrisis51.4DesignModelingandVerification71.5DynamicversusStaticVerification91.6Simulation111.6.1Simulators111.6.2T
7、estbench121.6.3TestGeneration121.6.4CheckingStrategies131.6.5Coverage131.7Emulation141.8StaticVerification151.8.1EquivalenceChecking151.8.2ModelCheckingandBoundedModelChecking161.8.3TheoremProving171.8.4LanguageContainment171.8.5SymbolicSimulation171.8.6HybridSimulationandFo
8、rmalVerification181.9Constraints,Assertions,andVerification181.9.1ConstrainedRandomS