FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013085877> ?p ?o ?g. }

• W2013085877 endingPage "284" @default.
• W2013085877 startingPage "271" @default.
• W2013085877 abstract "With lower supply voltages, increased integration densities and higher operating frequencies, power grid verification has become a crucial step in the very large-scale integration design cycle. The accurate estimation of maximum instantaneous power dissipation aims at finding the worst-case scenario where excessive simultaneous switching could impose extreme current demands on the power grid. This problem is highly input-pattern dependent and is proven to be NP-hard. In this paper, we capitalize on the compelling advancements in satisfiability (SAT) solvers to propose a pseudo-Boolean SAT-based framework that reports the input patterns maximizing circuit activity, and consequently peak dynamic power, in combinational and sequential circuits. The proposed framework is enhanced to handle unit gate delays and output glitches. In order to disallow unrealistic input transitions, we show how to integrate input constraints in the formulation. Finally, a number of optimization techniques, such as the use of gate switching equivalence classes, are described to improve the scalability of the proposed method. An extensive suite of experiments on ISCAS85 and ISCAS89 circuits confirms the robustness of the approach compared to simulation-based techniques and encourages further research for low-power solutions using Boolean SAT." @default.
• W2013085877 created "2016-06-24" @default.
• W2013085877 creator A5009841786 @default.
• W2013085877 creator A5016047575 @default.
• W2013085877 creator A5089881278 @default.
• W2013085877 date "2012-02-01" @default.
• W2013085877 modified "2023-09-27" @default.
• W2013085877 title "Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability" @default.
• W2013085877 cites W128869332 @default.
• W2013085877 cites W1518705996 @default.
• W2013085877 cites W1542825250 @default.
• W2013085877 cites W1905074186 @default.
• W2013085877 cites W1970793581 @default.
• W2013085877 cites W1979903718 @default.
• W2013085877 cites W2035863366 @default.
• W2013085877 cites W2041514074 @default.
• W2013085877 cites W2044560939 @default.
• W2013085877 cites W2057361103 @default.
• W2013085877 cites W2079771879 @default.
• W2013085877 cites W2080922340 @default.
• W2013085877 cites W2092883699 @default.
• W2013085877 cites W2093652003 @default.
• W2013085877 cites W2096424065 @default.
• W2013085877 cites W2100577981 @default.
• W2013085877 cites W2102666576 @default.
• W2013085877 cites W2103184499 @default.
• W2013085877 cites W2108641898 @default.
• W2013085877 cites W2114661320 @default.
• W2013085877 cites W2116758077 @default.
• W2013085877 cites W2134767109 @default.
• W2013085877 cites W2135159456 @default.
• W2013085877 cites W2142785340 @default.
• W2013085877 cites W2146192086 @default.
• W2013085877 cites W2149396421 @default.
• W2013085877 cites W2160444875 @default.
• W2013085877 cites W2167618854 @default.
• W2013085877 cites W2173072002 @default.
• W2013085877 cites W3142377211 @default.
• W2013085877 cites W3144286773 @default.
• W2013085877 cites W54684292 @default.
• W2013085877 cites W67485690 @default.
• W2013085877 cites W82625556 @default.
• W2013085877 cites W1886359205 @default.
• W2013085877 doi "https://doi.org/10.1109/tcad.2011.2169259" @default.
• W2013085877 hasPublicationYear "2012" @default.
• W2013085877 type Work @default.
• W2013085877 sameAs 2013085877 @default.
• W2013085877 citedByCount "10" @default.
• W2013085877 countsByYear W20130858772012 @default.
• W2013085877 countsByYear W20130858772014 @default.
• W2013085877 countsByYear W20130858772015 @default.
• W2013085877 countsByYear W20130858772016 @default.
• W2013085877 countsByYear W20130858772017 @default.
• W2013085877 countsByYear W20130858772018 @default.
• W2013085877 crossrefType "journal-article" @default.
• W2013085877 hasAuthorship W2013085877A5009841786 @default.
• W2013085877 hasAuthorship W2013085877A5016047575 @default.
• W2013085877 hasAuthorship W2013085877A5089881278 @default.
• W2013085877 hasBestOaLocation W20130858772 @default.
• W2013085877 hasConcept C104317684 @default.
• W2013085877 hasConcept C111498074 @default.
• W2013085877 hasConcept C111919701 @default.
• W2013085877 hasConcept C113775141 @default.
• W2013085877 hasConcept C11413529 @default.
• W2013085877 hasConcept C118615104 @default.
• W2013085877 hasConcept C119599485 @default.
• W2013085877 hasConcept C127413603 @default.
• W2013085877 hasConcept C131017901 @default.
• W2013085877 hasConcept C134146338 @default.
• W2013085877 hasConcept C141796577 @default.
• W2013085877 hasConcept C168773769 @default.
• W2013085877 hasConcept C185592680 @default.
• W2013085877 hasConcept C187455244 @default.
• W2013085877 hasConcept C187691185 @default.
• W2013085877 hasConcept C2524010 @default.
• W2013085877 hasConcept C2780069185 @default.
• W2013085877 hasConcept C33923547 @default.
• W2013085877 hasConcept C41008148 @default.
• W2013085877 hasConcept C48044578 @default.
• W2013085877 hasConcept C530198007 @default.
• W2013085877 hasConcept C55493867 @default.
• W2013085877 hasConcept C63479239 @default.
• W2013085877 hasConcept C6943359 @default.
• W2013085877 hasConcept C77088390 @default.
• W2013085877 hasConcept C81409106 @default.
• W2013085877 hasConcept C96654402 @default.
• W2013085877 hasConceptScore W2013085877C104317684 @default.
• W2013085877 hasConceptScore W2013085877C111498074 @default.
• W2013085877 hasConceptScore W2013085877C111919701 @default.
• W2013085877 hasConceptScore W2013085877C113775141 @default.
• W2013085877 hasConceptScore W2013085877C11413529 @default.
• W2013085877 hasConceptScore W2013085877C118615104 @default.
• W2013085877 hasConceptScore W2013085877C119599485 @default.
• W2013085877 hasConceptScore W2013085877C127413603 @default.
• W2013085877 hasConceptScore W2013085877C131017901 @default.
• W2013085877 hasConceptScore W2013085877C134146338 @default.
• W2013085877 hasConceptScore W2013085877C141796577 @default.
• W2013085877 hasConceptScore W2013085877C168773769 @default.

• next