Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386763903> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4386763903 abstract "Numerical hardware design requires aggressive optimization, where designers exploit branch constraints, creating optimization opportunities that are valid only on a sub-domain of input space. We developed an RTL optimization tool that automatically learns the consequences of conditional branches and exploits that knowledge to enable deep optimization. The tool deploys custom built program analysis based on abstract interpretation theory, which when combined with a data-structure known as an e-graph simplifies complex reasoning about program properties. Our tool fully-automatically discovers known floating-point architectures from the computer arithmetic literature and out-performs baseline EDA tools, generating up to 33% faster and 41% smaller circuits." @default.
- W4386763903 created "2023-09-16" @default.
- W4386763903 creator A5029829952 @default.
- W4386763903 creator A5047560439 @default.
- W4386763903 creator A5081902675 @default.
- W4386763903 date "2023-07-09" @default.
- W4386763903 modified "2023-10-01" @default.
- W4386763903 title "Automating Constraint-Aware Datapath Optimization using E-Graphs" @default.
- W4386763903 cites W1693331953 @default.
- W4386763903 cites W1849426162 @default.
- W4386763903 cites W1969726734 @default.
- W4386763903 cites W2043100293 @default.
- W4386763903 cites W2123358761 @default.
- W4386763903 cites W3117137355 @default.
- W4386763903 cites W4246166885 @default.
- W4386763903 cites W4246264663 @default.
- W4386763903 cites W4282032146 @default.
- W4386763903 cites W4312288277 @default.
- W4386763903 doi "https://doi.org/10.1109/dac56929.2023.10247797" @default.
- W4386763903 hasPublicationYear "2023" @default.
- W4386763903 type Work @default.
- W4386763903 citedByCount "1" @default.
- W4386763903 countsByYear W43867639032023 @default.
- W4386763903 crossrefType "proceedings-article" @default.
- W4386763903 hasAuthorship W4386763903A5029829952 @default.
- W4386763903 hasAuthorship W4386763903A5047560439 @default.
- W4386763903 hasAuthorship W4386763903A5081902675 @default.
- W4386763903 hasConcept C113775141 @default.
- W4386763903 hasConcept C127413603 @default.
- W4386763903 hasConcept C132525143 @default.
- W4386763903 hasConcept C134306372 @default.
- W4386763903 hasConcept C149635348 @default.
- W4386763903 hasConcept C165696696 @default.
- W4386763903 hasConcept C173608175 @default.
- W4386763903 hasConcept C199360897 @default.
- W4386763903 hasConcept C2776036281 @default.
- W4386763903 hasConcept C2776221188 @default.
- W4386763903 hasConcept C2780654840 @default.
- W4386763903 hasConcept C2781198647 @default.
- W4386763903 hasConcept C33923547 @default.
- W4386763903 hasConcept C36503486 @default.
- W4386763903 hasConcept C38652104 @default.
- W4386763903 hasConcept C41008148 @default.
- W4386763903 hasConcept C42935608 @default.
- W4386763903 hasConcept C58013763 @default.
- W4386763903 hasConcept C78519656 @default.
- W4386763903 hasConcept C80444323 @default.
- W4386763903 hasConceptScore W4386763903C113775141 @default.
- W4386763903 hasConceptScore W4386763903C127413603 @default.
- W4386763903 hasConceptScore W4386763903C132525143 @default.
- W4386763903 hasConceptScore W4386763903C134306372 @default.
- W4386763903 hasConceptScore W4386763903C149635348 @default.
- W4386763903 hasConceptScore W4386763903C165696696 @default.
- W4386763903 hasConceptScore W4386763903C173608175 @default.
- W4386763903 hasConceptScore W4386763903C199360897 @default.
- W4386763903 hasConceptScore W4386763903C2776036281 @default.
- W4386763903 hasConceptScore W4386763903C2776221188 @default.
- W4386763903 hasConceptScore W4386763903C2780654840 @default.
- W4386763903 hasConceptScore W4386763903C2781198647 @default.
- W4386763903 hasConceptScore W4386763903C33923547 @default.
- W4386763903 hasConceptScore W4386763903C36503486 @default.
- W4386763903 hasConceptScore W4386763903C38652104 @default.
- W4386763903 hasConceptScore W4386763903C41008148 @default.
- W4386763903 hasConceptScore W4386763903C42935608 @default.
- W4386763903 hasConceptScore W4386763903C58013763 @default.
- W4386763903 hasConceptScore W4386763903C78519656 @default.
- W4386763903 hasConceptScore W4386763903C80444323 @default.
- W4386763903 hasLocation W43867639031 @default.
- W4386763903 hasOpenAccess W4386763903 @default.
- W4386763903 hasPrimaryLocation W43867639031 @default.
- W4386763903 hasRelatedWork W1044727952 @default.
- W4386763903 hasRelatedWork W1991414913 @default.
- W4386763903 hasRelatedWork W2100971054 @default.
- W4386763903 hasRelatedWork W2151482292 @default.
- W4386763903 hasRelatedWork W2171515050 @default.
- W4386763903 hasRelatedWork W2172022734 @default.
- W4386763903 hasRelatedWork W2286123 @default.
- W4386763903 hasRelatedWork W4255321695 @default.
- W4386763903 hasRelatedWork W4256193953 @default.
- W4386763903 hasRelatedWork W4323323088 @default.
- W4386763903 isParatext "false" @default.
- W4386763903 isRetracted "false" @default.
- W4386763903 workType "article" @default.