{"id":"https://openalex.org/W3205047249","doi":"https://doi.org/10.1109/fpl53798.2021.00066","title":"Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS","display_name":"Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS","publication_year":2021,"publication_date":"2021-08-01","ids":{"openalex":"https://openalex.org/W3205047249","doi":"https://doi.org/10.1109/fpl53798.2021.00066","mag":"3205047249"},"language":"en","primary_location":{"id":"doi:10.1109/fpl53798.2021.00066","doi":"https://doi.org/10.1109/fpl53798.2021.00066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpl53798.2021.00066","pdf_url":null,"source":{"id":"https://openalex.org/S7407085929","display_name":"International Conference on Field Programmable Logic and Applications (FPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 31st International Conference on Field-Programmable Logic and Applications (FPL)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060302344","display_name":"Jianyi Cheng","orcid":"https://orcid.org/0000-0003-2791-2555","observed_orcids":["https://orcid.org/0000-0003-2791-2555"]},"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":"Jianyi Cheng","raw_affiliation_strings":["Imperial College, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002846450","display_name":"John Wickerson","orcid":"https://orcid.org/0000-0001-6735-5533","observed_orcids":["https://orcid.org/0000-0001-6735-5533"]},"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":"John Wickerson","raw_affiliation_strings":["Imperial College, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029829952","display_name":"George Anthony Constantinides","orcid":"https://orcid.org/0000-0002-0201-310X","observed_orcids":["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, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":1.1368,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.76696543,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"346"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0005000000237487257,"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"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"high-level synthesis","score":0.8970000147819519},{"id":"https://openalex.org/keywords/loop-pipelining","display_name":"loop pipelining","score":0.9990000128746033},{"id":"https://openalex.org/keywords/initiation-interval","display_name":"initiation interval","score":0.8140000104904175},{"id":"https://openalex.org/keywords/static-scheduling","display_name":"static scheduling","score":0.7760000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8051102161407471},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.7327468395233154},{"id":"https://openalex.org/C188854837","wikidata":"https://www.wikidata.org/wiki/Q268469","display_name":"Software pipelining","level":3,"score":0.7272728681564331},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.707226037979126},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6811845898628235},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.583263635635376},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5426571369171143},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4546433687210083},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4185393154621124},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4145173728466034},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.37049606442451477},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3645681142807007},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.349906861782074},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3037427067756653},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13952216506004333},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1296459138393402},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fpl53798.2021.00066","doi":"https://doi.org/10.1109/fpl53798.2021.00066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpl53798.2021.00066","pdf_url":null,"source":{"id":"https://openalex.org/S7407085929","display_name":"International Conference on Field Programmable Logic and Applications (FPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 31st International Conference on Field-Programmable Logic and Applications (FPL)","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/89926","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/89926","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Field-Programmable Logic and Applications","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2784140359","display_name":"Application Customisation: Enhancing Design Quality and Developer Productivity","funder_award_id":"EP/P010040/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6480646621","display_name":"Interface reasoning for interacting systems (IRIS).","funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1457468890","https://openalex.org/W1996464317","https://openalex.org/W2061988908","https://openalex.org/W2071189607","https://openalex.org/W2091452063","https://openalex.org/W2104219854","https://openalex.org/W2122078405","https://openalex.org/W2123412205","https://openalex.org/W2155850763","https://openalex.org/W2156499539","https://openalex.org/W2507391457","https://openalex.org/W2584219348","https://openalex.org/W2775013565","https://openalex.org/W2790678706","https://openalex.org/W2798338492","https://openalex.org/W2903021638","https://openalex.org/W2903237845","https://openalex.org/W2915244343","https://openalex.org/W3034743315","https://openalex.org/W4238941586","https://openalex.org/W4239489018"],"related_works":["https://openalex.org/W2507391457","https://openalex.org/W2775013565","https://openalex.org/W1508051931","https://openalex.org/W2798338492","https://openalex.org/W3091672208","https://openalex.org/W2903021638","https://openalex.org/W2798326408","https://openalex.org/W4411148474","https://openalex.org/W2966637055","https://openalex.org/W2888710033"],"abstract_inverted_index":{"High-level":[0],"synthesis":[1],"(HLS)":[2],"automatically":[3,128],"transforms":[4],"high-level":[5],"programs":[6],"in":[7,58],"a":[8,14,24,37,88,130,142,160],"language":[9],"such":[10],"as":[11],"C/C++":[12],"into":[13],"low-level":[15],"hardware":[16,30,132],"description.":[17],"In":[18],"this":[19],"context,":[20],"loop":[21,39],"pipelining":[22],"is":[23,40],"key":[25],"optimisation":[26],"method":[27],"for":[28,141],"improving":[29],"performance.":[31,80],"The":[32],"main":[33],"performance":[34,154],"bottleneck":[35],"of":[36,48,55,97,120,145,159],"pipelined":[38],"the":[41,46,52,56,59,111,118,157],"ratio":[42],"between":[43,100],"two":[44,62,102],"values:":[45],"latency":[47],"each":[49],"iteration":[50],"and":[51,94],"dependence":[53],"distance":[54],"operations":[57],"loop.":[60],"These":[61],"values":[63],"are":[64],"usually":[65],"not":[66],"known":[67],"exactly,":[68],"so":[69],"existing":[70],"HLS":[71,125],"schedulers":[72,86],"model":[73],"them":[74],"independently,":[75],"which":[76,123],"can":[77],"cause":[78],"sub-optimal":[79],"This":[81],"paper":[82],"extends":[83],"state-of-the-art":[84],"static":[85],"with":[87],"fully":[89],"automated":[90],"pass":[91],"that":[92,140],"exposes":[93],"takes":[95],"advantage":[96],"potential":[98],"correlation":[99],"these":[101,121],"values,":[103],"enabling":[104],"smaller":[105],"initiation":[106],"intervals":[107],"(II).":[108],"We":[109],"use":[110],"Microsoft":[112],"Boogie":[113],"software":[114],"verifier":[115],"to":[116,127],"prove":[117],"existence":[119],"correlations,":[122],"allows":[124],"tools":[126],"find":[129],"high-performance":[131],"solution":[133],"while":[134],"maintaining":[135],"correctness.":[136],"Our":[137],"results":[138],"show":[139],"certain":[143],"class":[144],"programs,":[146],"our":[147],"approach":[148],"achieves,":[149],"on":[150],"average,":[151],"an":[152],"$11.1\\times$":[153],"gain":[155],"at":[156],"cost":[158],"95%":[161],"area":[162],"overhead.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2021-10-25T00:00:00"}