在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
楼主: xiao_sd

[原创] Calibre(SVRF)

[复制链接]
 楼主| 发表于 2023-6-6 09:26:21 | 显示全部楼层
Touch/interact/cut的区别:
  
Touch
  
选择完全位于所有层2多边形之外但与层2中的多边形共享重合边或段的所有层1多边形。也可以选择所有接触指定数量的层2多边形的层1多边形。如果任何一个输入层为空,则没有输出
interact
根据多边形与另一层上多边形的交点类型和数量选择多边形
cut
选择与第2层多边形共享部分(但不是全部)区域的所有第1层多边形

                               
登录/注册后可看大图


                               
登录/注册后可看大图

                               
登录/注册后可看大图

                               
登录/注册后可看大图




 楼主| 发表于 2023-6-7 09:40:55 | 显示全部楼层
变量的定义&条件语句&^的用法


                               
登录/注册后可看大图




Variable
规范语句
定义规则文件中变量的值
Usage
VARIABLE name {value [value …] | ENVIRONMENT}
Description
指定将一个或多个值参数或包含一个或多个值的shell定义变量替换为本节中讨论的任何图层操作和适当规范语句中出现的名称。每当变量出现在规则文件中时,都需要变量规范语句。
在规则文件中使用变量之前,必须在变量语句中声明变量。


                               
登录/注册后可看大图


Conditional Directives(#IFDEF and #IFNDEF)主要涉及预处理命令
条件指令为规则文件的部分提供条件编译。#IFDEF(如果定义)和#IFNDEF(如果未定义)分别测试变量是定义的还是未定义的,并可选择与指定的值进行比较。#IFDEF#IFNDEF语句可以包括可选的#ELSE语句,如果前面的#IFDEF#IFNDEF条件计算结果为false,则执行该语句。
#IFDEF and#IFNDEF Usage
{#IFDEF var_name [var_value] | #IFNDEF var_name [var_value]}
rule_file_text
[ #ELSE
rule_file_text ] ...
#ENDIF


                               
登录/注册后可看大图


^的用法:

数学表达式中的指数运算符。在大多数表达式,此运算符的优先级与乘除运算符(*/)。在DFM中表达式,它的优先级高于乘法和division
转义元字符,以便在规则检查(@)注释中使用取消引用使用的变量的值(数组的第一个值) commen中;
插入符号(^)字符可以使用 以下方法:
·在规则中,使用\^检查(@)注释
·DFM RDB注释中使用^^
·SVRF Message语句中,使用\\



                               
登录/注册后可看大图


结合起来使用示例:
VARIABLE myvar 2
#DEFINE A 2
CHECK_RULE { @space/width should == ^myvar
     #IFDEF a 2
         EXT LAYER == myvar ABUT < 90 SINGUALR REGION
         #ELSE
              INT LAYER == myvar ABUT < 90 SINGULAR REGION
      #ENDIF
}
#UNDEFINE myvar





 楼主| 发表于 2023-6-8 09:14:24 | 显示全部楼层
AND/OR/XOR/NOT:

AND
单层语法:
         AND layer1 [constraint]
两层语法:
         AND layer2 layer3 [[NOT] CONNECTED]

                               
登录/注册后可看大图

                               
登录/注册后可看大图
OR
OR layer1
OR layer2 layer3

                               
登录/注册后可看大图




                               
登录/注册后可看大图




 楼主| 发表于 2023-6-8 09:16:28 | 显示全部楼层
XOR:AND的反集

NOT
NOT layer1 layer2
Description
  选择所有不属于第2层多边形的第1层多边形区域。如果第2层为空,则NOT操作生成与第1层上的多边形数据等效的输出。


                               
登录/注册后可看大图


                               
登录/注册后可看大图



 楼主| 发表于 2023-6-19 10:59:40 | 显示全部楼层
本帖最后由 xiao_sd 于 2023-6-19 11:01 编辑

2020.3第11版SVRF

Standard Verification Rule Format _svrf_202003.pdf

24.57 MB, 下载次数: 781 , 下载积分: 资产 -8 信元, 下载支出 8 信元

2020.3第11版

发表于 2023-6-29 21:05:05 | 显示全部楼层
thank
发表于 2023-7-25 17:27:30 | 显示全部楼层
楼主,CONNECT的单层语法:CONNECT Layer1怎么理解呢
发表于 2023-8-1 04:08:17 | 显示全部楼层
非常感谢
发表于 2023-8-8 15:43:47 | 显示全部楼层
楼主加油,谢谢分享
发表于 2023-8-12 14:20:04 | 显示全部楼层
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-12-18 14:44 , Processed in 0.046498 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表