CircuitCheck（CCK）(六)

一，静态电路检查内置检查命令
       默认情况下，在整个网表上执行的所有内置检查命令。CircuitCheck（CCK）提供了在分析完成后缩小感兴趣范围的选项。目前有两种语法来定义作用域表达式，即直接作用域和作用域文件输入。
        分析完成后，分析报告的过程CCK产生的相位是一个重要的相位，特别是对于非常大的电路。CCK通过定义感兴趣的范围以及如何消除错误，提供了最小化该过程的选项。有两种方法可以实现这一点，即直接作用域和作用域文件输入。在下文中，您将看到这两种语法在（独立）CCK和Tcl-CCK之间略有不同。作用域表达式可以应用于大多数静态CCK检查
       以下控制选项可用于支持的CircuitCheck命令：
       Scope：在受支持的应用程序中使用的筛选控制机制CircuitCheck命令用于指定要检查的设备或节点，并在发生违规时进行报告。
       skipScope：这种滤波控制可以防止电压传播通过给定skipScope中的设备或节点发生。
       rmScope：在支持的CCK命令中使用的一种过滤机制，用于防止报告设备或节点；此“rmScope”仅适用于“报告”筛选。如果违反的设备/节点同时在“范围”和“rmScope”内，则不会报告。
Direct Scoping: 在CCK中使用作用域、skipScope和rmScope选项时命令，则称为“直接范围界定”使用模型。

注意： top_sub和model不能应用于节点作用域使用。
            通配符（？和*）支持inst、node、subckt和model。

范围选项                        说明
scope                           给定作用域的定义。
rmscope                       错误修剪。
skipscope                     跳过在给定范围内的传播。

示例：

示例1

sdevv missing_ls  -dev_type mos \
                             -cond "(uvg<2 && uvs>2)" \