会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Waiver mechanism for physical verification of system designs
    • 系统设计物理验证豁免机制
    • US08046726B2
    • 2011-10-25
    • US12211238
    • 2008-09-16
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • G06F17/50G06F9/455
    • 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)通过去除电路来生成有效的错误文件 来自系统错误文件的错误,有效的错误文件包含多个有效的错误,包括系统错误的子集。
    • 4. 发明申请
    • WAIVER MECHANISM FOR PHYSICAL VERIFICATION OF SYSTEM DESIGNS
    • 系统设计物理验证的豁免机制
    • US20100070936A1
    • 2010-03-18
    • US12211238
    • 2008-09-16
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • Viswanathan LakshmananMichael JosephidesLisa M. Miller
    • G06F17/50
    • 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)将有效的错误文件存储在记录介质中。