[发明专利]用于合并覆盖数据的EDA覆盖日志的方法和装置有效
申请号: | 200910169200.9 | 申请日: | 2009-09-15 |
公开(公告)号: | CN101676920A | 公开(公告)日: | 2010-03-24 |
发明(设计)人: | M·比斯特;S·梅罗特拉 | 申请(专利权)人: | 新思科技有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 北京市金杜律师事务所 | 代理人: | 王茂华 |
地址: | 美国加利*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 用于 合并 覆盖 数据 eda 日志 方法 装置 | ||
1.一种用于在电子设计自动化中的设计和功能性验证中使用的 方法,所述方法包括:
使用计算机合并硬件描述语言电路设计的第一仿真的第一覆盖 日志与所述硬件描述语言电路设计的第二仿真的第二覆盖日志,
所述第一仿真基于所述硬件描述语言电路设计的第一硬件验证 语言覆盖模型,
所述第二仿真基于所述硬件描述语言电路设计的第二硬件验证 语言覆盖模型,
所述第二硬件验证语言覆盖模型比所述第一硬件验证语言覆盖 模型更新,并且与所述第一硬件验证语言覆盖模型不同。
2.根据权利要求1所述的方法,其中所述硬件描述语言电路设 计的硬件描述语言包括Verilog、System Verilog和VHDL中的任何 硬件描述语言。
3.根据权利要求1所述的方法,其中所述第一和第二硬件验证 语言模型的硬件验证语言包括System Verilog、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/200910169200.9/1.html,转载请声明来源钻瓜专利网。
- 上一篇:按钮组件
- 下一篇:气罩式环保实验室柜及气罩排气方法
- 数据显示系统、数据中继设备、数据中继方法、数据系统、接收设备和数据读取方法
- 数据记录方法、数据记录装置、数据记录媒体、数据重播方法和数据重播装置
- 数据发送方法、数据发送系统、数据发送装置以及数据结构
- 数据显示系统、数据中继设备、数据中继方法及数据系统
- 数据嵌入装置、数据嵌入方法、数据提取装置及数据提取方法
- 数据管理装置、数据编辑装置、数据阅览装置、数据管理方法、数据编辑方法以及数据阅览方法
- 数据发送和数据接收设备、数据发送和数据接收方法
- 数据发送装置、数据接收装置、数据收发系统、数据发送方法、数据接收方法和数据收发方法
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置