[发明专利]逻辑验证方法和装置无效
| 申请号： | 201110109293.3 | 申请日： | 2011-04-22 |
| 公开（公告）号： | CN102147831A | 公开（公告）日： | 2011-08-10 |
| 发明（设计）人： | 赵守磊 | 申请（专利权）人： | 青岛海信信芯科技有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京中博世达专利商标代理有限公司 11274 | 代理人： | 申健 |
| 地址： | 266100 山*** | 国省代码： | 山东;37 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例公开了一种逻辑验证方法和装置，涉及集成电路技术，能够根据需要验证多种类型的IP核。该方法包括：根据预设激励需求生成激励数据，所述预设激励需求是使用预设语法元素描述的；将所述激励数据写入待验证的待验证模块；根据所述待验证模块的输出结果验证所述待验证模块是否正确。主要应用于逻辑验证。 | ||
| 搜索关键词： | 逻辑 验证 方法 装置 | ||
【主权项】：
一种逻辑验证方法，其特征在于，包括：根据预设激励需求生成激励数据，所述预设激励需求是使用预设语法元素描述的；将所述激励数据写入待验证模块；根据所述待验证模块的输出结果验证所述待验证模块是否正确。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于青岛海信信芯科技有限公司，未经青岛海信信芯科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110109293.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种带有数据管理系统功能模块的按摩理疗仪
- 下一篇：轻巧型全电心肺复苏装置
