[发明专利]一种基于强化学习的硬件设计验证系统及方法

摘要

本发明涉及强化学习技术领域和芯片验证技术领域，尤其涉及一种基于强化学习的硬件设计验证系统及方法；其核心在于使用强化学习算法自动生成硬件设计验证平台激励使得覆盖率达到100％，适用于行覆盖率、条件覆盖率、状态机覆盖率和功能覆盖率的收敛。本发明使用强化学习生成验证平台激励的方式，相比于手动构造激励，由于自动生成激励从而极大地缩短了验证工作周期，大幅度降低了人力成本；并且由于生成激励的数量和种类更加丰富，也使得验证的完备性有了很大提高；由此验证工作人员可以投入更多的精力在参考模型的完善以及新项目上，大大加快了芯片验证的流程。

主权项

1.一种基于强化学习的硬件设计验证系统，包括：/n一个待测设计模块，作为验证系统的测试对象；/n一个智能体，由动作控制模块、事务和激励序列三部分构成，其中，动作控制模块用于构建全局动作集合，并完成智能体的动作控制，控制激励序列产生对应激励发送给硬件设计验证平台和待测设计模块；/n一个硬件设计验证平台，用于接收智能体输入的激励，并将其按时序要求分别输入待测设计模型和参考模型，并且会监测待测设计模块的输入、输出，比对仿真结果，生成覆盖率并反馈给奖励模块；/n一个奖励模块，用于设定回报机制，以覆盖率为强化学习的奖励回报，发送至全局状态模型；/n一个全局状态模型，根据待测设计模块的覆盖率构建全局状态集合，并将奖励回报发送至状态控制模块；/n一个状态控制模块，用于构建全局状态转移表，并根据接收到的奖励回报判断系统当前时刻所处状态以及控制状态转移，并将下一时刻状态转移信息反馈至智能体的动作控制模块。/n