[发明专利]针对混合验证进行逻辑优化和状态空间精简有效
| 申请号： | 200910208099.3 | 申请日： | 2009-10-27 |
| 公开（公告）号： | CN101789035A | 公开（公告）日： | 2010-07-28 |
| 发明（设计）人： | A·M·德索扎 | 申请（专利权）人： | 新思科技有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京市金杜律师事务所 11256 | 代理人： | 王茂华;李峥宇 |
| 地址： | 美国加利*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种针对混合验证进行逻辑优化和状态空间精简的方法。本发明的一个实施方式提供一种有助于优化和验证电路设计的系统。该系统可以接收与电路关联的假设集合。该假设集合可以指定对电路的至少主要输入集合的逻辑约束集合。注意，预期在正常电路操作期间满足假设集合。该系统可以部分地基于假设集合中的假设来生成刺激发生器。来自刺激发生器的输出值在赋值给电路的主要输入集合时，使得主要输入集合满足假设。接着，该系统可以通过将刺激发生器的输出与电路的主要输入集合进行耦合，来生成修改电路。该系统然后可以对修改电路进行逻辑优化以获得优化电路。 | ||
| 搜索关键词： | 针对 混合 验证 进行 逻辑 优化 状态 空间 精简 | ||
【主权项】：
一种用以优化和验证第一电路的方法，所述方法包括：接收所述第一电路和与所述第一电路关联的假设集合，其中所述假设集合指定对所述第一电路的至少主要输入集合的第一逻辑约束集合，并且其中预期在正常电路操作期间满足所述假设集合；部分地基于所述假设集合中的假设来生成刺激发生器，其中来自所述刺激发生器的输出值在赋值给所述第一电路的所述主要输入集合时使得所述主要输入集合满足所述假设；通过将所述刺激发生器的所述输出与所述第一电路的主要输入集合进行耦合，来生成修改电路；以及对所述修改电路进行逻辑优化以获得优化电路。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于新思科技有限公司，未经新思科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910208099.3/，转载请声明来源钻瓜专利网。
- 上一篇：分布式系统中交换服务的方法、装置和系统
- 下一篇：发光装置和图像显示装置
