摘要
提供一种硬件设计的功能验证方法、装置、电子设备、计算机可读存储介质和计算机程序产品,可以应用于硬件验证领域,方法包括:利用元模型搭建待验硬件设计对应的测试平台;通过客户端套接字,接连地将当前的激励数据包发送至测试平台;其中,当前的激励数据包是通过RL环境中的智能体基于仿真器反馈的覆盖率数据进行行为选择而生成的;利用测试平台接收到的激励数据包接连地驱动待验硬件设计;采用仿真器接连地收集待验硬件设计驱动后的覆盖率数据,并接连地将当前的覆盖率数据反馈至RL环境中;以及在当前的覆盖率数据满足验证目标条件时,停止驱动待验硬件设计,完成功能验证目标。因此,本公开提高了验证效率,缩短硬件设计周期。
技术关键词
覆盖率
测试平台
功能验证方法
仿真器
数据
客户端
反馈策略
代码解析方法
功能验证装置
计算机程序产品
强化学习算法
系统级芯片
端口
处理器
可读存储介质
控制器模块
IP核
电子设备
接口
指令
系统为您推荐了相关专利信息
接触式检测方法
巡检无人机
抽油机示功图
抽油机故障
抽油机结构