发明名称  全文 
   
 
专利号:200810061732
  [主 附 图]
  [公开说明书]
  [授权说明书]
 
  钱眼网首页
  钱眼专利首页
  发送留言
  收藏这个专利
 
   
    相关业务范围
    我要申请专利
    我要申请商标
    版权业务
    知识产权海关保护
    诉讼代理
    注册就送28元无需申请顾问
             更多>>
   
   

 
 



 

一种用于嵌入式处理器功能验证的动态仿真平台方法

本发明公开了一种用于嵌入式处理器功能验证的动态仿真平台方法。该方法是将验证平台控制和仿真流程控制分离,分别建立一个验证平台控制中心和一个仿真流程控制台,前者用于实现验证平台的单向主控流程,后者用于实现动态循环仿真控制流程,从而实现了验证平台的一次编译和仿真过程的多次动态循环运行,并结合受限随机激励产生机制,提高了功能验证的效率。该方法能够为嵌入式处理器的功能验证提供自动化的功能验证平台,并实现高效的验证流程。该方法具有自动化程度高,验证效率高,可重用性强,维护修改方便等优点。

一种用于嵌入式处理器功能验证的动态仿真平台方法

一种用于嵌入式处理器功能验证的动态仿真平台方法,其特征在于包括如下步骤:    1)采用脚本语言,编写建立一个用于对嵌入式处理器RTL模型进行功能验证的动态仿真平台主控中心,在该动态仿真平台主控中心中,实现一条单向的主控流程;    2)采用System  Verilog语言,编写动态随机激励发生器,在仿真过程中,根据指定约束条件,动态产生用于被加载到嵌入式处理器RTL模型中的随机指令序列;    3)采用System  Verilog语言,编写仿真测试用例,在仿真测试用例中,为步骤2)中所编写的动态随机激励发生器添加约束条件,并使用步骤2)中所编写的动态随机激励发生器产生随机指令序列;    4)在步骤1)所建立的动态仿真平台主控中心中,为步骤3)所编写的仿真测试用例建立一个工作目录,并在步骤1)中所实现的单向的主控流程中转入到该工作目录中;    5)采用System  Verilog语言,编写建立一个动态仿真流程控制台,在动态仿真流程控制台中,实例化被测的嵌入式处理器RTL模型,实例化步骤3)中所编写的仿真测试用例,实例化仿真结果监测器,实例化断言检查器;    6)在步骤5)所建立的动态仿真流程控制台中,实现一条循环的动态仿真流程,循环依次执行仿真步骤,该动态仿真流程的循环次数由步骤1)所建立的动态仿真平台主控中心指定;    7)在步骤1)所建立的动态仿真平台主控中心中,对步骤6)所实现的动态仿真流程设置循环次数,对步骤5)所建立的动态仿真流程控制台进行编译,并启动该动态仿真流程控制台运行仿真。
 


投资有风险,请您关注我们为您提供的专利咨询服务
  
专利号: 200810061732
申请日: 2008年5月16日
公开/公告日: 2008年10月15日
授权公告日:
申请人/专利权人: 浙江大学、杭州中天微系统有限公司
国家/省市: 杭州(86)
邮编: 310027
发明/设计人: 严晓浪、殷燎、黄凯、张欣、傅可威、陈晨、葛海通
代理人: 张法高
专利代理机构: 浙江大学专利代理事务所(33200)
专利代理机构地址: 浙江省杭州市玉古路117号6楼浙江大学内(310013)
专利类型: 发明
公开号: 101286182
公告日:
授权日:
公告号: 000000000
优先权:
审批历史:
附图数: 3
页数: 7
权利要求项数: 2
 请进入中国专利检索数据库核实 

对该专利感兴趣:

姓名

电话/邮箱(不显示)

 
关于钱眼 | 服务指南 | 欢迎合作 | 联系我们 | 免责声明
将钱眼设为首页 | 将钱眼推荐给朋友
钱眼网 版权所有 Copyright ©2019 Qianyan.biz All rights reserved. | 网络实名:钱眼
网站咨询热线:010-82727623  E_Mail:qianyan.biz@hotmail.com QQ:532008814
博评网