[实用新型]电子设计自动化设备无效
申请号: | 200920174768.5 | 申请日: | 2009-09-15 |
公开(公告)号: | CN201820227U | 公开(公告)日: | 2011-05-04 |
发明(设计)人: | M·比斯特;S·梅罗特拉 | 申请(专利权)人: | 新思科技有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 北京市金杜律师事务所 11256 | 代理人: | 王茂华;李辉 |
地址: | 美国加利*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 电子设计 自动化 设备 | ||
1.一种电子设计自动化设备,其特征在于包括:
合并装置,被配置用于合并硬件描述语言电路设计的第一仿真的第一覆盖日志与所述硬件描述语言电路设计的第二仿真的第二覆盖日志,所述第一仿真基于所述硬件描述语言电路设计的第一硬件验证语言覆盖模型,所述第二仿真基于所述硬件描述语言电路设计的第二硬件验证语言覆盖模型,所述第二硬件验证语言覆盖模型比所述第一硬件验证语言覆盖模型更新,并且与所述第一硬件验证语言覆盖模型不同。
2.根据权利要求1所述的电子设计自动化设备,其特征在于所述硬件描述语言电路设计的硬件描述语言包括Verilog、SystemVerilog和VHDL中的任何硬件描述语言。
3.根据权利要求1所述的电子设计自动化设备,其特征在于所述第一和第二硬件验证语言模型的硬件验证语言包括SystemVerilog、Native Testbench、E和Vera中的任何硬件验证语言。
4.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志和所述第二覆盖日志包括不同最大数目的自动创建的面元,保持所述第二覆盖日志的覆盖点的覆盖数据,并且删除装置从所述第一覆盖日志删除覆盖点的覆盖数据。
5.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
删除装置,被配置用于响应于所述第一覆盖日志包括面元名称未存在于所述第二覆盖日志中的面元,在所述合并之后删除所述面元的覆盖数据。
6.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志包括面元名称存在于所述第二覆盖日志中的面元,在所述合并之后保持所述面元的覆盖数据。
7.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志具有第一表达式宽度的覆盖点而所述第二覆盖日志具有与所述第一表达式宽度不同的第二表达式宽度的所述覆盖点,保持所述第二表达式宽度的所述覆盖点的覆盖数据,并且删除装置删除所述第一表达式宽度的所述覆盖点的覆盖数据。
8.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志具有按照第一面元定义的面元而所述第二覆盖日志具有按照与所述第一面元定义不同的第二面元定义的所述面元,则在所述合并之后保持按照所述第二面元定义的所述面元的覆盖数据,并且删除装置删除所述第一面元定义的覆盖数据。
9.根据权利要求1所述的电子设计自动化设备,其特征在于所述合并装置包括:
删除装置,被配置用于响应于所述第一覆盖日志包括命名至少两个覆盖点标识符的、交叉覆盖点的交叉覆盖点名称,而所述第二覆盖日志包括命名所述至少两个覆盖点标识符的、交叉覆盖点的交叉覆盖点名称,则响应于从所述第一覆盖日志删除至少一个已标识覆盖点的覆盖数据,删除所述第一覆盖日志的所述交叉覆盖点的覆盖数据。
10.根据权利要求1所述的电子设计自动化设备,其中所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志包括第一交叉覆盖点的用户定义的第一交叉面元,而所述第二覆盖日志包括第二交叉覆盖点的用户定义的第二交叉面元,所述第一交叉覆盖点和所述第二交叉覆盖点具有相同名称,则尽管所述用户定义的第一交叉面元和所述用户定义的第二交叉面元具有不同的定义,仍然保持所述用户定义的第一交叉面元的覆盖数据和所述用户定义的第二交叉面元的覆盖数据。
11.根据权利要求1所述的电子设计自动化设备,其中所述合并装置包括:
保持装置,被配置用于响应于所述第一覆盖日志包括第一交叉覆盖点的第一自动交叉面元,而所述第二覆盖日志包括含有所述第一交叉覆盖点的所述自动交叉面元的、用户定义的第二交叉面元,保持所述第二覆盖日志的所述用户定义的第二交叉面元中的所述第一自动交叉面元的覆盖数据。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于新思科技有限公司,未经新思科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/200920174768.5/1.html,转载请声明来源钻瓜专利网。
- 上一篇:异形换热管及异形换热管的在线制管加工工艺
- 下一篇:自动分离式太阳能热水器