Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313484776> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4313484776 abstract "In order to overcome the von Neumann bottleneck, recently the paradigm of in-memory computing has emerged. Here, instead of transferring data from the memory to the CPU for computation, the computation is directly performed within the memory. ReRAM, a resistance-based storage device, is a promising technology for this paradigm. Based on ReRAM, the PLiM computer architecture and LiM-HDL, an HDL for specifying PLiM programs have emerged. In this paper, we first present a novel levelization algorithm for LiM-HDL. Based on this novel algorithm, large circuits can be compiled to PLiM programs. Then, we present a verification scheme for these programs. This scheme is separated into two steps: (1) A proof of purity and (2) a proof of equivalence. Finally, in the experiments, we first apply our levelization algorithms to a well-known benchmark set, where we show that we can generate PLiM programs for large benchmarks, for which existing levelization algorithms fails. Then, we apply our proposed verification scheme to these PLiM programs." @default.
- W4313484776 created "2023-01-06" @default.
- W4313484776 creator A5016783431 @default.
- W4313484776 creator A5071742136 @default.
- W4313484776 date "2022-08-01" @default.
- W4313484776 modified "2023-09-27" @default.
- W4313484776 title "Generation of Verified Programs for In-Memory Computing" @default.
- W4313484776 cites W2022024220 @default.
- W4313484776 cites W2036265926 @default.
- W4313484776 cites W2109739292 @default.
- W4313484776 cites W2117489143 @default.
- W4313484776 cites W2165899067 @default.
- W4313484776 cites W2889463335 @default.
- W4313484776 cites W2998936172 @default.
- W4313484776 cites W3022163718 @default.
- W4313484776 cites W3046655738 @default.
- W4313484776 cites W3134195144 @default.
- W4313484776 cites W3183481149 @default.
- W4313484776 cites W3193880900 @default.
- W4313484776 cites W3200722243 @default.
- W4313484776 cites W4246691913 @default.
- W4313484776 cites W4280575260 @default.
- W4313484776 doi "https://doi.org/10.1109/dsd57027.2022.00114" @default.
- W4313484776 hasPublicationYear "2022" @default.
- W4313484776 type Work @default.
- W4313484776 citedByCount "2" @default.
- W4313484776 countsByYear W43134847762023 @default.
- W4313484776 crossrefType "proceedings-article" @default.
- W4313484776 hasAuthorship W4313484776A5016783431 @default.
- W4313484776 hasAuthorship W4313484776A5071742136 @default.
- W4313484776 hasConcept C111919701 @default.
- W4313484776 hasConcept C11413529 @default.
- W4313484776 hasConcept C118524514 @default.
- W4313484776 hasConcept C13280743 @default.
- W4313484776 hasConcept C134306372 @default.
- W4313484776 hasConcept C147789679 @default.
- W4313484776 hasConcept C149635348 @default.
- W4313484776 hasConcept C173608175 @default.
- W4313484776 hasConcept C17525397 @default.
- W4313484776 hasConcept C177264268 @default.
- W4313484776 hasConcept C182019814 @default.
- W4313484776 hasConcept C185592680 @default.
- W4313484776 hasConcept C185798385 @default.
- W4313484776 hasConcept C199360897 @default.
- W4313484776 hasConcept C205649164 @default.
- W4313484776 hasConcept C2780513914 @default.
- W4313484776 hasConcept C33923547 @default.
- W4313484776 hasConcept C41008148 @default.
- W4313484776 hasConcept C45374587 @default.
- W4313484776 hasConcept C77618280 @default.
- W4313484776 hasConcept C80469333 @default.
- W4313484776 hasConceptScore W4313484776C111919701 @default.
- W4313484776 hasConceptScore W4313484776C11413529 @default.
- W4313484776 hasConceptScore W4313484776C118524514 @default.
- W4313484776 hasConceptScore W4313484776C13280743 @default.
- W4313484776 hasConceptScore W4313484776C134306372 @default.
- W4313484776 hasConceptScore W4313484776C147789679 @default.
- W4313484776 hasConceptScore W4313484776C149635348 @default.
- W4313484776 hasConceptScore W4313484776C173608175 @default.
- W4313484776 hasConceptScore W4313484776C17525397 @default.
- W4313484776 hasConceptScore W4313484776C177264268 @default.
- W4313484776 hasConceptScore W4313484776C182019814 @default.
- W4313484776 hasConceptScore W4313484776C185592680 @default.
- W4313484776 hasConceptScore W4313484776C185798385 @default.
- W4313484776 hasConceptScore W4313484776C199360897 @default.
- W4313484776 hasConceptScore W4313484776C205649164 @default.
- W4313484776 hasConceptScore W4313484776C2780513914 @default.
- W4313484776 hasConceptScore W4313484776C33923547 @default.
- W4313484776 hasConceptScore W4313484776C41008148 @default.
- W4313484776 hasConceptScore W4313484776C45374587 @default.
- W4313484776 hasConceptScore W4313484776C77618280 @default.
- W4313484776 hasConceptScore W4313484776C80469333 @default.
- W4313484776 hasLocation W43134847761 @default.
- W4313484776 hasOpenAccess W4313484776 @default.
- W4313484776 hasPrimaryLocation W43134847761 @default.
- W4313484776 hasRelatedWork W1505711846 @default.
- W4313484776 hasRelatedWork W1572523360 @default.
- W4313484776 hasRelatedWork W2093683727 @default.
- W4313484776 hasRelatedWork W2249736983 @default.
- W4313484776 hasRelatedWork W2391655055 @default.
- W4313484776 hasRelatedWork W2600958979 @default.
- W4313484776 hasRelatedWork W3138436959 @default.
- W4313484776 hasRelatedWork W4225907024 @default.
- W4313484776 hasRelatedWork W4322580884 @default.
- W4313484776 hasRelatedWork W869244432 @default.
- W4313484776 isParatext "false" @default.
- W4313484776 isRetracted "false" @default.
- W4313484776 workType "article" @default.