{"id":"https://openalex.org/W2019827032","doi":"https://doi.org/10.1145/2435264.2435285","title":"Word-length optimization beyond straight line code","display_name":"Word-length optimization beyond straight line code","publication_year":2013,"publication_date":"2013-02-11","ids":{"openalex":"https://openalex.org/W2019827032","doi":"https://doi.org/10.1145/2435264.2435285","mag":"2019827032"},"language":"en","primary_location":{"id":"doi:10.1145/2435264.2435285","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2435264.2435285","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3438756","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040792997","display_name":"David Boland","orcid":"https://orcid.org/0000-0001-5370-4464"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David P. Boland","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029829952","display_name":"George A. Constantinides","orcid":"https://orcid.org/0000-0002-0201-310X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"George A. Constantinides","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040792997"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":1.8127,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84930285,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"105","last_page":"114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8108624219894409},{"id":"https://openalex.org/keywords/double-precision-floating-point-format","display_name":"Double-precision floating-point format","score":0.7317804098129272},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.7291784286499023},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6297641396522522},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5868833661079407},{"id":"https://openalex.org/keywords/loop-unrolling","display_name":"Loop unrolling","score":0.5850187540054321},{"id":"https://openalex.org/keywords/single-precision-floating-point-format","display_name":"Single-precision floating-point format","score":0.5671316385269165},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.5604258179664612},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.558599054813385},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.48461732268333435},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.4381800889968872},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4289490282535553},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.41404181718826294},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39854609966278076},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33929532766342163},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3324744403362274},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20464998483657837},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09231019020080566},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09201020002365112},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.0775967538356781}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8108624219894409},{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.7317804098129272},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7291784286499023},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6297641396522522},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5868833661079407},{"id":"https://openalex.org/C76970557","wikidata":"https://www.wikidata.org/wiki/Q1869750","display_name":"Loop unrolling","level":3,"score":0.5850187540054321},{"id":"https://openalex.org/C133095886","wikidata":"https://www.wikidata.org/wiki/Q1307173","display_name":"Single-precision floating-point format","level":3,"score":0.5671316385269165},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.5604258179664612},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.558599054813385},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.48461732268333435},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.4381800889968872},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4289490282535553},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.41404181718826294},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39854609966278076},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33929532766342163},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3324744403362274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20464998483657837},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09231019020080566},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09201020002365112},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0775967538356781},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2435264.2435285","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2435264.2435285","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:3438756","is_oa":true,"landing_page_url":"https://zenodo.org/record/3438756","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3438756","is_oa":true,"landing_page_url":"https://zenodo.org/record/3438756","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W157536195","https://openalex.org/W1530375435","https://openalex.org/W1534118295","https://openalex.org/W1597204268","https://openalex.org/W1656620728","https://openalex.org/W1657697086","https://openalex.org/W1827246489","https://openalex.org/W1898422521","https://openalex.org/W1967184028","https://openalex.org/W1968428133","https://openalex.org/W1970296353","https://openalex.org/W1977336460","https://openalex.org/W1994417982","https://openalex.org/W2020804487","https://openalex.org/W2043168911","https://openalex.org/W2075412885","https://openalex.org/W2088106051","https://openalex.org/W2096059450","https://openalex.org/W2104037155","https://openalex.org/W2112350720","https://openalex.org/W2117355058","https://openalex.org/W2124909257","https://openalex.org/W2136333450","https://openalex.org/W2151354607","https://openalex.org/W2153316377","https://openalex.org/W2161217905","https://openalex.org/W2169941994","https://openalex.org/W2171319130","https://openalex.org/W4232668957"],"related_works":["https://openalex.org/W2116803521","https://openalex.org/W2773283032","https://openalex.org/W3150370983","https://openalex.org/W3150959508","https://openalex.org/W2239119680","https://openalex.org/W1564887326","https://openalex.org/W1571090276","https://openalex.org/W2185760795","https://openalex.org/W2930605373","https://openalex.org/W3215589575"],"abstract_inverted_index":{"The":[0],"silicon":[1,183],"area":[2,184],"benefits":[3],"that":[4,30,66,107,167,211],"result":[5],"from":[6,82],"word-length":[7,96],"optimization":[8,97],"have":[9,157],"been":[10],"widely":[11],"reported":[12],"by":[13],"the":[14,48,57,83,101,153,205,212],"FPGA":[15,62,154],"community.":[16],"However,":[17,164],"to":[18,24,55,87,94,99,105,119,132,160,172,188],"date,":[19],"most":[20],"approaches":[21],"are":[22],"restricted":[23],"straight":[25,35],"line":[26,36],"code,":[27],"or":[28,146,196],"code":[29,37],"can":[31,181],"be":[32],"converted":[33],"into":[34],"using":[38,142,168],"techniques":[39,54,98,118],"such":[40],"as":[41,208],"loop-unrolling.":[42],"In":[43],"this":[44,151],"paper,":[45],"we":[46,77,165,180],"take":[47],"first":[49],"steps":[50],"towards":[51],"creating":[52],"analytical":[53],"optimize":[56],"precision":[58,103,148,194,202],"used":[59],"throughout":[60,137],"custom":[61,139,174],"accelerators":[63],"for":[64],"algorithms":[65,121],"contain":[67],"loops":[68],"with":[69,110],"data":[70,111],"dependent":[71,112],"exit":[72,113],"conditions.":[73],"To":[74],"achieve":[75],"this,":[76],"build":[78],"on":[79],"ideas":[80],"emanating":[81],"software":[84,162],"verification":[85],"community":[86],"prove":[88],"program":[89],"termination.":[90],"Our":[91],"idea":[92],"is":[93],"apply":[95],"find":[100],"minimum":[102],"required":[104],"guarantee":[106],"a":[108,127,138,161],"loop":[109],"conditions":[114],"will":[115,216],"terminate.":[116],"Without":[117],"analyze":[120],"containing":[122],"these":[123],"types":[124],"of":[125,186],"loops,":[126],"hardware":[128,214],"designer":[129],"may":[130],"elect":[131],"implement":[133],"every":[134],"arithmetic":[135],"operator":[136],"FPGA-based":[140],"accelerator":[141,155],"IEEE-754":[143],"standard":[144,192,200],"single":[145,193],"double":[147,201],"arithmetic.":[149],"With":[150],"approach,":[152],"would":[156],"comparable":[158],"accuracy":[159],"implementation.":[163],"show":[166],"our":[169],"new":[170],"technique":[171],"create":[173],"fixed":[175],"and":[176],"floating":[177],"point":[178],"designs,":[179],"obtain":[182],"savings":[185],"up":[187],"50%":[189],"over":[190,198],"IEEE":[191,199],"arithmetic,":[195,203],"80%":[197],"at":[204],"same":[206],"time":[207],"providing":[209],"guarantees":[210],"created":[213],"designs":[215],"work":[217],"in":[218],"practice.":[219]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}