Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078940150> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2078940150 endingPage "166" @default.
- W2078940150 startingPage "153" @default.
- W2078940150 abstract "Register-transfer level (RTL) debug has become a resource-intensive bottleneck in modern very large scale integration computer-aided design flows, consuming as much as 32% of the total verification effort. This paper aims to advance the state-of-the-art in automated RTL debuggers, which return all potential bugs in the RTL, called solutions, along with corresponding corrections. First, an iterative algorithm is presented to compute the dominance relationships between RTL blocks. These relationships are leveraged to discover implied solutions with every new solution, thus significantly reducing the number of formal engine calls. Furthermore, a modern Boolean satisfiability (SAT) solver is tailored to detect debugging nonsolutions, sets of RTL blocks guaranteed to be bug-free, and to imply other nonsolutions using the precomputed RTL dominance relationships. Extensive experiments on industrial designs show a three-fold reduction in the number of SAT calls due to solution implications, coupled with faster SAT run-times due to nonsolution implications, resulting in a 2.63x overall speedup in total SAT solving time, demonstrating the robustness and practicality of the proposed approach." @default.
- W2078940150 created "2016-06-24" @default.
- W2078940150 creator A5009841786 @default.
- W2078940150 creator A5016047575 @default.
- W2078940150 creator A5082297616 @default.
- W2078940150 date "2014-01-01" @default.
- W2078940150 modified "2023-09-27" @default.
- W2078940150 title "Debugging RTL Using Structural Dominance" @default.
- W2078940150 cites W1513012091 @default.
- W2078940150 cites W1518705996 @default.
- W2078940150 cites W1539380957 @default.
- W2078940150 cites W1554885925 @default.
- W2078940150 cites W1976357819 @default.
- W2078940150 cites W1979903718 @default.
- W2078940150 cites W1985245264 @default.
- W2078940150 cites W1999724243 @default.
- W2078940150 cites W2018368463 @default.
- W2078940150 cites W2070852497 @default.
- W2078940150 cites W2078661369 @default.
- W2078940150 cites W2091631300 @default.
- W2078940150 cites W2096554094 @default.
- W2078940150 cites W2102364390 @default.
- W2078940150 cites W2116098983 @default.
- W2078940150 cites W2121863021 @default.
- W2078940150 cites W2134886801 @default.
- W2078940150 cites W2135931142 @default.
- W2078940150 cites W2142785340 @default.
- W2078940150 cites W2144606498 @default.
- W2078940150 cites W2148397050 @default.
- W2078940150 cites W2151387544 @default.
- W2078940150 cites W2154269166 @default.
- W2078940150 cites W2154462766 @default.
- W2078940150 cites W2160037120 @default.
- W2078940150 cites W2169878956 @default.
- W2078940150 cites W94279159 @default.
- W2078940150 doi "https://doi.org/10.1109/tcad.2013.2278491" @default.
- W2078940150 hasPublicationYear "2014" @default.
- W2078940150 type Work @default.
- W2078940150 sameAs 2078940150 @default.
- W2078940150 citedByCount "9" @default.
- W2078940150 countsByYear W20789401502015 @default.
- W2078940150 countsByYear W20789401502017 @default.
- W2078940150 countsByYear W20789401502018 @default.
- W2078940150 countsByYear W20789401502019 @default.
- W2078940150 countsByYear W20789401502020 @default.
- W2078940150 crossrefType "journal-article" @default.
- W2078940150 hasAuthorship W2078940150A5009841786 @default.
- W2078940150 hasAuthorship W2078940150A5016047575 @default.
- W2078940150 hasAuthorship W2078940150A5082297616 @default.
- W2078940150 hasBestOaLocation W20789401502 @default.
- W2078940150 hasConcept C111498074 @default.
- W2078940150 hasConcept C11413529 @default.
- W2078940150 hasConcept C149635348 @default.
- W2078940150 hasConcept C168065819 @default.
- W2078940150 hasConcept C173608175 @default.
- W2078940150 hasConcept C199360897 @default.
- W2078940150 hasConcept C2780513914 @default.
- W2078940150 hasConcept C41008148 @default.
- W2078940150 hasConcept C68339613 @default.
- W2078940150 hasConcept C6943359 @default.
- W2078940150 hasConcept C80444323 @default.
- W2078940150 hasConcept C96654402 @default.
- W2078940150 hasConceptScore W2078940150C111498074 @default.
- W2078940150 hasConceptScore W2078940150C11413529 @default.
- W2078940150 hasConceptScore W2078940150C149635348 @default.
- W2078940150 hasConceptScore W2078940150C168065819 @default.
- W2078940150 hasConceptScore W2078940150C173608175 @default.
- W2078940150 hasConceptScore W2078940150C199360897 @default.
- W2078940150 hasConceptScore W2078940150C2780513914 @default.
- W2078940150 hasConceptScore W2078940150C41008148 @default.
- W2078940150 hasConceptScore W2078940150C68339613 @default.
- W2078940150 hasConceptScore W2078940150C6943359 @default.
- W2078940150 hasConceptScore W2078940150C80444323 @default.
- W2078940150 hasConceptScore W2078940150C96654402 @default.
- W2078940150 hasIssue "1" @default.
- W2078940150 hasLocation W20789401501 @default.
- W2078940150 hasLocation W20789401502 @default.
- W2078940150 hasOpenAccess W2078940150 @default.
- W2078940150 hasPrimaryLocation W20789401501 @default.
- W2078940150 hasRelatedWork W1650901103 @default.
- W2078940150 hasRelatedWork W1974638845 @default.
- W2078940150 hasRelatedWork W1999796373 @default.
- W2078940150 hasRelatedWork W2053568314 @default.
- W2078940150 hasRelatedWork W2151898527 @default.
- W2078940150 hasRelatedWork W2389109338 @default.
- W2078940150 hasRelatedWork W3214237793 @default.
- W2078940150 hasRelatedWork W4299734787 @default.
- W2078940150 hasRelatedWork W49864161 @default.
- W2078940150 hasRelatedWork W1894736207 @default.
- W2078940150 hasVolume "33" @default.
- W2078940150 isParatext "false" @default.
- W2078940150 isRetracted "false" @default.
- W2078940150 magId "2078940150" @default.
- W2078940150 workType "article" @default.