推荐下载
-
DeepLearningFaceRepresentationbyJointIdentification_Verification
汤晓鸥团队关于深度学习人脸识别的最新进展DEEPID2的原理介绍，准确率目前世界第一。
33 2019-02-20 -
Computer Aided Verification
ComputerAidedVerification
20 2019-09-09 -
vmm example for verification
IC验证的好资料啊！synopsys 2010关于验证的很好的培训资料哦1
31 2018-12-25 -
Formal System Verification
FormalSystemVerification，State-ofthe-ArtandFutureTrends，2018
33 2019-07-29 -
system verilog for verification
systemverilogforverification
30 2019-07-29 -
Functional Design Verification
最全面的验证书,包括SV,UVM,受约束的随机,断言,功能覆盖率,CDC验证,低功功耗验证,形式验证,ESL验证,软硬件联合验证,数模混合验证,SOC互连验证等
21 2021-01-07 -
VERIFICATION BY ERROR MODELING
VERIFICATION BY ERROR MODELING
18 2020-09-11 -
ESL DESIGN AND VERIFICATION
ESLDESIGNANDVERIFICATION:APRESCRIPTIONFORELECTRONICSYSTEM-LEVELMETHODOLOGY1WhatIsESL?12TaxonomyandDe
41 2019-09-25 -
Verification of workflow nets
Verificationofworkflownets,pdfformat
18 2019-09-05 -
Systems and Software Verification
模型检测(modelchecking)是一种很重要的自动验证技术。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分别提出，主要通过显式状态搜索或隐式不动点计算来验证
27 2019-09-07
用户评论