会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Logic difference synthesis
    • 逻辑差分合成
    • US08122400B2
    • 2012-02-21
    • US12497499
    • 2009-07-02
    • Jeremy T. HopkinsJohn M. IsaksonJoachim KeinertSmita KrishnaswamyNilesh A. ModiRuchir PuriHaoxing RenDavid L. Rude
    • Jeremy T. HopkinsJohn M. IsaksonJoachim KeinertSmita KrishnaswamyNilesh A. ModiRuchir PuriHaoxing RenDavid L. Rude
    • G06F17/50
    • G06F17/505
    • A computer executed method is disclosed which accepts an original circuit with an original logic, accepts a modified circuit, and synthesizes a difference circuit. The difference circuit represents changes that implement the modified circuit's logic for the original circuit. The synthesis may locate an output-side boundary in the original logic in such a manner that the original logic is free of logic changes in between the output-side boundary and the primary output elements of the original circuit. The disclosed synthesis may also locate an input-side boundary in the original logic in such a manner that the original logic is free of logic changes in between the input-side boundary and the primary input elements of the original circuit. A computer program products are also disclosed. The computer program product contains a computer useable medium having a computer readable program code embodied therein. The computer readable program code when executed on a computer causes the computer to carry out the methods of finding input and output side boundaries in an original logic, and synthesizing in between those boundaries a difference circuit representing logic changes.
    • 公开了一种用原始逻辑接收原始电路的计算机执行方法,接受修改的电路,并且合成差分电路。 差分电路表示实现原始电路的修改电路逻辑的变化。 合成可以将原始逻辑中的输出侧边界定位成使得原始逻辑在原始电路的输出侧边界和主要输出元件之间没有逻辑改变。 所公开的合成还可以将原始逻辑中的输入侧边界定位成使得原始逻辑在原始电路的输入侧边界和主要输入元件之间没有逻辑改变。 还公开了一种计算机程序产品。 计算机程序产品包含具有体现在其中的计算机可读程序代码的计算机可用介质。 计算机可读程序代码在计算机上执行时,使得计算机执行在原始逻辑中寻找输入和输出侧边界的方法,并且在这些边界之间合成表示逻辑的差异电路的变化。
    • 3. 发明申请
    • LOGIC DIFFERENCE SYNTHESIS
    • 逻辑差异综合
    • US20110004857A1
    • 2011-01-06
    • US12497499
    • 2009-07-02
    • Jeremy T. HopkinsJohn M. IsaksonJoachim KeinertSmita KrishnaswamyNilesh A. ModiRuchir PuriHaoxing RenDavid L. Rude
    • Jeremy T. HopkinsJohn M. IsaksonJoachim KeinertSmita KrishnaswamyNilesh A. ModiRuchir PuriHaoxing RenDavid L. Rude
    • G06F17/50
    • G06F17/505
    • A computer executed method is disclosed which accepts an original circuit with an original logic, accepts a modified circuit, and synthesizes a difference circuit. The difference circuit represents changes that implement the modified circuit's logic for the original circuit. The synthesis may locate an output-side boundary in the original logic in such a manner that the original logic is free of logic changes inbetween the output-side boundary and the primary output elements of the original circuit. The disclosed synthesis may also locate an input-side boundary in the original logic in such a manner that the original logic is free of logic changes inbetween the input-side boundary and the primary input elements of the original circuit. A computer program products are also disclosed. The computer program product contains a computer useable medium having a computer readable program code embodied therein. The computer readable program code when executed on a computer causes the computer to carry out the methods of finding input and output side boundaries in an original logic, and synthesizing inbetween those boundaries a difference circuit representing logic changes.
    • 公开了一种用原始逻辑接收原始电路的计算机执行方法,接受修改的电路,并且合成差分电路。 差分电路表示实现原始电路的修改电路逻辑的变化。 合成可以将原始逻辑中的输出侧边界定位成使得原始逻辑在原始电路的输出侧边界和初级输出元件之间没有逻辑改变。 所公开的合成还可以以原始逻辑在原始电路的输入侧边界和主要输入元件之间没有逻辑改变的方式将原始逻辑中的输入侧边界定位。 还公开了一种计算机程序产品。 计算机程序产品包含具有体现在其中的计算机可读程序代码的计算机可用介质。 计算机可读程序代码在计算机上执行时,使得计算机执行在原始逻辑中寻找输入和输出侧边界的方法,并且在这些边界之间合成表示逻辑变化的差分电路。