Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312875995> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4312875995 abstract "The rapid growth of data-intensive applications has spurred the interest for novel in-memory computing paradigms. With the recent innovations within flow-based computing, complex circuit specification can automatically be compiled into crossbar designs. This has raised the important question of verifying the functional correctness of the synthesized crossbars. Unfortunately, the traditional equivalence checking techniques based on SAT formulations cannot directly be applied to flow-based computing. This explains why the existing techniques are rather naive and have exponential runtime complexity. In this paper, we present a framework called CHECK that casts the equivalence checking problem into a problem of detecting simple paths in an undirected graph, which enables verification to be performed using efficient graph algorithms. Moreover, the scaleability of the equivalence checking is further improved by dynamically shrinking the size of the graph using logic rules. The experimental results demonstrate the proposed graph-based approach is one to two orders of magnitude faster than brute-force enumeration. This translates into that CHECK is capable of verifying 25 designs from the RevLib suite. In contrast, naive enumeration is only capable of verifying 18 out of the 25 designs." @default.
- W4312875995 created "2023-01-05" @default.
- W4312875995 creator A5014892277 @default.
- W4312875995 creator A5016081779 @default.
- W4312875995 creator A5075978538 @default.
- W4312875995 date "2022-10-01" @default.
- W4312875995 modified "2023-10-18" @default.
- W4312875995 title "Equivalence Checking for Flow-Based Computing" @default.
- W4312875995 cites W1480909796 @default.
- W4312875995 cites W1991921929 @default.
- W4312875995 cites W2066280488 @default.
- W4312875995 cites W2081729575 @default.
- W4312875995 cites W2099120582 @default.
- W4312875995 cites W2130753923 @default.
- W4312875995 cites W2133527541 @default.
- W4312875995 cites W2139907818 @default.
- W4312875995 cites W2140132043 @default.
- W4312875995 cites W2158740548 @default.
- W4312875995 cites W2172307690 @default.
- W4312875995 cites W2184708688 @default.
- W4312875995 cites W2612936968 @default.
- W4312875995 cites W2626719825 @default.
- W4312875995 cites W2759819034 @default.
- W4312875995 cites W2884181463 @default.
- W4312875995 cites W2982644196 @default.
- W4312875995 cites W3141112769 @default.
- W4312875995 cites W3141812019 @default.
- W4312875995 cites W3186765561 @default.
- W4312875995 cites W4200568566 @default.
- W4312875995 cites W4213098949 @default.
- W4312875995 cites W4242206114 @default.
- W4312875995 cites W4293023347 @default.
- W4312875995 doi "https://doi.org/10.1109/iccd56317.2022.00101" @default.
- W4312875995 hasPublicationYear "2022" @default.
- W4312875995 type Work @default.
- W4312875995 citedByCount "0" @default.
- W4312875995 crossrefType "proceedings-article" @default.
- W4312875995 hasAuthorship W4312875995A5014892277 @default.
- W4312875995 hasAuthorship W4312875995A5016081779 @default.
- W4312875995 hasAuthorship W4312875995A5075978538 @default.
- W4312875995 hasConcept C110251889 @default.
- W4312875995 hasConcept C11413529 @default.
- W4312875995 hasConcept C118615104 @default.
- W4312875995 hasConcept C132525143 @default.
- W4312875995 hasConcept C173608175 @default.
- W4312875995 hasConcept C27458966 @default.
- W4312875995 hasConcept C2780069185 @default.
- W4312875995 hasConcept C33923547 @default.
- W4312875995 hasConcept C41008148 @default.
- W4312875995 hasConcept C489000 @default.
- W4312875995 hasConcept C55439883 @default.
- W4312875995 hasConcept C77088390 @default.
- W4312875995 hasConcept C80444323 @default.
- W4312875995 hasConcept C88468194 @default.
- W4312875995 hasConcept C96654402 @default.
- W4312875995 hasConceptScore W4312875995C110251889 @default.
- W4312875995 hasConceptScore W4312875995C11413529 @default.
- W4312875995 hasConceptScore W4312875995C118615104 @default.
- W4312875995 hasConceptScore W4312875995C132525143 @default.
- W4312875995 hasConceptScore W4312875995C173608175 @default.
- W4312875995 hasConceptScore W4312875995C27458966 @default.
- W4312875995 hasConceptScore W4312875995C2780069185 @default.
- W4312875995 hasConceptScore W4312875995C33923547 @default.
- W4312875995 hasConceptScore W4312875995C41008148 @default.
- W4312875995 hasConceptScore W4312875995C489000 @default.
- W4312875995 hasConceptScore W4312875995C55439883 @default.
- W4312875995 hasConceptScore W4312875995C77088390 @default.
- W4312875995 hasConceptScore W4312875995C80444323 @default.
- W4312875995 hasConceptScore W4312875995C88468194 @default.
- W4312875995 hasConceptScore W4312875995C96654402 @default.
- W4312875995 hasLocation W43128759951 @default.
- W4312875995 hasOpenAccess W4312875995 @default.
- W4312875995 hasPrimaryLocation W43128759951 @default.
- W4312875995 hasRelatedWork W1594550369 @default.
- W4312875995 hasRelatedWork W1605679998 @default.
- W4312875995 hasRelatedWork W2060763196 @default.
- W4312875995 hasRelatedWork W2067345703 @default.
- W4312875995 hasRelatedWork W2088095944 @default.
- W4312875995 hasRelatedWork W2167052701 @default.
- W4312875995 hasRelatedWork W2293517559 @default.
- W4312875995 hasRelatedWork W2296389228 @default.
- W4312875995 hasRelatedWork W33961106 @default.
- W4312875995 hasRelatedWork W1489697166 @default.
- W4312875995 isParatext "false" @default.
- W4312875995 isRetracted "false" @default.
- W4312875995 workType "article" @default.