VERIFICATION BY ERROR MODELING

asertion_based_verification_intro

deeeface。在imagenet比赛大放异彩的deepface源码。包含有模型、源码实验结果图等。注意，这个是matlab代码。

RISC-V开源平台Pulpino验证相关的讲解文章

SystemVerilogforVerification(3rd).

Book(Hsiung2009)Pao-AnnHsiung;MarcoD.Santambrogio&Chun-HsianHuangReconfigurablesystemdesignandverifi

RuntimeVerificationFirstInternationalConference,RV2010St.Julians,Malta,November1-4,2010Proceedings

jtag边界扫描技术bsdl文件格式规范

SystemVerilog for Verification (latest version)

additivemarginsoftmaxforfacevertification人脸识别

汤晓鸥团队关于深度学习人脸识别的经典论文。