Matches in SemOpenAlex for { <https://semopenalex.org/work/W2282171944> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2282171944 abstract "Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Grobner basis polynomials and reduces the polynomial equation of the circuit specification wrt. the polynomials model. However, during the Grobner basis reduction, the technique suffers from exponential blow-up in the size of the polynomials, if it is applied on parallel adders and recoded multipliers. In this paper, we address the reasons of this blow-up and present an approach that allows to apply the technique on basic and complex parallel architectures of multipliers. The approach is based on applying a logic reduction rule during Grobner basis rewriting. The rule uses structural circuit information to remove terms that evaluate to zero before their blow-up. The experiments show that the approach is applicable up to 128 bit multipliers." @default.
- W2282171944 created "2016-06-24" @default.
- W2282171944 creator A5069061017 @default.
- W2282171944 creator A5071742136 @default.
- W2282171944 creator A5075576417 @default.
- W2282171944 creator A5084007478 @default.
- W2282171944 creator A5086566894 @default.
- W2282171944 date "2016-01-01" @default.
- W2282171944 modified "2023-09-29" @default.
- W2282171944 title "Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction" @default.
- W2282171944 cites W1528837436 @default.
- W2282171944 cites W1844774176 @default.
- W2282171944 cites W1913915613 @default.
- W2282171944 cites W2000519336 @default.
- W2282171944 cites W2005126221 @default.
- W2282171944 cites W2039458711 @default.
- W2282171944 cites W2079983062 @default.
- W2282171944 cites W2122480357 @default.
- W2282171944 cites W2137593248 @default.
- W2282171944 cites W64656188 @default.
- W2282171944 doi "https://doi.org/10.3850/9783981537079_0248" @default.
- W2282171944 hasPublicationYear "2016" @default.
- W2282171944 type Work @default.
- W2282171944 sameAs 2282171944 @default.
- W2282171944 citedByCount "52" @default.
- W2282171944 countsByYear W22821719442016 @default.
- W2282171944 countsByYear W22821719442017 @default.
- W2282171944 countsByYear W22821719442018 @default.
- W2282171944 countsByYear W22821719442019 @default.
- W2282171944 countsByYear W22821719442020 @default.
- W2282171944 countsByYear W22821719442021 @default.
- W2282171944 countsByYear W22821719442022 @default.
- W2282171944 countsByYear W22821719442023 @default.
- W2282171944 crossrefType "proceedings-article" @default.
- W2282171944 hasAuthorship W2282171944A5069061017 @default.
- W2282171944 hasAuthorship W2282171944A5071742136 @default.
- W2282171944 hasAuthorship W2282171944A5075576417 @default.
- W2282171944 hasAuthorship W2282171944A5084007478 @default.
- W2282171944 hasAuthorship W2282171944A5086566894 @default.
- W2282171944 hasBestOaLocation W22821719442 @default.
- W2282171944 hasConcept C111335779 @default.
- W2282171944 hasConcept C111498074 @default.
- W2282171944 hasConcept C11413529 @default.
- W2282171944 hasConcept C12426560 @default.
- W2282171944 hasConcept C131017901 @default.
- W2282171944 hasConcept C157922185 @default.
- W2282171944 hasConcept C199360897 @default.
- W2282171944 hasConcept C2524010 @default.
- W2282171944 hasConcept C33923547 @default.
- W2282171944 hasConcept C41008148 @default.
- W2282171944 hasConcept C56086750 @default.
- W2282171944 hasConcept C80444323 @default.
- W2282171944 hasConcept C94375191 @default.
- W2282171944 hasConcept C97137487 @default.
- W2282171944 hasConceptScore W2282171944C111335779 @default.
- W2282171944 hasConceptScore W2282171944C111498074 @default.
- W2282171944 hasConceptScore W2282171944C11413529 @default.
- W2282171944 hasConceptScore W2282171944C12426560 @default.
- W2282171944 hasConceptScore W2282171944C131017901 @default.
- W2282171944 hasConceptScore W2282171944C157922185 @default.
- W2282171944 hasConceptScore W2282171944C199360897 @default.
- W2282171944 hasConceptScore W2282171944C2524010 @default.
- W2282171944 hasConceptScore W2282171944C33923547 @default.
- W2282171944 hasConceptScore W2282171944C41008148 @default.
- W2282171944 hasConceptScore W2282171944C56086750 @default.
- W2282171944 hasConceptScore W2282171944C80444323 @default.
- W2282171944 hasConceptScore W2282171944C94375191 @default.
- W2282171944 hasConceptScore W2282171944C97137487 @default.
- W2282171944 hasLocation W22821719441 @default.
- W2282171944 hasLocation W22821719442 @default.
- W2282171944 hasOpenAccess W2282171944 @default.
- W2282171944 hasPrimaryLocation W22821719441 @default.
- W2282171944 hasRelatedWork W190879265 @default.
- W2282171944 hasRelatedWork W2027778813 @default.
- W2282171944 hasRelatedWork W2078119686 @default.
- W2282171944 hasRelatedWork W2086440213 @default.
- W2282171944 hasRelatedWork W2093262051 @default.
- W2282171944 hasRelatedWork W2103728037 @default.
- W2282171944 hasRelatedWork W2329077552 @default.
- W2282171944 hasRelatedWork W2416298988 @default.
- W2282171944 hasRelatedWork W2561108725 @default.
- W2282171944 hasRelatedWork W4300951706 @default.
- W2282171944 isParatext "false" @default.
- W2282171944 isRetracted "false" @default.
- W2282171944 magId "2282171944" @default.
- W2282171944 workType "article" @default.