WAIVER MECHANISM FOR PHYSICAL VERIFICATION OF SYSTEM DESIGNS
    1.
    发明申请
    WAIVER MECHANISM FOR PHYSICAL VERIFICATION OF SYSTEM DESIGNS 失效
    系统设计物理验证的豁免机制

    公开(公告)号:US20100070936A1

    公开(公告)日:2010-03-18

    申请号:US12211238

    申请日:2008-09-16

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5081

    摘要: A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs, (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors and (D) storing the valid error file in a recording medium.

    摘要翻译: 公开了一种放弃验证失败的方法。 该方法通常包括以下步骤:(A)通过在多个电路设计上执行多个物理验证来产生多个电路错误文件,所述电路错误文件包含电路设计的多个电路错误,(B)产生 系统错误文件,通过对系统设计进行附加物理验证,系统错误文件包含系统设计的多个系统错误,包含电路设计的系统设计,(C)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,包含多个有效错误的有效错误文件,包括系统错误的子集,以及(D)将有效的错误文件存储在记录介质中。

    Waiver mechanism for physical verification of system designs
    4.
    发明授权
    Waiver mechanism for physical verification of system designs 失效
    系统设计物理验证豁免机制

    公开(公告)号:US08046726B2

    公开(公告)日:2011-10-25

    申请号:US12211238

    申请日:2008-09-16

    IPC分类号: G06F17/50 G06F9/455

    CPC分类号: G06F17/5081

    摘要: A method of waiving verification failures is disclosed. The method generally includes the steps of (A) generating a plurality of circuit error files by performing a plurality of physical verifications on a plurality of circuit designs, the circuit error files containing a plurality of circuit errors of the circuit designs, (B) generating a system error file by performing an additional physical verification on a system design, the system error file containing a plurality of system errors of the system design, the system design incorporating the circuit designs and (C) generating a valid error file by removing the circuit errors from the system error file, the valid error file containing a plurality of valid errors comprising a subset of the system errors.

    摘要翻译: 公开了一种放弃验证失败的方法。 该方法通常包括以下步骤:(A)通过在多个电路设计上执行多个物理验证来产生多个电路错误文件,所述电路错误文件包含电路设计的多个电路错误,(B)产生 系统错误文件通过在系统设计上执行附加物理验证,系统错误文件包含系统设计的多个系统错误,包含电路设计的系统设计,以及(C)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,有效的错误文件包含多个有效的错误,包括系统错误的子集。

    High Temperature Ball Valve Seal
    8.
    发明申请
    High Temperature Ball Valve Seal 有权
    高温球阀密封

    公开(公告)号:US20090065726A1

    公开(公告)日:2009-03-12

    申请号:US11850981

    申请日:2007-09-06

    IPC分类号: F16K5/06

    摘要: A high temperature ball valve seal is disclosed that achieves Class IV shutoff for operating temperatures above 550 degrees F. The ball valve seal includes a C-seal positioned between a main seal and a seal housing to prevent fluid from flowing through a secondary flowpath when the ball valve is in a closed position.

    摘要翻译: 公开了一种实现高于550华氏度的工作温度的IV类截止阀的高温球阀密封。球阀密封件包括位于主密封件和密封壳体之间的C形密封件,以防止流体流过二级流动路径时 球阀处于关闭位置。