一种基于断言的处理器验证方法、装置及电子设备
基本信息
| 申请号 | CN202210150169.X | 申请日 | - |
| 公开（公告）号 | CN114519332A | 公开（公告）日 | 2022-05-20 |
| 申请公布号 | CN114519332A | 申请公布日 | 2022-05-20 |
| 分类号 | G06F30/398（2020.01）I;G06F30/34（2020.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 施军;叶晨 | 申请（专利权）人 | 超睿科技（长沙）有限公司 |
| 代理机构 | 北京风雅颂专利代理有限公司 | 代理人 | - |
| 地址 | 410006 湖南省长沙市高新开发区麓松路459号东方红小区延农综合楼7楼卡-657 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种基于断言的处理器验证方法、装置及电子设备，该方法包括：构建断言数据库，该断言数据库包含多个待检查断言的断言检查表达式以及对应的断言编码；定义断言检查机制；该断言检查机制定义为在断言数据库中任一个断言检查表达式满足断言触发条件时，判定处理器状态发生异常；在接收到处理器设计指令时，将断言数据库和断言检查机制集成到处理器中，并等待接收处理器验证指令；在接收到处理器验证指令时，通过断言检查机制检查处理器的内部状态；在处理器状态发生异常时，启动异常处理机制，以生成处理器异常报告。本发明提高了处理器验证的速度以及处理器设计的灵活性，同时有利于提高处理器后续调试的便利性。 |
