微处理器MicroprocessorVerification验证
InternationalVerificationConferenceComputer
度量VerificationExecutive'sEngineer's
Hardware断言VerificationGenerating
VerificationSequential顺序逻辑
VerificationAdvanced验证形式
ComputerInternationalVerificationConference
InternationalVerificationHardwareSoftware
Verification验证StrategyHardware
覆盖率VerificationMeasurementFunctional
CommunicationVerificationEvaluationComputer
延迟Verification定时Approach
InternationalVerificationTechnologyAutomated
ApplicationsVerificationLeveragingValidation
验证VerificationVerificatioTechniques
测量机坐标VerificationInspection
VerificationComputer辅助验证
开放式VerificationMethodologyCookbook
模块化编译器VerificationRefinement
可视化导论VisualizationIntroduction
传热数值VerificationNumerical
介绍性行时VerificationIntroductory
行时软件测试VerificationApproaches
SpecificationVerificationInteractiveProceedings
Verification仿真SimulationElectronic
VerificationTechniquesSuccessfulAdvanced
VerificationComparisonHardware验证
VerificationTestbenchesFunctionalHdl
VerificationExecutive'sEngineer's验证
Verification混合验证Digital
VerificationCoordinatingProcessesTheoretic
SpecificationVerificationMathematicalSynthesis
InternationalVerificationConferenceVancouver
Verification符号混合Symbolic
建模Verification嵌入式Synthesis
SpecificationInternationalVerificationInteractive
