Matches in SemOpenAlex for { <https://semopenalex.org/work/W2181725979> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2181725979 abstract "During post-silicon validation and debug, manufactured integrated circuits (ICs) are tested in actual system environments to detect and fix design flaws (bugs). Existing post-silicon validation and debug techniques are mostly ad hoc and often involve manual steps. Such ad hoc approaches cannot scale with increasing IC complexity. We present Symbolic Quick Error Detection (Symbolic QED), a structured approach to post-silicon validation and debug. Symbolic QED combines the following steps in a coordinated fashion: 1. Quick Error Detection (QED) tests that quickly detect bugs with short error detection latencies and high coverage. 2. Formal analysis techniques to localize bugs and generate minimal-length bug traces upon detection of the corresponding bugs. We demonstrate the practicality and effectiveness of Symbolic QED using the OpenSPARC T2, a 500-million-transistor open-source multicore System-on-Chip (SoC) design, and using difficult logic bug scenarios that occurred in various state-of-the-art commercial multicore SoCs. Our results show that Symbolic QED: (i) is fully automatic (unlike manual techniques in use today that can be extremely time-consuming and expensive); (ii) requires only a few hours in contrast to manual approaches that might take days (or even months) or formal techniques that often take days or fail completely for large designs; (iii) generates counter-examples (for activating and detecting logic bugs) that are up to 6 orders of magnitude shorter than those produced by traditional techniques; and, (iv) does not require any additional hardware." @default.
- W2181725979 created "2016-06-24" @default.
- W2181725979 creator A5026961968 @default.
- W2181725979 creator A5036312663 @default.
- W2181725979 creator A5043891822 @default.
- W2181725979 creator A5055282803 @default.
- W2181725979 date "2015-10-01" @default.
- W2181725979 modified "2023-10-18" @default.
- W2181725979 title "A structured approach to post-silicon validation and debug using symbolic quick error detection" @default.
- W2181725979 cites W108458771 @default.
- W2181725979 cites W1500570021 @default.
- W2181725979 cites W1819209966 @default.
- W2181725979 cites W1974635992 @default.
- W2181725979 cites W1976197109 @default.
- W2181725979 cites W1981504678 @default.
- W2181725979 cites W1986697603 @default.
- W2181725979 cites W1993822809 @default.
- W2181725979 cites W1994573764 @default.
- W2181725979 cites W2006955715 @default.
- W2181725979 cites W2012262513 @default.
- W2181725979 cites W2024436253 @default.
- W2181725979 cites W2030959856 @default.
- W2181725979 cites W2062677539 @default.
- W2181725979 cites W2063922433 @default.
- W2181725979 cites W2074741789 @default.
- W2181725979 cites W2090692734 @default.
- W2181725979 cites W2097994445 @default.
- W2181725979 cites W2098771792 @default.
- W2181725979 cites W2108870314 @default.
- W2181725979 cites W2113235308 @default.
- W2181725979 cites W2122146819 @default.
- W2181725979 cites W2123205813 @default.
- W2181725979 cites W2134643952 @default.
- W2181725979 cites W2143849045 @default.
- W2181725979 cites W2144984544 @default.
- W2181725979 cites W2145021036 @default.
- W2181725979 cites W2147556214 @default.
- W2181725979 cites W2154550022 @default.
- W2181725979 cites W2158302200 @default.
- W2181725979 cites W2168238416 @default.
- W2181725979 cites W298612178 @default.
- W2181725979 cites W3150400496 @default.
- W2181725979 cites W57231800 @default.
- W2181725979 doi "https://doi.org/10.1109/test.2015.7342397" @default.
- W2181725979 hasPublicationYear "2015" @default.
- W2181725979 type Work @default.
- W2181725979 sameAs 2181725979 @default.
- W2181725979 citedByCount "16" @default.
- W2181725979 countsByYear W21817259792016 @default.
- W2181725979 countsByYear W21817259792017 @default.
- W2181725979 countsByYear W21817259792018 @default.
- W2181725979 countsByYear W21817259792019 @default.
- W2181725979 countsByYear W21817259792020 @default.
- W2181725979 countsByYear W21817259792021 @default.
- W2181725979 crossrefType "proceedings-article" @default.
- W2181725979 hasAuthorship W2181725979A5026961968 @default.
- W2181725979 hasAuthorship W2181725979A5036312663 @default.
- W2181725979 hasAuthorship W2181725979A5043891822 @default.
- W2181725979 hasAuthorship W2181725979A5055282803 @default.
- W2181725979 hasConcept C1009929 @default.
- W2181725979 hasConcept C113775141 @default.
- W2181725979 hasConcept C149635348 @default.
- W2181725979 hasConcept C168065819 @default.
- W2181725979 hasConcept C199360897 @default.
- W2181725979 hasConcept C2777904410 @default.
- W2181725979 hasConcept C41008148 @default.
- W2181725979 hasConceptScore W2181725979C1009929 @default.
- W2181725979 hasConceptScore W2181725979C113775141 @default.
- W2181725979 hasConceptScore W2181725979C149635348 @default.
- W2181725979 hasConceptScore W2181725979C168065819 @default.
- W2181725979 hasConceptScore W2181725979C199360897 @default.
- W2181725979 hasConceptScore W2181725979C2777904410 @default.
- W2181725979 hasConceptScore W2181725979C41008148 @default.
- W2181725979 hasLocation W21817259791 @default.
- W2181725979 hasOpenAccess W2181725979 @default.
- W2181725979 hasPrimaryLocation W21817259791 @default.
- W2181725979 hasRelatedWork W1787074469 @default.
- W2181725979 hasRelatedWork W1819209966 @default.
- W2181725979 hasRelatedWork W1981504678 @default.
- W2181725979 hasRelatedWork W1993822809 @default.
- W2181725979 hasRelatedWork W2012262513 @default.
- W2181725979 hasRelatedWork W2086311869 @default.
- W2181725979 hasRelatedWork W2123205813 @default.
- W2181725979 hasRelatedWork W2158302200 @default.
- W2181725979 hasRelatedWork W2476747876 @default.
- W2181725979 hasRelatedWork W2787155073 @default.
- W2181725979 hasRelatedWork W2798765367 @default.
- W2181725979 hasRelatedWork W2912858670 @default.
- W2181725979 hasRelatedWork W2955097519 @default.
- W2181725979 hasRelatedWork W2963739369 @default.
- W2181725979 hasRelatedWork W2964039708 @default.
- W2181725979 hasRelatedWork W2968653528 @default.
- W2181725979 hasRelatedWork W2999951849 @default.
- W2181725979 hasRelatedWork W3141623235 @default.
- W2181725979 hasRelatedWork W57231800 @default.
- W2181725979 hasRelatedWork W2748626613 @default.
- W2181725979 isParatext "false" @default.
- W2181725979 isRetracted "false" @default.
- W2181725979 magId "2181725979" @default.
- W2181725979 workType "article" @default.