Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105702911> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2105702911 abstract "In this paper, we extend Modular Horner Expansion Diagram (Modular-HED) as a canonical polynomial representation to verify polynomial functions with multiple bit-width operands from Z <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2n1</sub> ×Z <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2n2...</sub> ×Z <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2nd</sub> to Z <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2n</sub> . Our contributions are mostly in efficient implementation of [1] with a canonical decision diagram in such a way that both verification and synthesis of large arithmetic circuits can be more efficient. The experimental results show the effectiveness of our approach in comparison with other decision diagrams and algebraic techniques." @default.
- W2105702911 created "2016-06-24" @default.
- W2105702911 creator A5027837299 @default.
- W2105702911 creator A5069623023 @default.
- W2105702911 date "2011-11-01" @default.
- W2105702911 modified "2023-10-03" @default.
- W2105702911 title "Modular equivalence verification of polynomial datapaths with multiple word-length operands" @default.
- W2105702911 cites W1531082202 @default.
- W2105702911 cites W1595607623 @default.
- W2105702911 cites W2011758726 @default.
- W2105702911 cites W2036085256 @default.
- W2105702911 cites W2041910380 @default.
- W2105702911 cites W2076541715 @default.
- W2105702911 cites W2080267935 @default.
- W2105702911 cites W2098595405 @default.
- W2105702911 cites W2099615139 @default.
- W2105702911 cites W2115207428 @default.
- W2105702911 cites W2119209999 @default.
- W2105702911 cites W2127271657 @default.
- W2105702911 cites W2129126296 @default.
- W2105702911 cites W2134139453 @default.
- W2105702911 cites W2134693502 @default.
- W2105702911 cites W2142785340 @default.
- W2105702911 cites W2150588291 @default.
- W2105702911 cites W2151793720 @default.
- W2105702911 cites W2156058638 @default.
- W2105702911 cites W2156921282 @default.
- W2105702911 cites W2170621144 @default.
- W2105702911 cites W2175098281 @default.
- W2105702911 cites W2185489876 @default.
- W2105702911 cites W335001990 @default.
- W2105702911 doi "https://doi.org/10.1109/hldvt.2011.6114160" @default.
- W2105702911 hasPublicationYear "2011" @default.
- W2105702911 type Work @default.
- W2105702911 sameAs 2105702911 @default.
- W2105702911 citedByCount "4" @default.
- W2105702911 countsByYear W21057029112012 @default.
- W2105702911 countsByYear W21057029112013 @default.
- W2105702911 countsByYear W21057029112014 @default.
- W2105702911 countsByYear W21057029112017 @default.
- W2105702911 crossrefType "proceedings-article" @default.
- W2105702911 hasAuthorship W2105702911A5027837299 @default.
- W2105702911 hasAuthorship W2105702911A5069623023 @default.
- W2105702911 hasConcept C101468663 @default.
- W2105702911 hasConcept C11413529 @default.
- W2105702911 hasConcept C118615104 @default.
- W2105702911 hasConcept C134306372 @default.
- W2105702911 hasConcept C199360897 @default.
- W2105702911 hasConcept C2780069185 @default.
- W2105702911 hasConcept C33923547 @default.
- W2105702911 hasConcept C41008148 @default.
- W2105702911 hasConcept C55526617 @default.
- W2105702911 hasConcept C90119067 @default.
- W2105702911 hasConcept C9376300 @default.
- W2105702911 hasConcept C94375191 @default.
- W2105702911 hasConceptScore W2105702911C101468663 @default.
- W2105702911 hasConceptScore W2105702911C11413529 @default.
- W2105702911 hasConceptScore W2105702911C118615104 @default.
- W2105702911 hasConceptScore W2105702911C134306372 @default.
- W2105702911 hasConceptScore W2105702911C199360897 @default.
- W2105702911 hasConceptScore W2105702911C2780069185 @default.
- W2105702911 hasConceptScore W2105702911C33923547 @default.
- W2105702911 hasConceptScore W2105702911C41008148 @default.
- W2105702911 hasConceptScore W2105702911C55526617 @default.
- W2105702911 hasConceptScore W2105702911C90119067 @default.
- W2105702911 hasConceptScore W2105702911C9376300 @default.
- W2105702911 hasConceptScore W2105702911C94375191 @default.
- W2105702911 hasLocation W21057029111 @default.
- W2105702911 hasOpenAccess W2105702911 @default.
- W2105702911 hasPrimaryLocation W21057029111 @default.
- W2105702911 hasRelatedWork W1925197709 @default.
- W2105702911 hasRelatedWork W2084237055 @default.
- W2105702911 hasRelatedWork W2105702911 @default.
- W2105702911 hasRelatedWork W2121113477 @default.
- W2105702911 hasRelatedWork W2173515187 @default.
- W2105702911 hasRelatedWork W2375637502 @default.
- W2105702911 hasRelatedWork W2540871311 @default.
- W2105702911 hasRelatedWork W32238348 @default.
- W2105702911 hasRelatedWork W2127494593 @default.
- W2105702911 hasRelatedWork W2623582878 @default.
- W2105702911 isParatext "false" @default.
- W2105702911 isRetracted "false" @default.
- W2105702911 magId "2105702911" @default.
- W2105702911 workType "article" @default.