基于OpenSSL库的ECDSA签名与验证和文档 基于OpenSSL库的ECDSA签名与验证，实现了密钥对生成导出，数据的签名以及签名的验证。仅供参考。附代码和文档 语言: 其他 大小： 类型: tag： 上传人：rtesd 上传时间:2023-12-07 0 kerberos的配置及其应用 kerberos的配置验证实验 这是自主做的实验 是参考网上资料及学院老师引导做出来的实验 但是网上是不会这么详细的资料的 像这样的配置实验室没有这么具体的实现步骤的 但是由于是我们的课程设计报告 我们 语言: 其他 大小： 类型: tag： 上传人：yangfen 上传时间:2023-12-02 0 uvm 验证 Mentor Questa 相关介绍 mentor UVM IC验证 的经典教材， 不乏具体的应用例子 Qesusta 语言: 其他 大小： 类型: tag： 上传人：rtesd 上传时间:2023-12-02 0 systemverilog 数字系统设计.pdf systemverilog 数字系统设计.pdf 语言: 其他 大小： 类型: tag： 上传人：pppxxx 上传时间:2023-12-02 0 SystemVerilog验证 测试平台编写指南第二版中文 这是《SystemVerilog验证 测试平台编写指南（第二版）》的中文版。高清的电子版。 语言: 其他 大小： 类型: tag： 上传人：rtesd 上传时间:2023-11-29 0 SSM图片拖动验证 就是一个简单的图片拖动验证。上级要求做的。万一有啥瑕疵请大佬指点。来自一个萌新的代码。。。。 语言: 其他 大小： 类型: tag： 上传人：haoyisheng 上传时间:2023-09-30 0 SystemVerilog验证 测试平台编写指南 本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明SystemVerilog的各种 语言: C/C++ 大小： 类型: tag： 上传人：zhanzhil 上传时间:2023-09-18 0 UVM实战卷1 UVM实战（卷1） 语言: 其他 大小： 类型: tag： 上传人：tianbu 上传时间:2023-09-16 0 SystemVerilog验证 测试平台编写指南pdf中文版 SystemVerilog验证 测试平台编写指南第二版pdf中文版，支持目录标签的使用。 语言: 其他 大小： 类型: tag： 上传人：huaihua 上传时间:2023-09-14 0 芯片验证漫游指南以及源代码.zip 本书供学习研究之用，希望觉得好用的最好还是购买实体书籍支持路桑 ，如有侵权请联系我或者csdn删除 语言: 其他 大小： 类型: tag： 上传人：youshanl968 上传时间:2023-09-08 0 uppaal-4.1.19.zip 内容包含Uppaal工具，及简单教程，注意必须提前安装好Java1.8及以上环境，运行uppaal.jar，即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出 语言: Java 大小： 类型: tag： 上传人：huaihua 上传时间:2023-09-02 0 formality2016_fm_vL-2016.03-SP1.rar Formality是高性能、高速度的全芯片的形式验证：等效性检查工具。它比较设计寄存器传输级对门级或门级对门级来保证它没有偏离原始的设计意图。所谓形式验证，就是通过比较两个设 语言: 其他 大小： 类型: tag： 上传人：zhanzhil 上传时间:2023-08-29 1 12条
