[发明专利]用于构造规范表示的方法和装置有效
| 申请号： | 200910208097.4 | 申请日： | 2009-10-27 |
| 公开（公告）号： | CN101789034A | 公开（公告）日： | 2010-07-28 |
| 发明（设计）人： | N·N·W·赫恩格;D·戈斯瓦米;J·辛格 | 申请（专利权）人： | 新思科技有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京市金杜律师事务所 11256 | 代理人： | 王茂华;黄倩 |
| 地址： | 美国加利*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了用于构造规范表示的方法和装置。一些实施例提供用于有助于构造规范表示(CR)的系统和技术，该CR表示逻辑函数集合的逻辑组合。在操作期间，系统可以接收CR规模限制。接着，系统可以基于逻辑函数集合来构造CR集合，其中CR集合中的各CR表示逻辑函数集合中的逻辑函数。系统然后可以组合CR集合的子集以获得组合式CR。接着，系统可以识别在与组合式CR组合时造成超过CR规模限制的有问题的CR。系统然后可以将有问题的CR和/或与有问题的CR关联的逻辑函数报告给用户，由此帮助用户识别逻辑函数集合中的错误。 | ||
| 搜索关键词： | 用于 构造 规范 表示 方法 装置 | ||
【主权项】：
一种用于有助于构造规范表示(CR)的由计算机执行的方法，所述CR表示逻辑函数集合的逻辑组合，所述方法包括：接收CR规模限制；基于所述逻辑函数集合来构造CR集合，其中所述CR集合中的各CR表示所述逻辑函数集合中的逻辑函数；组合所述CR集合的子集以获得第一组合式CR；识别所述CR集合中的第一CR，所述第一CR被预计为在与所述第一组合式CR组合时得到规模超过所述CR规模限制的第二组合式CR；并且将与所述第一CR关联的第一逻辑函数报告给用户。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于新思科技有限公司，未经新思科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910208097.4/，转载请声明来源钻瓜专利网。
- 上一篇：显示设备
- 下一篇：多层膜的形成方法、显示面板的制造方法及显示面板
