发明名称 |
Logic difference synthesis |
摘要 |
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. |
申请公布号 |
US8122400(B2) |
申请公布日期 |
2012.02.21 |
申请号 |
US20090497499 |
申请日期 |
2009.07.02 |
申请人 |
HOPKINS JEREMY T.;ISAKSON JOHN M.;KEINERT JOACHIM;KRISHNASWAMY SMITA;MODI NILESH A.;PURI RUCHIR;REN HAOXING;RUDE DAVID L.;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
HOPKINS JEREMY T.;ISAKSON JOHN M.;KEINERT JOACHIM;KRISHNASWAMY SMITA;MODI NILESH A.;PURI RUCHIR;REN HAOXING;RUDE DAVID L. |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|