InternationalVerificationHardwareSoftware
CommunicationVerificationEvaluationVerificati
1995Verification验证海外
InternationalVerificationConferenceComputer
工程设计Verification可靠性Reliability
覆盖率VerificationMeasurementFunctional
协同VerificationHardwareSoftware
分类法VerificationDevelopmentTaxonomies
GuideVerificationComponentsSoftware
9781591408512VerificationEngineeringValidation
高阶VerificationHardware逻辑
ToolsImplementationVerificationInformation
SystemverilogVerificationSystemveriTestbench
路线图VerificationProperty属性
延迟Verification定时Approach
VerilogVerificationSPIProtocol
布尔Verification推理Reasoning
VerificationProgrammingPragmaticOriented
SpecificationVerificationMathematicalSynthesis
路规集成电SpecificationVerification
硬件设计VerificationHardwareAdvanced
多核VerificationTechniquesMulticore
Verification预订Formal
检定VerificationComputer辅助
InterpretationInternationalVerificationVerificati
VerificationTestbenchesFunctionalHdl
交互式SpecificationInternationalVerification
软件工程VerificationEngineeringValidation
InterpretationInternationalVerification抽象
ComputerInternationalVerificationConference
微处理器MicroprocessorVerification验证
机舱传动系统风力发电机
Verification验证MethodologyEnvironment
HeterogeneousVerification嵌入式Oriented
Verificationdetectionsoftware故障
数值InternationalVerificationNumerical