Matches in SemOpenAlex for { <https://semopenalex.org/work/W1518415489> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1518415489 abstract "To achieve high reliability in VLSI designs, estimation of the maximum power dissipation during the design cycle is becoming important. In previous work, it was shown that maximizing dissipation is equivalent to maximizing gate output activity, appropriately weighted to account for differing load capacitances. Recent advances in Boolean satisfiability (SAT) models and algorithms have made it tempting to use satisfiability-based techniques in solving various VLSI design-related problems such as verification and test generation. SAT solvers have also been extended to handle 0-1 integer linear programming (ILP) problems. In this paper, we present an ILP-based solution to compute the maximum weighted activity of combinational circuits. The problem is formulated as an ILP instance and the new SAT-based ILP solvers are used to find an estimate for the power dissipation. For performance comparison, the problem is also solved using generic ILP solvers. The validity of the proposed approach is demonstrated using benchmarks from the MCNC suite." @default.
- W1518415489 created "2016-06-24" @default.
- W1518415489 creator A5066105108 @default.
- W1518415489 creator A5070187428 @default.
- W1518415489 date "2006-09-22" @default.
- W1518415489 modified "2023-09-25" @default.
- W1518415489 title "Estimation of the Weighted Maximum Switching Activity in Combinational CMOS Circuits" @default.
- W1518415489 cites W1511155470 @default.
- W1518415489 cites W1511688816 @default.
- W1518415489 cites W1543643719 @default.
- W1518415489 cites W1549820563 @default.
- W1518415489 cites W1571873445 @default.
- W1518415489 cites W1683546237 @default.
- W1518415489 cites W2024148935 @default.
- W1518415489 cites W2044560939 @default.
- W1518415489 cites W2067241820 @default.
- W1518415489 cites W2075959177 @default.
- W1518415489 cites W2079170559 @default.
- W1518415489 cites W2095821893 @default.
- W1518415489 cites W2108637261 @default.
- W1518415489 cites W2108641898 @default.
- W1518415489 cites W2108795363 @default.
- W1518415489 cites W2110123236 @default.
- W1518415489 cites W2118010253 @default.
- W1518415489 cites W2125047455 @default.
- W1518415489 cites W2130670097 @default.
- W1518415489 cites W2134767109 @default.
- W1518415489 cites W2142785340 @default.
- W1518415489 cites W2147442986 @default.
- W1518415489 cites W2165788555 @default.
- W1518415489 cites W2167618854 @default.
- W1518415489 doi "https://doi.org/10.1109/iscas.2006.1693238" @default.
- W1518415489 hasPublicationYear "2006" @default.
- W1518415489 type Work @default.
- W1518415489 sameAs 1518415489 @default.
- W1518415489 citedByCount "7" @default.
- W1518415489 crossrefType "proceedings-article" @default.
- W1518415489 hasAuthorship W1518415489A5066105108 @default.
- W1518415489 hasAuthorship W1518415489A5070187428 @default.
- W1518415489 hasConcept C11413529 @default.
- W1518415489 hasConcept C121332964 @default.
- W1518415489 hasConcept C127413603 @default.
- W1518415489 hasConcept C131017901 @default.
- W1518415489 hasConcept C135402231 @default.
- W1518415489 hasConcept C14580979 @default.
- W1518415489 hasConcept C149635348 @default.
- W1518415489 hasConcept C163258240 @default.
- W1518415489 hasConcept C168773769 @default.
- W1518415489 hasConcept C24326235 @default.
- W1518415489 hasConcept C41008148 @default.
- W1518415489 hasConcept C46362747 @default.
- W1518415489 hasConcept C56086750 @default.
- W1518415489 hasConcept C62520636 @default.
- W1518415489 hasConcept C6943359 @default.
- W1518415489 hasConcept C81409106 @default.
- W1518415489 hasConcept C97355855 @default.
- W1518415489 hasConceptScore W1518415489C11413529 @default.
- W1518415489 hasConceptScore W1518415489C121332964 @default.
- W1518415489 hasConceptScore W1518415489C127413603 @default.
- W1518415489 hasConceptScore W1518415489C131017901 @default.
- W1518415489 hasConceptScore W1518415489C135402231 @default.
- W1518415489 hasConceptScore W1518415489C14580979 @default.
- W1518415489 hasConceptScore W1518415489C149635348 @default.
- W1518415489 hasConceptScore W1518415489C163258240 @default.
- W1518415489 hasConceptScore W1518415489C168773769 @default.
- W1518415489 hasConceptScore W1518415489C24326235 @default.
- W1518415489 hasConceptScore W1518415489C41008148 @default.
- W1518415489 hasConceptScore W1518415489C46362747 @default.
- W1518415489 hasConceptScore W1518415489C56086750 @default.
- W1518415489 hasConceptScore W1518415489C62520636 @default.
- W1518415489 hasConceptScore W1518415489C6943359 @default.
- W1518415489 hasConceptScore W1518415489C81409106 @default.
- W1518415489 hasConceptScore W1518415489C97355855 @default.
- W1518415489 hasLocation W15184154891 @default.
- W1518415489 hasOpenAccess W1518415489 @default.
- W1518415489 hasPrimaryLocation W15184154891 @default.
- W1518415489 hasRelatedWork W1601265913 @default.
- W1518415489 hasRelatedWork W1869974579 @default.
- W1518415489 hasRelatedWork W1945495511 @default.
- W1518415489 hasRelatedWork W2003200217 @default.
- W1518415489 hasRelatedWork W2013085877 @default.
- W1518415489 hasRelatedWork W2027776185 @default.
- W1518415489 hasRelatedWork W2045570302 @default.
- W1518415489 hasRelatedWork W2108641898 @default.
- W1518415489 hasRelatedWork W2111121477 @default.
- W1518415489 hasRelatedWork W2112458228 @default.
- W1518415489 hasRelatedWork W2115745535 @default.
- W1518415489 hasRelatedWork W2135250302 @default.
- W1518415489 hasRelatedWork W2145269393 @default.
- W1518415489 hasRelatedWork W2151884713 @default.
- W1518415489 hasRelatedWork W2154018883 @default.
- W1518415489 hasRelatedWork W2380782397 @default.
- W1518415489 hasRelatedWork W2382088768 @default.
- W1518415489 hasRelatedWork W2386895400 @default.
- W1518415489 hasRelatedWork W2547479633 @default.
- W1518415489 hasRelatedWork W64155922 @default.
- W1518415489 isParatext "false" @default.
- W1518415489 isRetracted "false" @default.
- W1518415489 magId "1518415489" @default.
- W1518415489 workType "article" @default.