Logic modification synthesis

专利名称：Logic modification synthesis

发明人：Eli Arbel,David Geiger,Victor Kravets,Smita

Krishnaswamy,Ruchir Puri,Haoxing Ren

申请号：US12862838申请日：20100825公开号：US08365114B2公开日：20130129

专利附图：

摘要：Two circuits, an original and a modified, are being recognized, with the originalcircuit having a first logic and the modified circuit having a second logic. The second logiccontains at least one desired logic change relative to the first logic. An equivalence line is

detected in the original circuit such that the first and second logic are equivalent fromthe circuit inputs to the equivalence line. At least one point of change is located amongstthe logic gates that are neighboring the equivalence line. The points of change areaccepted as verified if an observability condition is fulfilled. The observability condition ischecked within a Boolean Satisfiability (SAT) formulation. Substitute logic for the verifiedpoints of change is derived using SAT and Boolean equation solving techniques, in suchmanner that the first logic becomes equivalent to the second logic.

申请人：Eli Arbel,David Geiger,Victor Kravets,Smita Krishnaswamy,Ruchir Puri,HaoxingRen

地址：Nesher IL,Peekskill NY US,New York NY US,New York NY US,Baldwin Place NYUS,Austin TX US

国籍：IL,US,US,US,US,US

代理人：George Sai-Halasz,Preston J. Young

更多信息请下载全文后查看