[发明专利]对芯片进行功能覆盖率模型验证的方法和装置在审
申请号: | 201711243042.8 | 申请日: | 2017-11-30 |
公开(公告)号: | CN107862155A | 公开(公告)日: | 2018-03-30 |
发明(设计)人: | 耿介 | 申请(专利权)人: | 青岛海信电器股份有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 北京同立钧成知识产权代理有限公司11205 | 代理人: | 杨贝贝,刘芳 |
地址: | 266100 山*** | 国省代码: | 山东;37 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明实施例提供一种对芯片进行功能覆盖率模型验证的方法和装置。本发明对芯片进行功能覆盖率模型验证的方法,包括从芯片的统一电源管理格式UPF文件中提取用于描述电源策略的UPF指令;根据所述UPF指令确定电源状态表,所述电源状态表包括多个电源状态,每个电源状态由各个电源域的目标开关状态组成;根据所述电源状态表生成功能覆盖率模型对应的文件;使用逻辑设计的层次结构中各个电源域的实际开关状态实例化所述功能覆盖率模型对应的文件,对所述芯片进行功能覆盖率模型验证,并生成所述芯片的功能覆盖率报告。本发明实施例可以实现无需人工参与,自动化生成功能覆盖率模型,有效提高验证效率。 | ||
搜索关键词: | 芯片 进行 功能 覆盖率 模型 验证 方法 装置 | ||
【主权项】:
一种对芯片进行功能覆盖率模型验证的方法,其特征在于,包括:从芯片的统一电源管理格式UPF文件中提取用于描述电源策略的UPF指令;根据所述UPF指令确定电源状态表,所述电源状态表包括多个电源状态,每个电源状态由各个电源域的目标开关状态组成;根据所述电源状态表生成功能覆盖率模型对应的文件;使用逻辑设计的层次结构中各个电源域的实际开关状态实例化所述功能覆盖率模型对应的文件,对所述芯片进行功能覆盖率模型验证,并生成所述芯片的功能覆盖率报告;其中,所述逻辑设计的层次结构是根据所述芯片的寄存器传输级RTL文件确定的。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于青岛海信电器股份有限公司,未经青岛海信电器股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201711243042.8/,转载请声明来源钻瓜专利网。
- 上一篇:一种时序调整方法
- 下一篇:一种基于风险的陆上输油管道目标可靠度确定方法