[发明专利]处理器功能仿真模型生成装置、方法及功能验证方法有效

专利信息
申请号: 201210214968.5 申请日: 2012-06-27
公开(公告)号: CN102789418A 公开(公告)日: 2012-11-21
发明(设计)人: 谢峥;陈旭;王新安;苏吉婷;李世军;周芝丽;胡子一;张兴 申请(专利权)人: 北京大学深圳研究生院
主分类号: G06F11/36 分类号: G06F11/36
代理公司: 深圳鼎合诚知识产权代理有限公司 44281 代理人: 郭燕
地址: 518055 广东省*** 国省代码: 广东;44
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 处理器 功能 仿真 模型 生成 装置 方法 验证
【说明书】:

技术领域

本申请涉及集成电路设计领域,具体涉及一种处理器指令级的功能仿真模型及其自动生成装置和一种处理器的功能验证方法。

背景技术

处理器硬件设计的逻辑功能和性能指标主要依赖于硬件设计人员利用硬件描述语言编写的代码质量,在实际应用前通常需要先对该处理器的正确性进行验证。伴随处理器复杂度的不断上升,处理器验证工作的复杂度和工作量呈现指数上升,对验证的依赖与要求越来越高。作为设计过程的一部分,验证起着越来越关键的作用,验证的工作量也是相对较大,可能占据到整个设计工作量的70%左右,验证的效率和可靠性往往决定了项目的成败。

处理器的验证主要包括功能验证和时序验证等过程,而功能验证中最基本且使用最广泛的方法是仿真验证,仿真验证在处理器验证的工程中起着非常重要的作用。

为了确保处理器功能的正确性,通常需要建立一个功能仿真模型,对比处理器和功能仿真模型两者在相同输入激励下的输出结果来验证。现有技术中通常采用完全手工开发一个功能仿真模型的方式,这种方式不仅是一项非常繁重的工作,而且极易出错。一般来说,不仅开发过程需要花费数月的时间,还需要花费大量的时间来进行功能仿真模型正确性的验证。

发明内容

本申请要解决的主要技术问题是,提供一种可由用户根据需求自行配置的处理器功能仿真模型的生成装置。

为解决上述技术问题,本申请提供一种处理器功能仿真模型的生成装置,该处理器功能仿真模型包括数据结构声明单元、寄存器初始化单元、输入处理单元、功能仿真单元和仿真结果输出单元;

数据结构声明单元分别与寄存器初始化单元、输入处理单元、功能仿真单元、仿真结果输出单元相连;数据结构声明单元用于根据寄存器配置信息声明寄存器的个数及每个寄存器的名称及数据位宽,并声明保存指令信息所用的数据结构;

寄存器初始化单元分别与数据结构声明单元、功能仿真单元相连;寄存器初始化单元用于根据寄存器配置信息中的复位值,初始化寄存器的值;

输入处理单元分别与数据结构声明单元、功能仿真单元相连;输入处理单元用于根据输入的指令机器码的特征判断指令类型、提取指令信息以确定指令的功能,并将指令信息转换为所述数据结构声明单元中声明的数据结构并保存;

功能仿真单元分别与数据结构声明单元、寄存器初始化单元、输入处理单元以及仿真结果输出单元相连;功能仿真单元用于根据所述输入处理单元中确定的指令的功能,完成指令的功能仿真;

仿真结果输出单元分别与功能仿真单元、数据结构声明单元相连;仿真结果输出单元用于将功能仿真单元的功能仿真结果按设定格式输出;

该生成装置包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库;

寄存器配置模块:分别与指令集配置模块、功能仿真单元生成模块以及仿真结果配置模块连接,用于接收用户输入的寄存器配置信息,并根据寄存器配置信息中的名称与数据位宽生成数据结构声明单元;根据寄存器配置信息中的复位值生成寄存器初始化单元;

指令集配置模块:分别与寄存器配置模块、输入处理单元生成模块、功能仿真单元生成模块相连,用于接收用户输入的指令集配置信息,指令集配置信息包括指令机器码和指令功能信息,所述指令机器码包括指令类型的映射字段和操作数映射字段;

输入处理单元生成模块:与指令集配置模块相连,用于根据指令集配置模块接收的指令集配置信息中的机器码信息,生成输入处理单元;

功能仿真单元生成模块:分别与指令集配置模块、寄存器配置模块相连,用于根据指令集配置模块接收的指令集配置信息中的功能信息生成功能仿真单元;

仿真结果配置模块:分别与寄存器配置模块、仿真结果输出单元生成模块相连,用于接收用户输入的仿真结果配置信息;

仿真结果输出单元生成模块:用于根据所述仿真结果配置模块接收的仿真结果配置信息生成仿真结果输出单元;

指令功能库:分别与指令集配置模块、功能仿真单元生成模块相连,用于存储指令集配置模块接收的指令集配置信息中的功能信息;所述功能仿真单元生成模块还根据指令功能库存储的功能信息生成功能仿真单元。

进一步,所述处理器功能仿真模型的输入处理单元包括:

指令类型判断子单元:与指令操作数信息处理子单元相连,用于根据指令机器码中表示指令类型的信息判断指令类型;

指令操作数信息处理子单元:用于将指令机器码中表示指令操作数的信息转换为所述数据结构声明单元中声明的数据结构并保存;

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京大学深圳研究生院,未经北京大学深圳研究生院许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201210214968.5/2.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top