搜索到620篇“ 硬件验证“的相关文章
- 一种软件测试用例复用的硬件验证系统
- 本申请涉及芯片验证技术领域，特别是涉及一种软件测试用例复用的硬件验证系统，系统包括：软件层、代理层、转换层、PCIE验证IP层、PCIE设备层和硬件层，软件层用于将基于软件语言的软件测试用例发送至代理层，代理层用于接收软...
- 邹俊俊陈磊
- 动态生成的代码的硬件验证
- 在一个实施方案中，通过确保动态生成的代码在存储器的预定义区内保持执行或者退出到一组有效退出地址中的一个有效退出地址，可在系统中支持该代码。描述了软件实施方案，其中在许可执行该动态生成的代码之前扫描该动态生成的代码以确保满...
- J·E·格涅恩M·D·斯奈德F·J·皮兹洛
- 动态生成的代码的硬件验证
- 在一个实施方案中，通过确保动态生成的代码在存储器的预定义区内保持执行或者退出到一组有效退出地址中的一个有效退出地址，可在系统中支持该代码。描述了软件实施方案，其中在许可执行该动态生成的代码之前扫描该动态生成的代码以确保满...
- J·E·格涅恩 M·D·斯奈德 F·J·皮兹洛
- 一种硬件验证方法、装置、设备及存储介质
- 本申请公开了一种硬件验证方法、装置、设备及存储介质，涉及硬件验证领域。该方法包括：利用随机测试法对待测硬件进行验证，并记录测试过程中所述待测硬件对应的硬件设计及验证语言中各功能块的随机状态至第一列表；获取验证的覆盖率，根...
- 李维杰
- 一种基于变量隐藏抽象的IC3硬件验证算法
- 2023年
- 随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。
- 杨柳杨柳李东方贺飞
- 关键词：硬件验证形式化方法
- 动态生成的代码的硬件验证
- 在一个实施方案中，通过确保动态生成的代码在存储器的预定义区内保持执行或者退出到一组有效退出地址中的一个有效退出地址，可在系统中支持该代码。描述了软件实施方案，其中在许可执行该动态生成的代码之前扫描该动态生成的代码以确保满...
- J·E·格涅恩M·D·斯奈德F·J·皮兹洛
- 基于紧耦合内存的信息打印方法及装置、硬件验证方法
- 本申请提供了一种基于紧耦合内存的信息打印方法及装置、硬件验证方法，所述方法包括：在待验SOC硬件处于仿真环境的情况下，将目标程序数据存储至所述待验SOC硬件的紧耦合内存的指定地址空间；当通过监视器检测到所述目标程序数据对...
- 窦枭栋赵磊
- 基于紧耦合内存的信息打印方法及装置、硬件验证方法
- 本申请提供了一种基于紧耦合内存的信息打印方法及装置、硬件验证方法，所述方法包括：在待验SOC硬件处于仿真环境的情况下，将目标程序数据存储至所述待验SOC硬件的紧耦合内存的指定地址空间；当通过监视器检测到所述目标程序数据对...
- 窦枭栋赵磊
- 构建以太网电路软硬件验证平台
- 2023年
- 公司设计的一款电路包含有网络模块。该网络模块包含介质访问控制层(MAC层)即网络开放式系统互联(OSI)七层模型当中的数据链路层。通过微控制器STM32F407和物理层收发器DP83848构建一个直连的电气和电子工程师协会标准(IEEE802.3)以太网电路软硬件验证平台。利用该平台可以进行数据链路层的验证,不仅可以构建正确的协议帧数据,还可以构建错误的协议帧数据,从而对网络模块进行充分验证。
- 杭万里何光旭
- 关键词：IEEE802.3网络模块数据链路层以太网微控制器
- 机动车辆中用于硬件验证的系统和方法
- 一种机动车辆包括：至少一个传感器，该至少一个传感器被配置成检测车辆外部邻近区域中的特征；至少一个致动器，该至少一个致动器被配置成控制车辆转向、推进、换档或制动，以及自动驾驶系统，该自动驾驶系统可选择性地在标称模式和降级模...
- B·Q·白D·C·德加齐奥E·奈希G·M·班威特S·纳克拉
相关作者
- 王学慧
- 作品数：57被引量：138H指数：7
- 供职机构：国防科学技术大学
- 研究主题：并行离散事件仿真 性能分析 PDES 时间管理 检查点
- 张磊
- 作品数：116被引量：199H指数：7
- 供职机构：国防科学技术大学
- 研究主题：并行离散事件仿真 性能分析 性能仿真 PDES FPGA
- 李暾
- 作品数：78被引量：449H指数：9
- 供职机构：国防科学技术大学计算机学院
- 研究主题：模拟矢量自动生成 RTL 计算思维 大学计算机基础 微处理器
- 朱柯嘉
- 作品数：6被引量：12H指数：2
- 供职机构：复旦大学信息科学与工程学院专用集成电路与系统国家重点实验室
- 研究主题：硬件验证 硬件仿真器 RSA算法 智能IC卡 流水线
- 闵昊
- 作品数：256被引量：618H指数：12
- 供职机构：复旦大学
- 研究主题：低功耗 射频识别 读写器 集成电路设计 VLSI
