Hardware断言VerificationGenerating
SystemverilogVerificationSystemVeriTestbench
验证VerificationVerificatioTechniques
InternationalVerification第三届Computer
第六届InternationalVerificationConference
InterpretationInternationalVerification抽象
SpecificationsVerificationProductionModeling
体系结构CryptographicArchitectureVerification
VerificationHardwareSoftware验证
试验厂VerificationIndependentPerformance
VerificationConstraint约束验证
条约物体VerificationApproaches
VerificationExecutive'sEngineer's验证
行时VerificationProcessors处理器
InternationalVerificationConferenceComputer
VerificationValidation实时Software
VerificationTechniquesSoftwareChecking
形式化InternationalVerificationConference
时序建模VLSIMacromodeling
理系统建模InternationalVerification
VerificationEngineeringValidationScientific
ApplicationsVerificationLeveragingValidation
验证ApplicationsVerificationLeveraging
9780691634890VerificationCoordinatingProcesses
VerificationProgrammingAliasingOriented
DesignInstrumentedVerificationTechniques
Verification符号混合Symbolic
Verification安全性TemporalReactive
系统工程VerificationEngineeringValidation
SystemverilogVerificationTestbenchLearning
自旋SpinInternationalVerification
硬件设计VerificationHardwareAdvanced
9781013271014VerificationComputer印刷
简明VerificationAnnotationSoftware
Verification抽象CheckingAbstract
VerificationHardwareLanguage验证
