FRINK Linked Data Fragments server

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

• W2017221034 endingPage "324" @default.
• W2017221034 startingPage "317" @default.
• W2017221034 abstract "This paper presents a satisfiability based approach that can be used for accurate estimation of both the critical delay and dynamic transition power consumption of circuits using an event propagation model. The accuracy of the model depends on the accuracy of the gate delays. The speed and efficiency of modern Boolean SAT solvers permits us to model complicated delay models like the Bounded Delay Model, which is better able to capture realistic variations in gate delays due to process variations and changes in operating conditions. We show that timing analysis with bounded delays yields a more accurate critical delay for a circuit than with fixed gate delays. In spite of the high complexity due to unpredictable gate delays, our SAT based approach gives good performance on benchmark circuits, even with a Bounded Delay Model derived from a real industrial library." @default.
• W2017221034 created "2016-06-24" @default.
• W2017221034 creator A5013205698 @default.
• W2017221034 creator A5033329960 @default.
• W2017221034 creator A5076792629 @default.
• W2017221034 date "2010-05-01" @default.
• W2017221034 modified "2023-10-17" @default.
• W2017221034 title "Bounded delay timing analysis and power estimation using SAT" @default.
• W2017221034 cites W1965794666 @default.
• W2017221034 cites W2030693510 @default.
• W2017221034 cites W2032642924 @default.
• W2017221034 cites W2079771879 @default.
• W2017221034 cites W2087387686 @default.
• W2017221034 cites W2103772057 @default.
• W2017221034 cites W2113765439 @default.
• W2017221034 cites W2117511231 @default.
• W2017221034 cites W2129398548 @default.
• W2017221034 cites W2134767109 @default.
• W2017221034 cites W2142785340 @default.
• W2017221034 cites W2145445699 @default.
• W2017221034 cites W2149396421 @default.
• W2017221034 cites W2151989224 @default.
• W2017221034 cites W2154769617 @default.
• W2017221034 cites W2160444875 @default.
• W2017221034 cites W2167618854 @default.
• W2017221034 cites W2171349697 @default.
• W2017221034 cites W2340164757 @default.
• W2017221034 cites W60367733 @default.
• W2017221034 doi "https://doi.org/10.1016/j.mejo.2010.04.001" @default.
• W2017221034 hasPublicationYear "2010" @default.
• W2017221034 type Work @default.
• W2017221034 sameAs 2017221034 @default.
• W2017221034 citedByCount "0" @default.
• W2017221034 crossrefType "journal-article" @default.
• W2017221034 hasAuthorship W2017221034A5013205698 @default.
• W2017221034 hasAuthorship W2017221034A5033329960 @default.
• W2017221034 hasAuthorship W2017221034A5076792629 @default.
• W2017221034 hasConcept C111919701 @default.
• W2017221034 hasConcept C11413529 @default.
• W2017221034 hasConcept C119599485 @default.
• W2017221034 hasConcept C121332964 @default.
• W2017221034 hasConcept C127413603 @default.
• W2017221034 hasConcept C131017901 @default.
• W2017221034 hasConcept C13280743 @default.
• W2017221034 hasConcept C134146338 @default.
• W2017221034 hasConcept C134306372 @default.
• W2017221034 hasConcept C149635348 @default.
• W2017221034 hasConcept C154945302 @default.
• W2017221034 hasConcept C163258240 @default.
• W2017221034 hasConcept C174086752 @default.
• W2017221034 hasConcept C185798385 @default.
• W2017221034 hasConcept C205649164 @default.
• W2017221034 hasConcept C2775924081 @default.
• W2017221034 hasConcept C31258907 @default.
• W2017221034 hasConcept C33923547 @default.
• W2017221034 hasConcept C34388435 @default.
• W2017221034 hasConcept C41008148 @default.
• W2017221034 hasConcept C47446073 @default.
• W2017221034 hasConcept C62520636 @default.
• W2017221034 hasConcept C6943359 @default.
• W2017221034 hasConcept C84434228 @default.
• W2017221034 hasConcept C90806461 @default.
• W2017221034 hasConcept C93682380 @default.
• W2017221034 hasConcept C98045186 @default.
• W2017221034 hasConceptScore W2017221034C111919701 @default.
• W2017221034 hasConceptScore W2017221034C11413529 @default.
• W2017221034 hasConceptScore W2017221034C119599485 @default.
• W2017221034 hasConceptScore W2017221034C121332964 @default.
• W2017221034 hasConceptScore W2017221034C127413603 @default.
• W2017221034 hasConceptScore W2017221034C131017901 @default.
• W2017221034 hasConceptScore W2017221034C13280743 @default.
• W2017221034 hasConceptScore W2017221034C134146338 @default.
• W2017221034 hasConceptScore W2017221034C134306372 @default.
• W2017221034 hasConceptScore W2017221034C149635348 @default.
• W2017221034 hasConceptScore W2017221034C154945302 @default.
• W2017221034 hasConceptScore W2017221034C163258240 @default.
• W2017221034 hasConceptScore W2017221034C174086752 @default.
• W2017221034 hasConceptScore W2017221034C185798385 @default.
• W2017221034 hasConceptScore W2017221034C205649164 @default.
• W2017221034 hasConceptScore W2017221034C2775924081 @default.
• W2017221034 hasConceptScore W2017221034C31258907 @default.
• W2017221034 hasConceptScore W2017221034C33923547 @default.
• W2017221034 hasConceptScore W2017221034C34388435 @default.
• W2017221034 hasConceptScore W2017221034C41008148 @default.
• W2017221034 hasConceptScore W2017221034C47446073 @default.
• W2017221034 hasConceptScore W2017221034C62520636 @default.
• W2017221034 hasConceptScore W2017221034C6943359 @default.
• W2017221034 hasConceptScore W2017221034C84434228 @default.
• W2017221034 hasConceptScore W2017221034C90806461 @default.
• W2017221034 hasConceptScore W2017221034C93682380 @default.
• W2017221034 hasConceptScore W2017221034C98045186 @default.
• W2017221034 hasIssue "5" @default.
• W2017221034 hasLocation W20172210341 @default.
• W2017221034 hasOpenAccess W2017221034 @default.
• W2017221034 hasPrimaryLocation W20172210341 @default.
• W2017221034 hasRelatedWork W2017221034 @default.
• W2017221034 hasRelatedWork W2039342382 @default.
• W2017221034 hasRelatedWork W2087387686 @default.

• next