Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149777975> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3149777975 abstract "In todaypsilas complex SoC designs, verification and debugging are becoming ever more crucial and increasingly time-consuming tasks. The prevalence of embedded memories adds to the difficulty of the problem by exponentially increasing the state-space of the design. In this work, a novel memory model for design debugging is presented. It models memory succinctly by avoiding an explicit representation for each memory bit. The method uses the simulation of the erroneous design to guide the debugging process. This results in a parameterizable formal encoding that grows linearly with the erroneous trace length, significantly reducing the memory requirements of the debugging problem. In addition, the proposed model is extended to handle an arbitrary initial memory configuration, as well as non-cycle accurate output traces where only a final expected memory state is available for comparison. Experiments on industrial designs show a 96% average reduction in memory usage along with a noticeable performance improvement compared to previous work." @default.
- W3149777975 created "2021-04-13" @default.
- W3149777975 creator A5020340024 @default.
- W3149777975 creator A5058209977 @default.
- W3149777975 creator A5059124761 @default.
- W3149777975 date "2008-11-01" @default.
- W3149777975 modified "2023-09-27" @default.
- W3149777975 title "A succinct memory model for automated design debugging" @default.
- W3149777975 cites W1519854356 @default.
- W3149777975 cites W1539380957 @default.
- W3149777975 cites W1979903718 @default.
- W3149777975 cites W2099386032 @default.
- W3149777975 cites W2137249130 @default.
- W3149777975 cites W2160444875 @default.
- W3149777975 cites W3150324789 @default.
- W3149777975 doi "https://doi.org/10.1109/iccad.2008.4681564" @default.
- W3149777975 hasPublicationYear "2008" @default.
- W3149777975 type Work @default.
- W3149777975 sameAs 3149777975 @default.
- W3149777975 citedByCount "0" @default.
- W3149777975 crossrefType "proceedings-article" @default.
- W3149777975 hasAuthorship W3149777975A5020340024 @default.
- W3149777975 hasAuthorship W3149777975A5058209977 @default.
- W3149777975 hasAuthorship W3149777975A5059124761 @default.
- W3149777975 hasBestOaLocation W31497779752 @default.
- W3149777975 hasConcept C111335779 @default.
- W3149777975 hasConcept C12186640 @default.
- W3149777975 hasConcept C125411270 @default.
- W3149777975 hasConcept C133875982 @default.
- W3149777975 hasConcept C138885662 @default.
- W3149777975 hasConcept C149635348 @default.
- W3149777975 hasConcept C154945302 @default.
- W3149777975 hasConcept C168065819 @default.
- W3149777975 hasConcept C173608175 @default.
- W3149777975 hasConcept C199360897 @default.
- W3149777975 hasConcept C2524010 @default.
- W3149777975 hasConcept C33923547 @default.
- W3149777975 hasConcept C41008148 @default.
- W3149777975 hasConcept C41895202 @default.
- W3149777975 hasConcept C48103436 @default.
- W3149777975 hasConcept C75291252 @default.
- W3149777975 hasConcept C9390403 @default.
- W3149777975 hasConcept C98986596 @default.
- W3149777975 hasConceptScore W3149777975C111335779 @default.
- W3149777975 hasConceptScore W3149777975C12186640 @default.
- W3149777975 hasConceptScore W3149777975C125411270 @default.
- W3149777975 hasConceptScore W3149777975C133875982 @default.
- W3149777975 hasConceptScore W3149777975C138885662 @default.
- W3149777975 hasConceptScore W3149777975C149635348 @default.
- W3149777975 hasConceptScore W3149777975C154945302 @default.
- W3149777975 hasConceptScore W3149777975C168065819 @default.
- W3149777975 hasConceptScore W3149777975C173608175 @default.
- W3149777975 hasConceptScore W3149777975C199360897 @default.
- W3149777975 hasConceptScore W3149777975C2524010 @default.
- W3149777975 hasConceptScore W3149777975C33923547 @default.
- W3149777975 hasConceptScore W3149777975C41008148 @default.
- W3149777975 hasConceptScore W3149777975C41895202 @default.
- W3149777975 hasConceptScore W3149777975C48103436 @default.
- W3149777975 hasConceptScore W3149777975C75291252 @default.
- W3149777975 hasConceptScore W3149777975C9390403 @default.
- W3149777975 hasConceptScore W3149777975C98986596 @default.
- W3149777975 hasLocation W31497779751 @default.
- W3149777975 hasLocation W31497779752 @default.
- W3149777975 hasOpenAccess W3149777975 @default.
- W3149777975 hasPrimaryLocation W31497779751 @default.
- W3149777975 hasRelatedWork W130652581 @default.
- W3149777975 hasRelatedWork W1483845062 @default.
- W3149777975 hasRelatedWork W1498982577 @default.
- W3149777975 hasRelatedWork W1587224678 @default.
- W3149777975 hasRelatedWork W1601811574 @default.
- W3149777975 hasRelatedWork W2012464402 @default.
- W3149777975 hasRelatedWork W2041807992 @default.
- W3149777975 hasRelatedWork W2115737686 @default.
- W3149777975 hasRelatedWork W2390095984 @default.
- W3149777975 hasRelatedWork W2609291677 @default.
- W3149777975 isParatext "false" @default.
- W3149777975 isRetracted "false" @default.
- W3149777975 magId "3149777975" @default.
- W3149777975 workType "article" @default.