暂无评论
Verification_Methodology_Manual_for_SystemVerilog
formal verification in english
讲解如何使用Systemverilog编写可综合的RTL，并针对DC和Synplify-Pro进行了具体的说明。有目录。
Experimentalverificationofthefieldsynergyprinciple，马良栋，李增耀，Inthispaper,thebasicideaofthefieldsynergy
网上资料，把CFG转换为PDA，这个例程还不够完美，特别是在复杂，冗长CFG情况下。
ThispaperdescribestheuseoftheVMMPerformanceAnalyzertoverifytheperformanceofanAXI-basedbusarbiter.The
asertion_based_verification_intro
deeeface。在imagenet比赛大放异彩的deepface源码。包含有模型、源码实验结果图等。注意，这个是matlab代码。
RISC-V开源平台Pulpino验证相关的讲解文章
SystemVerilogforVerification(3rd).
暂无评论