用户名: 密码:    忘记密码   注册   在线充值
用以验证DRC迭组的测试布局的自动产生技术  
 【申请号】  CN201580080428.4  【申请日】  2015-04-15
 【公开号】  CN107743619A  【公开日】  2018-02-27
 【申请人】  赛捷设计自动化有限责任公司  【地址】  以色列海法
 【共同申请人】  
 【发明人】  马丁努斯·玛丽亚·贝尔肯斯
 【国际申请】  2015-04-15 PCT/IB2015/052734  【国际公布】  2016-10-20 WO2016/166571 EN
 【进入国家日期】  
 【专利代理机构】  北京德琦知识产权代理有限公司 11018  【代理人】  郭艳芳;王琦
 【分案原申请号】  
 【国省代码】  IL
 【摘要】  一种自动产生用以验证DRC迭组的测试布局的计算机实施方法。该方法包含接收包含由多个多边形参数(W1,H1)限定的一个或多个多边形形状(P1)的第一布局(L1)。接收包含在多边形参数(W1,H1)上的不等式限制(C)的设计规则(R1,R2)。通过将数值的随机变化(ΔW12)施加到第一布局(L1)的多边形参数(L1)中的至少一个来计算第二布局(L2)。通过改变第二布局(L2)的多边形参数(W1,H1)的值,直到多边形参数(W1,H1)相对于由限制限定的参数边界(B1,B2)中的一个或多个的相应松弛(S1,S2)为最小化为止,来计算第三布局(L3)。第三布局(L3)可储存作为候选者测试布局。
 【主权项】  一种自动产生用以验证DRC迭组的测试布局(Lx)的计算机实施方法,该方法包含:#接收包含由多个多边形参数(W1,H1)限定的一个或多个多边形形状(P1)的第一布局(L1),其中所述一个或多个多边形形状(P1)表示电路设计的一层或多层中的电路部分;#接收包含对所述多边形参数(W1,H1)的限制(C)的设计规则(R1,R2),其中各个限制限定在针对所述多边形参数(W1,H1)的参数空间中介于其中符合该限制的可行性区域与其中该限制不被满足的不可行性区域之间的相应参数边界(B1,B2);#通过施加值的随机变化(ΔW12)给所述第一布局(L1)的多边形参数(W1)中的至少一个而计算第二布局(L2);#通过改变所述第二布局(L2)的多边形参数(W1,H1)的值,直到所述多边形参数(W1,H1)相对于所述参数边界(B1,B2)中的一个或多个的相应松弛(S1,S2)最小化为止,来计算第三布局(L3);以及#储存所述第三布局(L3)作为用以验证所述DRC迭组的候选者测试布局。
 【页数】  23
 【主分类号】  G06F11/263
 【专利分类号】  G06F11/263;G06F11/36;G06F17/50
   推荐下载阅读CAJ格式全文 查询法律状态
(不支持迅雷等加速下载工具,请取消加速工具后下载。)

 


专利产出状态分析  
本领域科技成果与标准  
发明人发表文献
申请机构(个人)发表文献
本专利研制背景
本专利应用动态
所涉核心技术研究动态
京 ICP 证 040431 号 网络出版服务许可证 (总)网出证(京)字第 271 号经营性网站备案信息 京公网安备 11010802020460 号
© 2010-2017 中国知网(CNKI) 《中国学术期刊(光盘版)》电子杂志社有限公司 KDN 平台基础技术由 KBASE 11.0 提供
服务热线:400-810-9888 订卡热线:800-810-6613
在线咨询:http://help.cnki.net 客服中心:http://service.cnki.net 电子邮件:help@cnki.net
可信网站 诚信网站