公开(公告)号：US10885246B2

公开(公告)日：2021-01-05

申请号：US16662092

申请日：2019-10-24

申请人： The Regents of the University of California

发明人： Rafael Possignolo ,  Jose Renau

IPC分类号： G06F30/327 ,  G06F30/331 ,  G06F30/392 ,  G06F30/398 ,  G06F30/396

摘要： Techniques include retrieving a first structural netlist (SN1) that indicates electronic components, values of programmable parameters, and connections for a first electronic circuit, and retrieving a first placed and routed netlist (PR1) that indicates physical placement of the electronic components and physical routing of connections for SN1. Also retrieved is a second structural netlist (SN2) for a different second electronic circuit. For each component in SN2, a matching component, if any, is found in SN1 based on type of component and inputs that are output from other matching components without regard to value of the programmable parameter. A different second placed and routed netlist (PR2) is generated for the second circuit by including, from PR1, all matching components and connections, updated value of the programmable parameter from SN2, and by deriving new placement and routing for non-matching components in SN2. An electronic circuit is constructed according to PR2.

公开(公告)号：US20210110092A1

公开(公告)日：2021-04-15

申请号：US17247085

申请日：2020-11-30

申请人： The Regents of the University of California

发明人： Rafael Possignolo ,  Jose Renau

IPC分类号： G06F30/327 ,  G06F30/331 ,  G06F30/398 ,  G06F30/392

摘要： Techniques include retrieving a first structural netlist (SN1) that indicates electronic components, values of programmable parameters, and connections for a first electronic circuit, and retrieving a first placed and routed netlist (PR1) that indicates physical placement of the electronic components and physical routing of connections for SN1. Also retrieved is a second structural netlist (SN2) for a different second electronic circuit. For each component in SN2, a matching component, if any, is found in SN1 based on type of component and inputs that are output from other matching components. A different second placed and routed netlist (PR2) is generated for the second circuit by deriving new placement and routing for only for non-matching components in SN2.

公开(公告)号：US11599700B2

公开(公告)日：2023-03-07

申请号：US17247085

申请日：2020-11-30

申请人： The Regents of the University of California

发明人： Rafael Possignolo ,  Jose Renau

IPC分类号： G06F30/327 ,  G06F30/331 ,  G06F30/392 ,  G06F30/398 ,  G06F30/396

摘要： Techniques include retrieving a first structural netlist (SN1) that indicates electronic components, values of programmable parameters, and connections for a first electronic circuit, and retrieving a first placed and routed netlist (PR1) that indicates physical placement of the electronic components and physical routing of connections for SN1. Also retrieved is a second structural netlist (SN2) for a different second electronic circuit. For each component in SN2, a matching component, if any, is found in SN1 based on type of component and inputs that are output from other matching components. A different second placed and routed netlist (PR2) is generated for the second circuit by deriving new placement and routing for only for non-matching components in SN2.

公开(公告)号：US20190220553A1

公开(公告)日：2019-07-18

申请号：US16307025

申请日：2017-06-30

申请人： The Regents of the University of California

发明人： Jose Renau

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F17/5054 ,  G06F17/5072 ,  G06F2217/78 ,  G06F2217/84

摘要： An interactive incremental synthesis flow for integrated circuit design includes performing a full synthesis [304] of a circuit design to produce an elaborated netlist and synthesized netlist; based on the elaborated netlist and synthesized netlist, automatically partitioning [306] the circuit design into invariant cone regions whose functionality do not change during synthesis; and performing an incremental synthesis [308] each time a change is made to the circuit design. The incremental synthesis includes performing an elaboration [318] of a module of the design containing the change; performing a structural comparison [310] between the elaborated netlist and a modified elaborated netlist to identify modified invariant cones containing the change; synthesizing [312] gates contained in the modified invariant cones; deleting from the synthesized netlist the gates contained within the modified invariant cones that have been changed; and inserting [314] the synthesized gates corresponding to the modified invariant cones into the synthesized netlist.