InternationalVerificationConferenceEdinburgh
条约物体VerificationApproaches
Verification仿真SimulationIndustrial
VerificationTestbenchesFunctionalHdl
验证ComputationalVerificationValidation
并发CompositionalVerificationConcurrent
路规集成电SpecificationVerification
InternationalVerificationConferenceComputer
可编程体系结构ArchitecturesVerification
VerificationFunctionalPrinciplesEffective
路线图VerificationProperty属性
VerificationValidationSoftware确认
DesignVerificationElectronicAutomation
1995Verification验证海外
形式化VLSIVerificationEssential
SystemverilogVerificationSystemveriTestbench
形式化SpecificationVerification实时
VerificationTechniquesScalable扩展
并发VerificationSequentialConcurrent
VerificationSimulation符号Scalable
StandardizedVerification标准化Functional
建模SpecificationVerificationModelling
VerificationTechniques预订System
AccreditationMicrobiologyVerificationLaboratory
RequirementsNeeds系统工程Verification
伸缩VerificationTechniquesScalable
多项式近似VerificationApproximate
PowerVerification预订Design
预售CompositionalVerificationConcurrent
预售VerificationSimulationElectronic
预售InternationalVerificationComputer
预售VerificationTechniquesScalable
预售VerificationAdvancedFormal
预售VerificationProceduresMethods
预售StandardizedVerificationFunctional
预售VerificationEngineer'sMetric
预售VerificationScalableHardware
预售VerificationConstraintBased
预售VerificationDedicatedPractice
