Cadence PVS中pathch和erc_pathch的区别

madpiano

在编写pvs时，遇到这两个命令。手册给出的描述非常类似。请问这两者的实质区别在哪里？大致用于什么情况呢？如果我想检测是否有floating wire（一段分割的导线，某一端没有连上），应该用这两者吗？谢谢！


pathchk
Syntax
pathchk [ layerIn ] { -labeled [ not ] | { -power [ not ] | -ground [ not ]
[ { -and | -or } { -power [ not ] | -ground [ not ] } ] } [ -polygons fileName
[ -by_layer ] [ -by_cell | -flat ] ] [ -nets fileName ] [ -ports_also ]
[ -nofloat ] [ -exclude_unused ] [-exclude_supply] [-powername powername1
[powername2 ...]] [-groundname groundname1 [groundname2 ..]]
[-labelname labelname1 [labelname2 ...]] [-breakname net_name1 [net_name2
...]] [ -complete ] [[-outputlayer] layerOut]
Description
The pathchk rule flags those nets that have a path to labeled nets, to ground, or to power,
or to a combination of power and ground. You can combine power and ground net path
checking, but you cannot combine labeled net checking with either power or ground net
checking. You can define ground and power nets with the lvs_ground_name and
lvs_power_name rules or with -groundname and -powername arguments. Supply nets
defined via lvs_ground_name and lvs_power_name always break a path even if a
pathchk rule has -groundname or -powername arguments.
erc_pathchk
Syntax
erc_pathchk [ -labeled [ not ] ] | [ -power [ not ] | -ground [ not ] ]
[ { -and | -or } { -power | -ground [ not ] }
[ -polygons | -nets | -polygons_nets ] [ -ports_also ]
[ -by_cell | -flat ] [ -by_layer ] [ -nofloat ] [ -exclude_unused ]
[-exclude_supply] [-powername powername1 [powername2 ...]] [-groundname
groundname1 [groundname2 ...]] [-labelname labelname1 [labelname2 ...]]
[ -complete ]
Description
The erc_pathchk rule flags those nets that have a path to labeled nets, to ground, or to
power, or to any combination of these. Use the not keyword to flag nets that do not have the
specified paths.

madpiano

并且，为何pathchk可以加-outputlayer, erc_pathchk却不能？

amodaman

这很好理解吧，两个东西调用的是同一个核心程序，但是pathchk可以用来产生用户需要做图形运算的几何图形，在用户规定的层上，而erc_pathchk 是拿来做ERC电学规则检查的，有自己规定好的输出，产生的是ERC报错的一部分。