Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116744478> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2116744478 endingPage "64" @default.
- W2116744478 startingPage "61" @default.
- W2116744478 abstract "One of the most challenging problems in developing a multicore processor is verifying that the design is correct, and one of the most difficult aspects of pre-silicon verification is verifying that the memory system obeys the architecture's specified memory consistency model. To simplify the process of pre-silicon design verification, we propose a system model called the Fractally Consistent Model (FCM). We prove that systems that adhere to the FCM can be verified to obey the memory consistency model in three simple, scalable steps. The procedure for verifying FCM systems contrasts sharply with the difficult, non-scalable procedure required to verify non-FCM systems. We show that FCM systems do not necessarily sacrifice performance, compared to non-FCM systems, despite being simpler to verify." @default.
- W2116744478 created "2016-06-24" @default.
- W2116744478 creator A5029011254 @default.
- W2116744478 creator A5072847774 @default.
- W2116744478 creator A5074140059 @default.
- W2116744478 date "2010-02-01" @default.
- W2116744478 modified "2023-10-17" @default.
- W2116744478 title "Fractal Consistency: Architecting the Memory System to Facilitate Verification" @default.
- W2116744478 cites W1606518252 @default.
- W2116744478 cites W1986463648 @default.
- W2116744478 cites W2029601347 @default.
- W2116744478 cites W2046161500 @default.
- W2116744478 cites W2163947040 @default.
- W2116744478 cites W4251361517 @default.
- W2116744478 doi "https://doi.org/10.1109/l-ca.2010.18" @default.
- W2116744478 hasPublicationYear "2010" @default.
- W2116744478 type Work @default.
- W2116744478 sameAs 2116744478 @default.
- W2116744478 citedByCount "4" @default.
- W2116744478 countsByYear W21167444782014 @default.
- W2116744478 countsByYear W21167444782015 @default.
- W2116744478 countsByYear W21167444782017 @default.
- W2116744478 crossrefType "journal-article" @default.
- W2116744478 hasAuthorship W2116744478A5029011254 @default.
- W2116744478 hasAuthorship W2116744478A5072847774 @default.
- W2116744478 hasAuthorship W2116744478A5074140059 @default.
- W2116744478 hasBestOaLocation W21167444782 @default.
- W2116744478 hasConcept C111472728 @default.
- W2116744478 hasConcept C111919701 @default.
- W2116744478 hasConcept C120314980 @default.
- W2116744478 hasConcept C12186640 @default.
- W2116744478 hasConcept C133875982 @default.
- W2116744478 hasConcept C138885662 @default.
- W2116744478 hasConcept C154945302 @default.
- W2116744478 hasConcept C173608175 @default.
- W2116744478 hasConcept C199360897 @default.
- W2116744478 hasConcept C2776436953 @default.
- W2116744478 hasConcept C2780586882 @default.
- W2116744478 hasConcept C37279795 @default.
- W2116744478 hasConcept C41008148 @default.
- W2116744478 hasConcept C48044578 @default.
- W2116744478 hasConcept C80444323 @default.
- W2116744478 hasConcept C82029504 @default.
- W2116744478 hasConcept C93361087 @default.
- W2116744478 hasConcept C98045186 @default.
- W2116744478 hasConceptScore W2116744478C111472728 @default.
- W2116744478 hasConceptScore W2116744478C111919701 @default.
- W2116744478 hasConceptScore W2116744478C120314980 @default.
- W2116744478 hasConceptScore W2116744478C12186640 @default.
- W2116744478 hasConceptScore W2116744478C133875982 @default.
- W2116744478 hasConceptScore W2116744478C138885662 @default.
- W2116744478 hasConceptScore W2116744478C154945302 @default.
- W2116744478 hasConceptScore W2116744478C173608175 @default.
- W2116744478 hasConceptScore W2116744478C199360897 @default.
- W2116744478 hasConceptScore W2116744478C2776436953 @default.
- W2116744478 hasConceptScore W2116744478C2780586882 @default.
- W2116744478 hasConceptScore W2116744478C37279795 @default.
- W2116744478 hasConceptScore W2116744478C41008148 @default.
- W2116744478 hasConceptScore W2116744478C48044578 @default.
- W2116744478 hasConceptScore W2116744478C80444323 @default.
- W2116744478 hasConceptScore W2116744478C82029504 @default.
- W2116744478 hasConceptScore W2116744478C93361087 @default.
- W2116744478 hasConceptScore W2116744478C98045186 @default.
- W2116744478 hasIssue "2" @default.
- W2116744478 hasLocation W21167444781 @default.
- W2116744478 hasLocation W21167444782 @default.
- W2116744478 hasLocation W21167444783 @default.
- W2116744478 hasOpenAccess W2116744478 @default.
- W2116744478 hasPrimaryLocation W21167444781 @default.
- W2116744478 hasRelatedWork W118795575 @default.
- W2116744478 hasRelatedWork W1593939529 @default.
- W2116744478 hasRelatedWork W1885534640 @default.
- W2116744478 hasRelatedWork W2025301734 @default.
- W2116744478 hasRelatedWork W2036306661 @default.
- W2116744478 hasRelatedWork W2052172665 @default.
- W2116744478 hasRelatedWork W2123855908 @default.
- W2116744478 hasRelatedWork W2505917360 @default.
- W2116744478 hasRelatedWork W2891980309 @default.
- W2116744478 hasRelatedWork W4250753400 @default.
- W2116744478 hasVolume "9" @default.
- W2116744478 isParatext "false" @default.
- W2116744478 isRetracted "false" @default.
- W2116744478 magId "2116744478" @default.
- W2116744478 workType "article" @default.