FRINK Linked Data Fragments server

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

• W4285284734 endingPage "696" @default.
• W4285284734 startingPage "683" @default.
• W4285284734 abstract "Cache coherence and relaxed memory consistency challenge the design verification of multicore chips. The well-known self-checking approach based on litmus tests has been successful in uncovering design errors, but it leads to limited coverage. That is why random or directed test generation approaches are used for proper coverage control, but they require a specialized checker to verify shared memory behavior. Unfortunately, the inference-based checkers that provide guarantees against false positives and false negatives are not scalable with core count (unless some memory orderings are known beforehand). On the other hand, scoreboard-based checkers are scalable, but do not offer guarantees against false diagnosis. This article proposes an event-driven algorithm that is scalable without renouncing verification quality, because it relies on direct partial order verification, on-the-fly detection of improper memory orderings, exploitation of extended observability not hampered by design optimizations, and agnostic handling of store atomicity at the implementation level. We compared the new algorithm with two scoreboard-based and one inference-based checker reported in the literature. EveCheck often reaches full error detection with half the test size required by the other checkers, has superior verification quality, and less sensitivity to test generation parameters. Its effort to detect errors was one order of magnitude inferior as compared to the inference-based checker. It did not raise false positives in correct designs, and it was able to discover all the errors studied in faulty designs." @default.
• W4285284734 created "2022-07-14" @default.
• W4285284734 creator A5024446418 @default.
• W4285284734 creator A5033216070 @default.
• W4285284734 creator A5036918040 @default.
• W4285284734 date "2023-02-01" @default.
• W4285284734 modified "2023-09-24" @default.
• W4285284734 title "EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification" @default.
• W4285284734 cites W1595452620 @default.
• W4285284734 cites W1627749639 @default.
• W4285284734 cites W1808398105 @default.
• W4285284734 cites W1823635467 @default.
• W4285284734 cites W1975079715 @default.
• W4285284734 cites W1986463648 @default.
• W4285284734 cites W2024255419 @default.
• W4285284734 cites W2029601347 @default.
• W4285284734 cites W2034531215 @default.
• W4285284734 cites W2042831455 @default.
• W4285284734 cites W2054739713 @default.
• W4285284734 cites W2093088761 @default.
• W4285284734 cites W2093771365 @default.
• W4285284734 cites W2098165956 @default.
• W4285284734 cites W2105945277 @default.
• W4285284734 cites W2110868591 @default.
• W4285284734 cites W2135355961 @default.
• W4285284734 cites W2136357775 @default.
• W4285284734 cites W2141618784 @default.
• W4285284734 cites W2147657366 @default.
• W4285284734 cites W2150148998 @default.
• W4285284734 cites W2151384504 @default.
• W4285284734 cites W2151460056 @default.
• W4285284734 cites W2153636750 @default.
• W4285284734 cites W2157452647 @default.
• W4285284734 cites W2166422778 @default.
• W4285284734 cites W2325421623 @default.
• W4285284734 cites W2605308338 @default.
• W4285284734 cites W2738891045 @default.
• W4285284734 cites W2769194423 @default.
• W4285284734 cites W2899776668 @default.
• W4285284734 cites W2998336129 @default.
• W4285284734 cites W2999610704 @default.
• W4285284734 cites W3008209841 @default.
• W4285284734 cites W3104212406 @default.
• W4285284734 cites W4235687642 @default.
• W4285284734 cites W4248071596 @default.
• W4285284734 cites W4312364354 @default.
• W4285284734 doi "https://doi.org/10.1109/tcad.2022.3178051" @default.
• W4285284734 hasPublicationYear "2023" @default.
• W4285284734 type Work @default.
• W4285284734 citedByCount "1" @default.
• W4285284734 countsByYear W42852847342023 @default.
• W4285284734 crossrefType "journal-article" @default.
• W4285284734 hasAuthorship W4285284734A5024446418 @default.
• W4285284734 hasAuthorship W4285284734A5033216070 @default.
• W4285284734 hasAuthorship W4285284734A5036918040 @default.
• W4285284734 hasConcept C106159264 @default.
• W4285284734 hasConcept C110251889 @default.
• W4285284734 hasConcept C113775141 @default.
• W4285284734 hasConcept C11413529 @default.
• W4285284734 hasConcept C115537543 @default.
• W4285284734 hasConcept C119857082 @default.
• W4285284734 hasConcept C121332964 @default.
• W4285284734 hasConcept C128942645 @default.
• W4285284734 hasConcept C141917322 @default.
• W4285284734 hasConcept C152877465 @default.
• W4285284734 hasConcept C154945302 @default.
• W4285284734 hasConcept C173608175 @default.
• W4285284734 hasConcept C188045909 @default.
• W4285284734 hasConcept C189783530 @default.
• W4285284734 hasConcept C199360897 @default.
• W4285284734 hasConcept C2776214188 @default.
• W4285284734 hasConcept C2776436953 @default.
• W4285284734 hasConcept C2779662365 @default.
• W4285284734 hasConcept C38556500 @default.
• W4285284734 hasConcept C41008148 @default.
• W4285284734 hasConcept C48044578 @default.
• W4285284734 hasConcept C62520636 @default.
• W4285284734 hasConcept C64869954 @default.
• W4285284734 hasConcept C75949130 @default.
• W4285284734 hasConcept C77088390 @default.
• W4285284734 hasConceptScore W4285284734C106159264 @default.
• W4285284734 hasConceptScore W4285284734C110251889 @default.
• W4285284734 hasConceptScore W4285284734C113775141 @default.
• W4285284734 hasConceptScore W4285284734C11413529 @default.
• W4285284734 hasConceptScore W4285284734C115537543 @default.
• W4285284734 hasConceptScore W4285284734C119857082 @default.
• W4285284734 hasConceptScore W4285284734C121332964 @default.
• W4285284734 hasConceptScore W4285284734C128942645 @default.
• W4285284734 hasConceptScore W4285284734C141917322 @default.
• W4285284734 hasConceptScore W4285284734C152877465 @default.
• W4285284734 hasConceptScore W4285284734C154945302 @default.
• W4285284734 hasConceptScore W4285284734C173608175 @default.
• W4285284734 hasConceptScore W4285284734C188045909 @default.
• W4285284734 hasConceptScore W4285284734C189783530 @default.
• W4285284734 hasConceptScore W4285284734C199360897 @default.
• W4285284734 hasConceptScore W4285284734C2776214188 @default.
• W4285284734 hasConceptScore W4285284734C2776436953 @default.
• W4285284734 hasConceptScore W4285284734C2779662365 @default.

• next