Matches in SemOpenAlex for { <https://semopenalex.org/work/W2767589661> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2767589661 abstract "Verifying arithmetic circuits, and most prominently multipliers, is an important problem but in practice still requires substantial manual effort. Recent work tries to solve this issue using techniques from computer algebra. The most effective approach uses polynomial reasoning over pseudo boolean polynomials. In this paper we give a rigorous formalization of this approach and present a new column-wise verification technique for the correctness of gate-level multipliers which does not require the reduction of a full word-level specification. We formally prove soundness and completeness of our technique, making use of our precise formalization. Our experiments show that simple multipliers can be verified efficiently by using off-the-shelf computer algebra tools, while more complex and optimized multipliers require more sophisticated techniques. Further, our paper independently confirms the effectiveness of previous related work. We make all benchmarks and tools publicly available." @default.
- W2767589661 created "2017-11-17" @default.
- W2767589661 creator A5007541022 @default.
- W2767589661 creator A5008410441 @default.
- W2767589661 creator A5082596567 @default.
- W2767589661 date "2017-10-01" @default.
- W2767589661 modified "2023-09-23" @default.
- W2767589661 title "Column-wise verification of multipliers using computer algebra" @default.
- W2767589661 cites W1520753950 @default.
- W2767589661 cites W1540389367 @default.
- W2767589661 cites W1976325818 @default.
- W2767589661 cites W2000519336 @default.
- W2767589661 cites W2038777323 @default.
- W2767589661 cites W2080267935 @default.
- W2767589661 cites W2140132043 @default.
- W2767589661 cites W2282171944 @default.
- W2767589661 cites W2329849566 @default.
- W2767589661 cites W2613484140 @default.
- W2767589661 cites W4233914252 @default.
- W2767589661 doi "https://doi.org/10.23919/fmcad.2017.8102237" @default.
- W2767589661 hasPublicationYear "2017" @default.
- W2767589661 type Work @default.
- W2767589661 sameAs 2767589661 @default.
- W2767589661 citedByCount "43" @default.
- W2767589661 countsByYear W27675896612017 @default.
- W2767589661 countsByYear W27675896612018 @default.
- W2767589661 countsByYear W27675896612019 @default.
- W2767589661 countsByYear W27675896612020 @default.
- W2767589661 countsByYear W27675896612021 @default.
- W2767589661 countsByYear W27675896612022 @default.
- W2767589661 countsByYear W27675896612023 @default.
- W2767589661 crossrefType "proceedings-article" @default.
- W2767589661 hasAuthorship W2767589661A5007541022 @default.
- W2767589661 hasAuthorship W2767589661A5008410441 @default.
- W2767589661 hasAuthorship W2767589661A5082596567 @default.
- W2767589661 hasConcept C111472728 @default.
- W2767589661 hasConcept C11413529 @default.
- W2767589661 hasConcept C126042441 @default.
- W2767589661 hasConcept C134306372 @default.
- W2767589661 hasConcept C136119220 @default.
- W2767589661 hasConcept C138885662 @default.
- W2767589661 hasConcept C17231256 @default.
- W2767589661 hasConcept C199360897 @default.
- W2767589661 hasConcept C202444582 @default.
- W2767589661 hasConcept C2780551164 @default.
- W2767589661 hasConcept C2780586882 @default.
- W2767589661 hasConcept C33923547 @default.
- W2767589661 hasConcept C39920170 @default.
- W2767589661 hasConcept C41008148 @default.
- W2767589661 hasConcept C55439883 @default.
- W2767589661 hasConcept C76155785 @default.
- W2767589661 hasConcept C80444323 @default.
- W2767589661 hasConcept C90119067 @default.
- W2767589661 hasConcept C94375191 @default.
- W2767589661 hasConceptScore W2767589661C111472728 @default.
- W2767589661 hasConceptScore W2767589661C11413529 @default.
- W2767589661 hasConceptScore W2767589661C126042441 @default.
- W2767589661 hasConceptScore W2767589661C134306372 @default.
- W2767589661 hasConceptScore W2767589661C136119220 @default.
- W2767589661 hasConceptScore W2767589661C138885662 @default.
- W2767589661 hasConceptScore W2767589661C17231256 @default.
- W2767589661 hasConceptScore W2767589661C199360897 @default.
- W2767589661 hasConceptScore W2767589661C202444582 @default.
- W2767589661 hasConceptScore W2767589661C2780551164 @default.
- W2767589661 hasConceptScore W2767589661C2780586882 @default.
- W2767589661 hasConceptScore W2767589661C33923547 @default.
- W2767589661 hasConceptScore W2767589661C39920170 @default.
- W2767589661 hasConceptScore W2767589661C41008148 @default.
- W2767589661 hasConceptScore W2767589661C55439883 @default.
- W2767589661 hasConceptScore W2767589661C76155785 @default.
- W2767589661 hasConceptScore W2767589661C80444323 @default.
- W2767589661 hasConceptScore W2767589661C90119067 @default.
- W2767589661 hasConceptScore W2767589661C94375191 @default.
- W2767589661 hasLocation W27675896611 @default.
- W2767589661 hasOpenAccess W2767589661 @default.
- W2767589661 hasPrimaryLocation W27675896611 @default.
- W2767589661 hasRelatedWork W1188080205 @default.
- W2767589661 hasRelatedWork W1597162797 @default.
- W2767589661 hasRelatedWork W2026702088 @default.
- W2767589661 hasRelatedWork W2063608931 @default.
- W2767589661 hasRelatedWork W2078264993 @default.
- W2767589661 hasRelatedWork W2093299352 @default.
- W2767589661 hasRelatedWork W2414501716 @default.
- W2767589661 hasRelatedWork W2579507615 @default.
- W2767589661 hasRelatedWork W2775903035 @default.
- W2767589661 hasRelatedWork W71377674 @default.
- W2767589661 isParatext "false" @default.
- W2767589661 isRetracted "false" @default.
- W2767589661 magId "2767589661" @default.
- W2767589661 workType "article" @default.