SCONNECT aa bb
soft_check_1{
@check1
EXT aa bb == 0 INSIDE ALSO NOT CONNECTED REGION
}
// 个人理解:
// aa 和 bb 外边距为0报错;
// 有边在对方内部也报错;
// aa和bb没有通过铝条或其他连接层产生连接关系,有则报错
// 问:如果 aa 在 bb 内部,这句话是不是无效了?
soft_check_2{
@check2
INT bb aa > 1 BY NET
}
// 个人理解:
// bb 覆盖 aa 大于1报错
// 后跟 by net 是大于1个检查网格报错?
soft_check_3{
@check3
NOT INT bb aa
}
// 个人理解:
// 报出所有没有和 aa 有交集的 bb
check 1 : Displays aa inside bb is not on the same net as their enclosing bb
check 2 : Displays bb shapes that INTERACT with more than 1 net on aa
check 3 : as you word