Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983268566> ?p ?o ?g. }
- W1983268566 endingPage "1071" @default.
- W1983268566 startingPage "1059" @default.
- W1983268566 abstract "Vectorless power grid verification is a powerful method that evaluates worst-case voltage noises without detailed current waveforms using optimization techniques. It is extremely challenging when considering RLC power grids because inductors are difficult to tackle and multiple time steps should be evaluated after the discretization of the system equation. In this paper, we study integrated RLC power grids with both VDD and GND networks, and introduce transient constraints to restrict the waveform of each current source for sign-off verification. We rigorously prove that the vectorless verification can be decomposed into two subproblems-the well-studied power grid transient analysis problem and a linear programming (LP) problem that optimizes an affine function of currents under current constraints-and propose to verify the power grid by transient simulation and noise optimization. A variable reduction algorithm is further proposed to generate reduced-size LP problems with a user-specified error tolerance, so that the conservative bounds of voltage noises can be computed efficiently. Experimental results show that the proposed algorithm achieves significant speedup (e.g., up to more than 100× with 5 mV error) over the standard LP solver in solving the LP problems, and the proposed transient constraints make the noise estimations more realistic." @default.
- W1983268566 created "2016-06-24" @default.
- W1983268566 creator A5054352845 @default.
- W1983268566 creator A5056793309 @default.
- W1983268566 date "2013-07-01" @default.
- W1983268566 modified "2023-10-16" @default.
- W1983268566 title "Verifying RLC Power Grids With Transient Current Constraints" @default.
- W1983268566 cites W1542825250 @default.
- W1983268566 cites W1968964751 @default.
- W1983268566 cites W1981745143 @default.
- W1983268566 cites W1988247242 @default.
- W1983268566 cites W1997763246 @default.
- W1983268566 cites W2008548652 @default.
- W1983268566 cites W2008597293 @default.
- W1983268566 cites W2035863366 @default.
- W1983268566 cites W2059270112 @default.
- W1983268566 cites W2063668285 @default.
- W1983268566 cites W2069314070 @default.
- W1983268566 cites W2079431182 @default.
- W1983268566 cites W2099647435 @default.
- W1983268566 cites W2102763958 @default.
- W1983268566 cites W2109258578 @default.
- W1983268566 cites W2110295511 @default.
- W1983268566 cites W2110796071 @default.
- W1983268566 cites W2115314588 @default.
- W1983268566 cites W2121280770 @default.
- W1983268566 cites W2124618249 @default.
- W1983268566 cites W2131254145 @default.
- W1983268566 cites W2135733515 @default.
- W1983268566 cites W2136030309 @default.
- W1983268566 cites W2139092112 @default.
- W1983268566 cites W2153756269 @default.
- W1983268566 cites W2159308186 @default.
- W1983268566 cites W2443947004 @default.
- W1983268566 cites W2478040551 @default.
- W1983268566 cites W3146060644 @default.
- W1983268566 cites W3148016738 @default.
- W1983268566 cites W3151372433 @default.
- W1983268566 cites W3151650033 @default.
- W1983268566 cites W2100539003 @default.
- W1983268566 doi "https://doi.org/10.1109/tcad.2013.2248032" @default.
- W1983268566 hasPublicationYear "2013" @default.
- W1983268566 type Work @default.
- W1983268566 sameAs 1983268566 @default.
- W1983268566 citedByCount "6" @default.
- W1983268566 countsByYear W19832685662013 @default.
- W1983268566 countsByYear W19832685662015 @default.
- W1983268566 countsByYear W19832685662016 @default.
- W1983268566 countsByYear W19832685662017 @default.
- W1983268566 countsByYear W19832685662018 @default.
- W1983268566 crossrefType "journal-article" @default.
- W1983268566 hasAuthorship W1983268566A5054352845 @default.
- W1983268566 hasAuthorship W1983268566A5056793309 @default.
- W1983268566 hasConcept C111919701 @default.
- W1983268566 hasConcept C11413529 @default.
- W1983268566 hasConcept C119599485 @default.
- W1983268566 hasConcept C121332964 @default.
- W1983268566 hasConcept C126255220 @default.
- W1983268566 hasConcept C127413603 @default.
- W1983268566 hasConcept C134306372 @default.
- W1983268566 hasConcept C154945302 @default.
- W1983268566 hasConcept C163258240 @default.
- W1983268566 hasConcept C165801399 @default.
- W1983268566 hasConcept C173608175 @default.
- W1983268566 hasConcept C187691185 @default.
- W1983268566 hasConcept C197424946 @default.
- W1983268566 hasConcept C2524010 @default.
- W1983268566 hasConcept C2775924081 @default.
- W1983268566 hasConcept C2778770139 @default.
- W1983268566 hasConcept C2780799671 @default.
- W1983268566 hasConcept C33923547 @default.
- W1983268566 hasConcept C41008148 @default.
- W1983268566 hasConcept C47446073 @default.
- W1983268566 hasConcept C52192207 @default.
- W1983268566 hasConcept C554190296 @default.
- W1983268566 hasConcept C62520636 @default.
- W1983268566 hasConcept C68339613 @default.
- W1983268566 hasConcept C73000952 @default.
- W1983268566 hasConcept C76155785 @default.
- W1983268566 hasConcept C89880566 @default.
- W1983268566 hasConceptScore W1983268566C111919701 @default.
- W1983268566 hasConceptScore W1983268566C11413529 @default.
- W1983268566 hasConceptScore W1983268566C119599485 @default.
- W1983268566 hasConceptScore W1983268566C121332964 @default.
- W1983268566 hasConceptScore W1983268566C126255220 @default.
- W1983268566 hasConceptScore W1983268566C127413603 @default.
- W1983268566 hasConceptScore W1983268566C134306372 @default.
- W1983268566 hasConceptScore W1983268566C154945302 @default.
- W1983268566 hasConceptScore W1983268566C163258240 @default.
- W1983268566 hasConceptScore W1983268566C165801399 @default.
- W1983268566 hasConceptScore W1983268566C173608175 @default.
- W1983268566 hasConceptScore W1983268566C187691185 @default.
- W1983268566 hasConceptScore W1983268566C197424946 @default.
- W1983268566 hasConceptScore W1983268566C2524010 @default.
- W1983268566 hasConceptScore W1983268566C2775924081 @default.
- W1983268566 hasConceptScore W1983268566C2778770139 @default.
- W1983268566 hasConceptScore W1983268566C2780799671 @default.
- W1983268566 hasConceptScore W1983268566C33923547 @default.