Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067116050> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2067116050 abstract "This paper introduces SOAP, a new tool to automatically optimize the structure of arithmetic expressions for FPGA implementation as part of a high level synthesis flow, taking into account axiomatic rules derived from real arithmetic, such as distributivity, associativity and others. We explicitly target an optimized area/accuracy trade-off, allowing arithmetic expressions to be automatically re-written for this purpose. For the first time, we bring rigorous approaches from software static analysis, specifically formal semantics and abstract interpretation, to bear on source-to-source transformation for high-level synthesis. New abstract semantics are developed to generate a computable subset of equivalent expressions from an original expression. Using formal semantics, we calculate two objectives, the accuracy of computation and an estimate of resource utilization in FPGA. The optimization of these objectives produces a Pareto frontier consisting of a set of expressions. This gives the synthesis tool the flexibility to choose an implementation satisfying constraints on both accuracy and resource usage. We thus go beyond existing literature by not only optimizing the precision requirements of an implementation, but changing the structure of the implementation itself. Using our tool to optimize the structure of a variety of real world and artificially generated examples in single precision, we improve either their accuracy or the resource utilization by up to 60%." @default.
- W2067116050 created "2016-06-24" @default.
- W2067116050 creator A5026189787 @default.
- W2067116050 creator A5029829952 @default.
- W2067116050 creator A5085413241 @default.
- W2067116050 date "2013-12-01" @default.
- W2067116050 modified "2023-09-26" @default.
- W2067116050 title "SOAP: Structural optimization of arithmetic expressions for high-level synthesis" @default.
- W2067116050 cites W1507872748 @default.
- W2067116050 cites W1548182513 @default.
- W2067116050 cites W1969213662 @default.
- W2067116050 cites W2030898836 @default.
- W2067116050 cites W2043100293 @default.
- W2067116050 cites W2046828414 @default.
- W2067116050 cites W2134354173 @default.
- W2067116050 cites W2157618882 @default.
- W2067116050 cites W2159684237 @default.
- W2067116050 cites W2169004268 @default.
- W2067116050 cites W2169941994 @default.
- W2067116050 cites W2482246557 @default.
- W2067116050 cites W2493328864 @default.
- W2067116050 doi "https://doi.org/10.1109/fpt.2013.6718340" @default.
- W2067116050 hasPublicationYear "2013" @default.
- W2067116050 type Work @default.
- W2067116050 sameAs 2067116050 @default.
- W2067116050 citedByCount "12" @default.
- W2067116050 countsByYear W20671160502015 @default.
- W2067116050 countsByYear W20671160502016 @default.
- W2067116050 countsByYear W20671160502017 @default.
- W2067116050 countsByYear W20671160502019 @default.
- W2067116050 countsByYear W20671160502020 @default.
- W2067116050 countsByYear W20671160502021 @default.
- W2067116050 countsByYear W20671160502022 @default.
- W2067116050 crossrefType "proceedings-article" @default.
- W2067116050 hasAuthorship W2067116050A5026189787 @default.
- W2067116050 hasAuthorship W2067116050A5029829952 @default.
- W2067116050 hasAuthorship W2067116050A5085413241 @default.
- W2067116050 hasConcept C104317684 @default.
- W2067116050 hasConcept C105795698 @default.
- W2067116050 hasConcept C11413529 @default.
- W2067116050 hasConcept C149635348 @default.
- W2067116050 hasConcept C159423971 @default.
- W2067116050 hasConcept C177264268 @default.
- W2067116050 hasConcept C184337299 @default.
- W2067116050 hasConcept C185592680 @default.
- W2067116050 hasConcept C199360897 @default.
- W2067116050 hasConcept C202444582 @default.
- W2067116050 hasConcept C204241405 @default.
- W2067116050 hasConcept C2780598303 @default.
- W2067116050 hasConcept C33923547 @default.
- W2067116050 hasConcept C41008148 @default.
- W2067116050 hasConcept C42935608 @default.
- W2067116050 hasConcept C55493867 @default.
- W2067116050 hasConcept C58013763 @default.
- W2067116050 hasConcept C80444323 @default.
- W2067116050 hasConcept C83581934 @default.
- W2067116050 hasConcept C94375191 @default.
- W2067116050 hasConceptScore W2067116050C104317684 @default.
- W2067116050 hasConceptScore W2067116050C105795698 @default.
- W2067116050 hasConceptScore W2067116050C11413529 @default.
- W2067116050 hasConceptScore W2067116050C149635348 @default.
- W2067116050 hasConceptScore W2067116050C159423971 @default.
- W2067116050 hasConceptScore W2067116050C177264268 @default.
- W2067116050 hasConceptScore W2067116050C184337299 @default.
- W2067116050 hasConceptScore W2067116050C185592680 @default.
- W2067116050 hasConceptScore W2067116050C199360897 @default.
- W2067116050 hasConceptScore W2067116050C202444582 @default.
- W2067116050 hasConceptScore W2067116050C204241405 @default.
- W2067116050 hasConceptScore W2067116050C2780598303 @default.
- W2067116050 hasConceptScore W2067116050C33923547 @default.
- W2067116050 hasConceptScore W2067116050C41008148 @default.
- W2067116050 hasConceptScore W2067116050C42935608 @default.
- W2067116050 hasConceptScore W2067116050C55493867 @default.
- W2067116050 hasConceptScore W2067116050C58013763 @default.
- W2067116050 hasConceptScore W2067116050C80444323 @default.
- W2067116050 hasConceptScore W2067116050C83581934 @default.
- W2067116050 hasConceptScore W2067116050C94375191 @default.
- W2067116050 hasLocation W20671160501 @default.
- W2067116050 hasOpenAccess W2067116050 @default.
- W2067116050 hasPrimaryLocation W20671160501 @default.
- W2067116050 hasRelatedWork W1483213041 @default.
- W2067116050 hasRelatedWork W1548182513 @default.
- W2067116050 hasRelatedWork W1587224678 @default.
- W2067116050 hasRelatedWork W1778728081 @default.
- W2067116050 hasRelatedWork W2047793074 @default.
- W2067116050 hasRelatedWork W2056977125 @default.
- W2067116050 hasRelatedWork W2090686886 @default.
- W2067116050 hasRelatedWork W27605384 @default.
- W2067116050 hasRelatedWork W288103726 @default.
- W2067116050 hasRelatedWork W212023973 @default.
- W2067116050 isParatext "false" @default.
- W2067116050 isRetracted "false" @default.
- W2067116050 magId "2067116050" @default.
- W2067116050 workType "article" @default.