FRINK Linked Data Fragments server

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

• W2597708123 abstract "Formal verification techniques for System-on-Chips (SoCs) have matured significantly over the last years. They can penetrate deeply into a design to exhibit complex functional dependencies between various design components in terms of detailed logic and temporal relationships. The purpose of this paper is to show how this knowledge can be leveraged to optimize the dynamic power consumptions of SoC modules. Starting from a set of SVA properties fulfilling the criterion of full functional coverage, this paper proposes a new approach to clock gating based on an operational design view as introduced by existing property checking methodologies. The paper shows how certain flip-flops can be identified that are irrelevant during certain times of specific operations and therefore can be clockgated. In an industrial case study savings in power consumption of 20 % were achieved demonstrating the great potential of the proposed approach." @default.
• W2597708123 created "2017-04-07" @default.
• W2597708123 creator A5002670917 @default.
• W2597708123 creator A5007431419 @default.
• W2597708123 creator A5047920654 @default.
• W2597708123 creator A5066184879 @default.
• W2597708123 date "2017-01-01" @default.
• W2597708123 modified "2023-09-24" @default.
• W2597708123 title "Dynamic Power Optimization Based on Formal Property Checking of Operations" @default.
• W2597708123 cites W1965953351 @default.
• W2597708123 cites W1982784844 @default.
• W2597708123 cites W1986558678 @default.
• W2597708123 cites W1994298038 @default.
• W2597708123 cites W1996090184 @default.
• W2597708123 cites W2054368274 @default.
• W2597708123 cites W2064465644 @default.
• W2597708123 cites W2082321038 @default.
• W2597708123 cites W2104863797 @default.
• W2597708123 cites W2111423786 @default.
• W2597708123 cites W2119765938 @default.
• W2597708123 cites W2126023931 @default.
• W2597708123 cites W2134885745 @default.
• W2597708123 cites W2137564865 @default.
• W2597708123 cites W2152849223 @default.
• W2597708123 cites W2155694184 @default.
• W2597708123 cites W2165097265 @default.
• W2597708123 cites W2168285659 @default.
• W2597708123 cites W2402665206 @default.
• W2597708123 cites W2567389468 @default.
• W2597708123 cites W3138612623 @default.
• W2597708123 cites W3150683616 @default.
• W2597708123 cites W2402898942 @default.
• W2597708123 doi "https://doi.org/10.1109/vlsid.2017.56" @default.
• W2597708123 hasPublicationYear "2017" @default.
• W2597708123 type Work @default.
• W2597708123 sameAs 2597708123 @default.
• W2597708123 citedByCount "0" @default.
• W2597708123 crossrefType "proceedings-article" @default.
• W2597708123 hasAuthorship W2597708123A5002670917 @default.
• W2597708123 hasAuthorship W2597708123A5007431419 @default.
• W2597708123 hasAuthorship W2597708123A5047920654 @default.
• W2597708123 hasAuthorship W2597708123A5066184879 @default.
• W2597708123 hasConcept C110251889 @default.
• W2597708123 hasConcept C111472728 @default.
• W2597708123 hasConcept C111498074 @default.
• W2597708123 hasConcept C113775141 @default.
• W2597708123 hasConcept C11413529 @default.
• W2597708123 hasConcept C115903868 @default.
• W2597708123 hasConcept C121332964 @default.
• W2597708123 hasConcept C127413603 @default.
• W2597708123 hasConcept C131017901 @default.
• W2597708123 hasConcept C134652429 @default.
• W2597708123 hasConcept C137059387 @default.
• W2597708123 hasConcept C138885662 @default.
• W2597708123 hasConcept C149635348 @default.
• W2597708123 hasConcept C157922185 @default.
• W2597708123 hasConcept C163258240 @default.
• W2597708123 hasConcept C168292644 @default.
• W2597708123 hasConcept C177264268 @default.
• W2597708123 hasConcept C189950617 @default.
• W2597708123 hasConcept C199360897 @default.
• W2597708123 hasConcept C200601418 @default.
• W2597708123 hasConcept C22716491 @default.
• W2597708123 hasConcept C2984118289 @default.
• W2597708123 hasConcept C41008148 @default.
• W2597708123 hasConcept C60501442 @default.
• W2597708123 hasConcept C62520636 @default.
• W2597708123 hasConcept C75606506 @default.
• W2597708123 hasConcept C76155785 @default.
• W2597708123 hasConcept C80444323 @default.
• W2597708123 hasConceptScore W2597708123C110251889 @default.
• W2597708123 hasConceptScore W2597708123C111472728 @default.
• W2597708123 hasConceptScore W2597708123C111498074 @default.
• W2597708123 hasConceptScore W2597708123C113775141 @default.
• W2597708123 hasConceptScore W2597708123C11413529 @default.
• W2597708123 hasConceptScore W2597708123C115903868 @default.
• W2597708123 hasConceptScore W2597708123C121332964 @default.
• W2597708123 hasConceptScore W2597708123C127413603 @default.
• W2597708123 hasConceptScore W2597708123C131017901 @default.
• W2597708123 hasConceptScore W2597708123C134652429 @default.
• W2597708123 hasConceptScore W2597708123C137059387 @default.
• W2597708123 hasConceptScore W2597708123C138885662 @default.
• W2597708123 hasConceptScore W2597708123C149635348 @default.
• W2597708123 hasConceptScore W2597708123C157922185 @default.
• W2597708123 hasConceptScore W2597708123C163258240 @default.
• W2597708123 hasConceptScore W2597708123C168292644 @default.
• W2597708123 hasConceptScore W2597708123C177264268 @default.
• W2597708123 hasConceptScore W2597708123C189950617 @default.
• W2597708123 hasConceptScore W2597708123C199360897 @default.
• W2597708123 hasConceptScore W2597708123C200601418 @default.
• W2597708123 hasConceptScore W2597708123C22716491 @default.
• W2597708123 hasConceptScore W2597708123C2984118289 @default.
• W2597708123 hasConceptScore W2597708123C41008148 @default.
• W2597708123 hasConceptScore W2597708123C60501442 @default.
• W2597708123 hasConceptScore W2597708123C62520636 @default.
• W2597708123 hasConceptScore W2597708123C75606506 @default.
• W2597708123 hasConceptScore W2597708123C76155785 @default.
• W2597708123 hasConceptScore W2597708123C80444323 @default.
• W2597708123 hasLocation W25977081231 @default.
• W2597708123 hasOpenAccess W2597708123 @default.

• next