摘要
本发明涉及芯片验证技术领域,尤其涉及一种基于寄存器数组的随机验证方法、电子设备和介质,S1、设置m=1,执行S2;S2、向目标寄存器数组中的RAm和RBm输入相同的随机测试激励;S3、RAm预测随机写入值,将Fm更新为RAm预测的随机写入值;S4、RBm基于输入的随机测试激励写入随机数;S5、乱序读取待测芯片设计中所有寄存器的RTL实例中当前存储的数据与当前对应的参考值进行比对,若全部相同,则执行S6,否则,验证失败,结束流程;S6、对比m和M,若m<M,则设置m=m+1,返回执行S2,若m=M,则结束目标寄存器数组的随机验证。本发明能够实现包含寄存器数组的随机验证。
技术关键词
待测芯片
随机验证方法
计算机可执行指令
数据复制
芯片验证技术
电子设备
处理器通信
可读存储介质
存储器
序列
系统为您推荐了相关专利信息
资源管理策略
深度学习算法
多云环境
线性回归模型
强化学习算法
高速信号连接器
子卡连接器
高速信号接口
验证装置
待测芯片
语义识别方法
知识本体
语义实体
语义向量
双向长短期记忆网络
稳定控制方法
并网电压
配电网电压波动
等效计算方法
协同调控方法