Computers are used more and more to provide high-quality and reliable
products and services, and to control and optimise production processes.
Such computers are often embedded into the products and thus hidden to
the human user. Examples are computer-controlled washing machines or
gas burners, electronic control units in cars needed for operating airbags
and braking systems, signalling systems for high-speed trains, or robots and
automatic transport vehicles in industrial production lines
2021-06-23 20:54:53
1.73MB
1
Intel® Quartus® Prime Standard Edition Handbook Volume 3 Verification.pdf
2021-06-15 18:05:35
10.04MB
1
以太网三速MAC源代码说明2 以太网 , 源代码
2021-06-03 12:34:47
142KB
1
SATA硬盘仿真模型。The xilinx GTP is configured as SATA PHY,and 256MB DDR2 memory(Xilinx XAPP859) is HDD storge
space. It has been tested ok with SATA Host.Please follows the steps.
1>The following path is necessary.
setenv LMC_HOME /export/home/mulary/model
setenv LMC_CONFIG $LMC_HOME/data/linux.lmc
set path =($path $LMC_HOME/bin)
setenv LD_LIBRARY_PATH $LMC_HOME/lib/linux.lib:$LD_LIBRARY_PATH
2021-05-26 16:09:15
16.61MB
1
OWAS ASVS标准
2021-05-25 20:00:11
1.14MB
1
a practical guide to adopting the universal verification methodology的中文版，制作精良
2021-05-25 19:51:24
5.68MB
1
SM2签名创建和验证
提供了SM2签名创建和验证的实现。 编译和链接时需要OpenSSL 1.1.1或更高版本的头文件和库文件。 OpenSSL网站是： :
SM2是基于椭圆曲线的密码算法。 它在以下中国标准中定义：
GB / T32918.1-2016，
GB / T32918.2-2016，
GB / T32918.3-2016，
GB / T32918.4-2016，
GM / T 0003-2012。
OpenSSL 1.1.1支持SM2签名创建和验证。 在源代码包中，“ / crypto / sm2 / sm2_sign.c”是一个很好的示例。 数字签名的创建和验证被封装在称为EVP的抽象级别中。 在某些情况下，使用EVP接口计算SM2签名并验证它有点不便。 此处给出了绕过调用OpenSSL EVP接口的实现。
2021-05-20 16:51:30
13KB
1
SystemVerilog验证:测试平台编写指南 [(美)克里斯·斯皮尔]第二版，第11章完整验证平台的参考代码。
2021-05-15 09:03:59
17KB
1
Real-Time Systems - Scheduling, Analysis And Verification. Classic textbook for computer science students.
2021-05-02 15:51:49
2.41MB
1