一种基于Systemverilog的CPU验证平台

专利申请号：CN202011417762.3

公 开 号：CN112463624B

发 明 人：刘春锐 张宏奎 黄旭东 陈振娇 

代 理 人：无锡派尔特知识产权代理事务所(普通合伙)杨立秋

代理机构：无锡派尔特知识产权代理事务所(普通合伙)

专利类型：发明专利

申 请 日：20220816

公 开 日：20201207

专利主分类号：G06F11/36

关 键 词：验证 参考模型模块 验证平台 结果比较模块 读取 参考模型 计算机体系结构 指令 指令执行结果 指令集架构 功能验证 监视模块 可移植性 用例生成 程序RAM 汇编 交付 监测 成功 

摘      要：本发明公开一种基于Systemverilog的CPU验证平台，属于计算机体系结构领域。CPU模块启动后，验证用例生成模块生成后缀为.asm的汇编验证用例，参考模型模块读取该验证用例，模拟CPU模块完成指令的功能，CPU模块通过程序RAM同样读取该验证用例，完成指令的功能，CPU模块和参考模型监视模块监测CPU模块和参考模型模块的指令执行结果，并将执行结果送给结果比较模块，结果比较模块通过对比CPU模块和参考模型模块的执行结果，验证CPU模块的功能是否正确实现。该CPU验证平台有较好的通用性和可移植性，对于不同的指令集架构，稍加修改参考模型便可使用。该CPU验证平台已成功用于32位CPU芯片的功能验证，相比该CPU之前的验证方法，极大的提高了验证效率，缩短了CPU交付周期。