Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026007917> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2026007917 abstract "The past decade has seen a disproportionate amount of resources dedicated towards verification as compared to actual design. It is reported that one third of this overhead is due to the resource-intensive task of manual debugging. To relieve this burden, this work introduces the novel concept of path directed debugging within a window-based abstraction/refinement framework. The algorithm divides the error trace into non-overlapping time-windows where each window is analyzed separately. Subsequent windows are replaced with abstracted over-approximations derived from failing paths in the time domain. Using this abstracted model, each solution found is processed through an additional verification step that removes spurious solutions and simultaneously refines the problem. This paper also develops the theory that shows that the proposed approach is complete, a fact that mitigates the incompleteness inherent in past time-window based debugging methods. Experimental results on industrial designs with long error traces show a 55% decrease in peak memory usage resulting in 78% more instances being solved when compared to previous work." @default.
- W2026007917 created "2016-06-24" @default.
- W2026007917 creator A5009841786 @default.
- W2026007917 creator A5070019319 @default.
- W2026007917 date "2012-06-03" @default.
- W2026007917 modified "2023-10-16" @default.
- W2026007917 title "Path directed abstraction and refinement in SAT-based design debugging" @default.
- W2026007917 cites W1979903718 @default.
- W2026007917 cites W2132848397 @default.
- W2026007917 cites W2144606498 @default.
- W2026007917 cites W2160037120 @default.
- W2026007917 doi "https://doi.org/10.1145/2228360.2228530" @default.
- W2026007917 hasPublicationYear "2012" @default.
- W2026007917 type Work @default.
- W2026007917 sameAs 2026007917 @default.
- W2026007917 citedByCount "8" @default.
- W2026007917 countsByYear W20260079172013 @default.
- W2026007917 countsByYear W20260079172014 @default.
- W2026007917 countsByYear W20260079172015 @default.
- W2026007917 countsByYear W20260079172016 @default.
- W2026007917 countsByYear W20260079172018 @default.
- W2026007917 crossrefType "proceedings-article" @default.
- W2026007917 hasAuthorship W2026007917A5009841786 @default.
- W2026007917 hasAuthorship W2026007917A5070019319 @default.
- W2026007917 hasBestOaLocation W20260079172 @default.
- W2026007917 hasConcept C111472728 @default.
- W2026007917 hasConcept C111919701 @default.
- W2026007917 hasConcept C11413529 @default.
- W2026007917 hasConcept C119857082 @default.
- W2026007917 hasConcept C124304363 @default.
- W2026007917 hasConcept C136388014 @default.
- W2026007917 hasConcept C138885662 @default.
- W2026007917 hasConcept C162324750 @default.
- W2026007917 hasConcept C168065819 @default.
- W2026007917 hasConcept C173608175 @default.
- W2026007917 hasConcept C187736073 @default.
- W2026007917 hasConcept C199360897 @default.
- W2026007917 hasConcept C2777735758 @default.
- W2026007917 hasConcept C2778751112 @default.
- W2026007917 hasConcept C2779960059 @default.
- W2026007917 hasConcept C2780451532 @default.
- W2026007917 hasConcept C41008148 @default.
- W2026007917 hasConcept C97256817 @default.
- W2026007917 hasConceptScore W2026007917C111472728 @default.
- W2026007917 hasConceptScore W2026007917C111919701 @default.
- W2026007917 hasConceptScore W2026007917C11413529 @default.
- W2026007917 hasConceptScore W2026007917C119857082 @default.
- W2026007917 hasConceptScore W2026007917C124304363 @default.
- W2026007917 hasConceptScore W2026007917C136388014 @default.
- W2026007917 hasConceptScore W2026007917C138885662 @default.
- W2026007917 hasConceptScore W2026007917C162324750 @default.
- W2026007917 hasConceptScore W2026007917C168065819 @default.
- W2026007917 hasConceptScore W2026007917C173608175 @default.
- W2026007917 hasConceptScore W2026007917C187736073 @default.
- W2026007917 hasConceptScore W2026007917C199360897 @default.
- W2026007917 hasConceptScore W2026007917C2777735758 @default.
- W2026007917 hasConceptScore W2026007917C2778751112 @default.
- W2026007917 hasConceptScore W2026007917C2779960059 @default.
- W2026007917 hasConceptScore W2026007917C2780451532 @default.
- W2026007917 hasConceptScore W2026007917C41008148 @default.
- W2026007917 hasConceptScore W2026007917C97256817 @default.
- W2026007917 hasLocation W20260079171 @default.
- W2026007917 hasLocation W20260079172 @default.
- W2026007917 hasLocation W20260079173 @default.
- W2026007917 hasOpenAccess W2026007917 @default.
- W2026007917 hasPrimaryLocation W20260079171 @default.
- W2026007917 hasRelatedWork W1579177548 @default.
- W2026007917 hasRelatedWork W1587224678 @default.
- W2026007917 hasRelatedWork W1601811574 @default.
- W2026007917 hasRelatedWork W201088255 @default.
- W2026007917 hasRelatedWork W2128202334 @default.
- W2026007917 hasRelatedWork W2128962559 @default.
- W2026007917 hasRelatedWork W2144606498 @default.
- W2026007917 hasRelatedWork W2591945988 @default.
- W2026007917 hasRelatedWork W2915034041 @default.
- W2026007917 hasRelatedWork W53394136 @default.
- W2026007917 isParatext "false" @default.
- W2026007917 isRetracted "false" @default.
- W2026007917 magId "2026007917" @default.
- W2026007917 workType "article" @default.