FRINK Linked Data Fragments server

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

• W2007173800 endingPage "594" @default.
• W2007173800 startingPage "587" @default.
• W2007173800 abstract "Design debugging has become a resource-intensive bottleneck in modern VLSI CAD flows, consuming as much as 60% of the total verification effort. With typical design sizes exceeding the half-million synthesized gates mark, the growing number of blocks to be examined dramatically slows down the debugging process. The aim of this work is to prune the number of debugging iterations for finding all potential bugs, without affecting the debugging resolution. This is achieved by using structural dominance relationships between circuit components. More specifically, an iterative fixpoint algorithm is presented for finding dominance relationships between multiple-output blocks of the design. These relationships are then leveraged for the early discovery of potential bugs, along with their corrections, resulting in significant debugging speed-ups. Extensive experiments on real industrial designs show that 66% of solutions are discovered early due to dominator implications. This results in consistent performance gains in all cases and a 1.7× overall speed-up for finding all potential bugs, demonstrating the robustness and practicality of the proposed approach." @default.
• W2007173800 created "2016-06-24" @default.
• W2007173800 creator A5009841786 @default.
• W2007173800 creator A5016047575 @default.
• W2007173800 creator A5068489496 @default.
• W2007173800 creator A5088432724 @default.
• W2007173800 date "2011-11-07" @default.
• W2007173800 modified "2023-09-28" @default.
• W2007173800 title "Debugging with dominance: on-the-fly RTL debug solution implications" @default.
• W2007173800 cites W1491178396 @default.
• W2007173800 cites W1513012091 @default.
• W2007173800 cites W1518705996 @default.
• W2007173800 cites W1554885925 @default.
• W2007173800 cites W1976357819 @default.
• W2007173800 cites W1979903718 @default.
• W2007173800 cites W1985245264 @default.
• W2007173800 cites W1999724243 @default.
• W2007173800 cites W2018368463 @default.
• W2007173800 cites W2070852497 @default.
• W2007173800 cites W2078661369 @default.
• W2007173800 cites W2078819445 @default.
• W2007173800 cites W2091631300 @default.
• W2007173800 cites W2093894378 @default.
• W2007173800 cites W2096554094 @default.
• W2007173800 cites W2116098983 @default.
• W2007173800 cites W2134886801 @default.
• W2007173800 cites W2135931142 @default.
• W2007173800 cites W2144606498 @default.
• W2007173800 cites W2150566739 @default.
• W2007173800 cites W2154269166 @default.
• W2007173800 cites W2157373763 @default.
• W2007173800 cites W3146084168 @default.
• W2007173800 cites W94279159 @default.
• W2007173800 doi "https://doi.org/10.5555/2132325.2132460" @default.
• W2007173800 hasPublicationYear "2011" @default.
• W2007173800 type Work @default.
• W2007173800 sameAs 2007173800 @default.
• W2007173800 citedByCount "3" @default.
• W2007173800 countsByYear W20071738002012 @default.
• W2007173800 countsByYear W20071738002013 @default.
• W2007173800 countsByYear W20071738002015 @default.
• W2007173800 crossrefType "proceedings-article" @default.
• W2007173800 hasAuthorship W2007173800A5009841786 @default.
• W2007173800 hasAuthorship W2007173800A5016047575 @default.
• W2007173800 hasAuthorship W2007173800A5068489496 @default.
• W2007173800 hasAuthorship W2007173800A5088432724 @default.
• W2007173800 hasConcept C104317684 @default.
• W2007173800 hasConcept C113775141 @default.
• W2007173800 hasConcept C136388014 @default.
• W2007173800 hasConcept C14580979 @default.
• W2007173800 hasConcept C149635348 @default.
• W2007173800 hasConcept C151913843 @default.
• W2007173800 hasConcept C168065819 @default.
• W2007173800 hasConcept C173608175 @default.
• W2007173800 hasConcept C185592680 @default.
• W2007173800 hasConcept C199360897 @default.
• W2007173800 hasConcept C2780513914 @default.
• W2007173800 hasConcept C41008148 @default.
• W2007173800 hasConcept C55493867 @default.
• W2007173800 hasConcept C63479239 @default.
• W2007173800 hasConceptScore W2007173800C104317684 @default.
• W2007173800 hasConceptScore W2007173800C113775141 @default.
• W2007173800 hasConceptScore W2007173800C136388014 @default.
• W2007173800 hasConceptScore W2007173800C14580979 @default.
• W2007173800 hasConceptScore W2007173800C149635348 @default.
• W2007173800 hasConceptScore W2007173800C151913843 @default.
• W2007173800 hasConceptScore W2007173800C168065819 @default.
• W2007173800 hasConceptScore W2007173800C173608175 @default.
• W2007173800 hasConceptScore W2007173800C185592680 @default.
• W2007173800 hasConceptScore W2007173800C199360897 @default.
• W2007173800 hasConceptScore W2007173800C2780513914 @default.
• W2007173800 hasConceptScore W2007173800C41008148 @default.
• W2007173800 hasConceptScore W2007173800C55493867 @default.
• W2007173800 hasConceptScore W2007173800C63479239 @default.
• W2007173800 hasLocation W20071738001 @default.
• W2007173800 hasOpenAccess W2007173800 @default.
• W2007173800 hasPrimaryLocation W20071738001 @default.
• W2007173800 hasRelatedWork W1699991973 @default.
• W2007173800 hasRelatedWork W175772421 @default.
• W2007173800 hasRelatedWork W1965259933 @default.
• W2007173800 hasRelatedWork W1989592157 @default.
• W2007173800 hasRelatedWork W2025596149 @default.
• W2007173800 hasRelatedWork W2051096547 @default.
• W2007173800 hasRelatedWork W2078296499 @default.
• W2007173800 hasRelatedWork W2078940150 @default.
• W2007173800 hasRelatedWork W2112805885 @default.
• W2007173800 hasRelatedWork W2115559389 @default.
• W2007173800 hasRelatedWork W2122214419 @default.
• W2007173800 hasRelatedWork W2124408378 @default.
• W2007173800 hasRelatedWork W2145791280 @default.
• W2007173800 hasRelatedWork W2146662253 @default.
• W2007173800 hasRelatedWork W2158056647 @default.
• W2007173800 hasRelatedWork W2215330269 @default.
• W2007173800 hasRelatedWork W2465921088 @default.
• W2007173800 hasRelatedWork W2726290008 @default.
• W2007173800 hasRelatedWork W616997737 @default.
• W2007173800 hasRelatedWork W2176587763 @default.
• W2007173800 isParatext "false" @default.

• next