資源描述：
《Constraint-Based_Verification》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術論文-天天文庫。
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.3TheVeri?cationCrisis51.4DesignModelingandVeri?cation71.5DynamicversusStaticVeri?cation91.6Simulation111.6.1Simulators111.6.2T
7、estbench121.6.3TestGeneration121.6.4CheckingStrategies131.6.5Coverage131.7Emulation141.8StaticVeri?cation151.8.1EquivalenceChecking151.8.2ModelCheckingandBoundedModelChecking161.8.3TheoremProving171.8.4LanguageContainment171.8.5SymbolicSimulation171.8.6HybridSimulationandFo
8、rmalVeri?cation181.9Constraints,Assertions,andVeri?cation181.9.1ConstrainedRandomS
