发明名称 |
Method and system for performing minimization of input count during structural netlist overapproximation |
摘要 |
A method for performing verification is disclosed. The method includes selecting a set of gates to add to a first localization netlist and forming a refinement netlist. A min-cut is computed with sinks having one or more gates in the refinement netlist and sources comprising one or more inputs of an original netlist and one or more registers registers of the original netlist which are not part of the refinement netlist. A final localized netlist is obtained by adding one or more gates to the refinement netlist to grow the refinement netlist until reaching one or more cut-gates of the min-cut.
|
申请公布号 |
US2007061767(A1) |
申请公布日期 |
2007.03.15 |
申请号 |
US20050225567 |
申请日期 |
2005.09.13 |
申请人 |
BAUMGARTNER JASON R;KANZELMAN ROBERT L;MONY HARI;PARUTHI VIRESH |
发明人 |
BAUMGARTNER JASON R.;KANZELMAN ROBERT L.;MONY HARI;PARUTHI VIRESH |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|