基于UVM的CAN模块自验证方法

机译：使用UVM方法验证基于AMBA-AHB的IP验证

机译：基于UVM的RFID智能传感器系统验证方法

机译：加速基于Verilog UVM的系统VIP，以改进使用硬件模拟器验证图像信号处理设计的方法

机译：基于UVM的SPI接口模块验证方法

机译：基于模块化冗余管理的航空电子网络通用体系结构的硬件验证。

机译：通过基于风险的生命周期方法来配置使用和验证模块化良好制造规范的无关联脐带血库电子系统的产销监管链和身份链

机译：加速systemVerilog基于UVm的VIp改进方法论   用HW仿真器验证图像信号处理设计

机译：基于知识的飞机自动化：管理人员使用人工智能进行飞机自动化和基于神经的飞行控制器的验证和验证方法指南

机译：用于开放交易商方法的客户信任的代理人的客户信任的代理人的电子商务信任的代理人的系统，该电子票证和电子货币方法使用客户的信任的代理人和交易者的信任的代理人基于授权方法执行付款交易提交用于服务的电子票证方法，该方法用于将电子票证从第一受信任的代理转移到第二受信任的代理以获取电子证书;用于远程重新验证电子证书的方法;基于身份的现金模块支付的方法;解决与电子商品有关的争议的方法;确保在通信网络中同时付款电子货币和交付电子商品的系统;用于实现处理设备之间的安全通信的方法和方法。

机译：系统，验证模块，服务模块和用于支持基于区块链的远程认证服务的方法

机译：基于测试驱动开发方法和性能相同的硬件设备的数值天气预报模型自动输入输出模块验证方法