认证验证全部资料 - 虫虫开发者社区

基于VMM的高级验证方法学，讲述了验证平台的搭建和具体的实例

2025-06-21 5 认证验证

介绍AVM高级验证方法学,讲述了高级验证方法学的实现机制，给出了验证平台中关键component的SystemC实现和SystemVerilog实现

2025-04-16 1 认证验证

人民邮电出版社一书的配套光盘,包含书上所有原代码,特别是状态机部分,值得学习

2024-08-02 5 认证验证

·形式验证法（论文）

2024-10-01 7 认证验证

该文档阐述如何识别验证码和识别验证码的实现算法

2025-03-19 1 认证验证

2013-12-31 67 认证验证

2015-03-08 119 认证验证

2014-01-03 39 认证验证

一个验证数字证书有效性的动态库，能够验证数字证书的签名有效性、时间有效性，以及是否被吊销。

2013-12-22 95 认证验证

2014-01-13 65 认证验证

认证验证