[发明专利]一种集成电路设计验证方法无效
申请号: | 201010163114.X | 申请日: | 2010-03-30 |
公开(公告)号: | CN101833606A | 公开(公告)日: | 2010-09-15 |
发明(设计)人: | 张国栋;连志斌;谢峥;杨伟才;黄瑞华;苏世祥;刘芳 | 申请(专利权)人: | 连志斌 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 深圳市百瑞专利商标事务所(普通合伙) 44240 | 代理人: | 金辉 |
地址: | 广东省深圳市南山*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种集成电路设计验证方法,包括如下步骤:把提取于系统规格书或设计需求中包含事务级资源检查表和控制所述事务的顺序流程,通过记录和算法映射到状态机结构体模型中;通过状态机结构体模型产生事务级测试用例;所述事务级测试用例作为测试平台的测试向量,实现集成电路的设计验证。本发明将整合的设计要求信息映射到状态机结构体模型,自动产生事务级测试用例,提升了验证效能,将设计验证人员从大量重复性的工作中解放出来。 | ||
搜索关键词: | 一种 集成电路设计 验证 方法 | ||
【主权项】:
一种集成电路设计验证方法,其特征在于包括如下步骤:第一步,把提取于系统规格书或设计需求的事务级资源检查表和控制事务的顺序流程,通过记录和算法映射到状态机结构体模型中;第二步,通过状态机结构体模型自动产生事务级测试用例;第三步,所述事务级测试用例作为测试平台Testbench的测试向量,实现集成电路的设计验证。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于连志斌,未经连志斌许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201010163114.X/,转载请声明来源钻瓜专利网。
- 上一篇:一种基于内容的视频复制检测方法
- 下一篇:FPGA高性能运算PCI卡