{"id":"https://openalex.org/W2043252594","doi":"https://doi.org/10.1109/fpt.2013.6718367","title":"Derivation of efficient FSM from loop nests","display_name":"Derivation of efficient FSM from loop nests","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2043252594","doi":"https://doi.org/10.1109/fpt.2013.6718367","mag":"2043252594"},"language":"en","primary_location":{"id":"doi:10.1109/fpt.2013.6718367","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpt.2013.6718367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Field-Programmable Technology (FPT)","raw_type":"proceedings-article"},"type":"preprint","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/A5001146686","display_name":"Tomofumi Yuki","orcid":"https://orcid.org/0000-0002-5737-6178"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tomofumi Yuki","raw_affiliation_strings":["INRIA, Campus de Beaulieu, Rennes","Inria-Rennes, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Campus de Beaulieu, Rennes","institution_ids":["https://openalex.org/I4210133778"]},{"raw_affiliation_string":"Inria-Rennes, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006259910","display_name":"Antoine Morvan","orcid":null},"institutions":[{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Antoine Morvan","raw_affiliation_strings":["Universit\u00e9 de Rennes 1, Campus de Beaulieu, Rennes","Univ. de Rennes 1, Rennes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Rennes 1, Campus de Beaulieu, Rennes","institution_ids":["https://openalex.org/I56067802"]},{"raw_affiliation_string":"Univ. de Rennes 1, Rennes, France","institution_ids":["https://openalex.org/I56067802"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053526033","display_name":"Steven Derrien","orcid":"https://orcid.org/0000-0002-6281-083X"},"institutions":[{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Steven Derrien","raw_affiliation_strings":["Universit\u00e9 de Rennes 1, Campus de Beaulieu, Rennes","Univ. de Rennes 1, Rennes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Rennes 1, Campus de Beaulieu, Rennes","institution_ids":["https://openalex.org/I56067802"]},{"raw_affiliation_string":"Univ. de Rennes 1, Rennes, France","institution_ids":["https://openalex.org/I56067802"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9515,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76145367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"32","issue":null,"first_page":"286","last_page":"293"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"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/loop-fission","display_name":"Loop fission","score":0.8272539377212524},{"id":"https://openalex.org/keywords/nested-loop-join","display_name":"Nested loop join","score":0.8226950764656067},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8040338754653931},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.768707275390625},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6912885904312134},{"id":"https://openalex.org/keywords/software-pipelining","display_name":"Software pipelining","score":0.6870335340499878},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.6570429801940918},{"id":"https://openalex.org/keywords/loop-fusion","display_name":"Loop fusion","score":0.5982072353363037},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5498514175415039},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.525631844997406},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.469194620847702},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.43865156173706055},{"id":"https://openalex.org/keywords/loop-tiling","display_name":"Loop tiling","score":0.43577396869659424},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3800082206726074},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22550523281097412},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.1476137340068817},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08038735389709473},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07375797629356384}],"concepts":[{"id":"https://openalex.org/C134718785","wikidata":"https://www.wikidata.org/wiki/Q6675821","display_name":"Loop fission","level":3,"score":0.8272539377212524},{"id":"https://openalex.org/C1306188","wikidata":"https://www.wikidata.org/wiki/Q4060687","display_name":"Nested loop join","level":2,"score":0.8226950764656067},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8040338754653931},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.768707275390625},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6912885904312134},{"id":"https://openalex.org/C188854837","wikidata":"https://www.wikidata.org/wiki/Q268469","display_name":"Software pipelining","level":3,"score":0.6870335340499878},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.6570429801940918},{"id":"https://openalex.org/C82653869","wikidata":"https://www.wikidata.org/wiki/Q6675821","display_name":"Loop fusion","level":3,"score":0.5982072353363037},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5498514175415039},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.525631844997406},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.469194620847702},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.43865156173706055},{"id":"https://openalex.org/C11799548","wikidata":"https://www.wikidata.org/wiki/Q6675847","display_name":"Loop tiling","level":3,"score":0.43577396869659424},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3800082206726074},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22550523281097412},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.1476137340068817},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08038735389709473},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07375797629356384},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fpt.2013.6718367","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpt.2013.6718367","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Field-Programmable Technology (FPT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1505939690","https://openalex.org/W1533186609","https://openalex.org/W1558370006","https://openalex.org/W1975104688","https://openalex.org/W1995270665","https://openalex.org/W2049270348","https://openalex.org/W2086652527","https://openalex.org/W2091452063","https://openalex.org/W2113124853","https://openalex.org/W2115026893","https://openalex.org/W2135234700","https://openalex.org/W2138744372","https://openalex.org/W2150334230","https://openalex.org/W2164056230","https://openalex.org/W3203568064","https://openalex.org/W4229866061","https://openalex.org/W4230473729","https://openalex.org/W6633402081","https://openalex.org/W6682251363"],"related_works":["https://openalex.org/W2342605656","https://openalex.org/W2040522199","https://openalex.org/W154155438","https://openalex.org/W217231416","https://openalex.org/W1993227264","https://openalex.org/W2125951114","https://openalex.org/W2135234700","https://openalex.org/W2043252594","https://openalex.org/W2092462759","https://openalex.org/W1511601046"],"abstract_inverted_index":{"Pipelined":[0],"execution":[1],"is":[2,23,45,62,66],"one":[3],"of":[4,36,58,73,94,101,126,139,147],"the":[5,19,55,59,71,74,92,102,113,140,145],"most":[6],"important":[7],"optimizations":[8],"in":[9,27,39,117,121],"hardware":[10,14,51],"design":[11],"to":[12,32,69],"improve":[13],"utilization":[15,52],"rate,":[16],"and":[17,76,119,134],"hence":[18,77],"throughput.":[20],"Loop":[21],"pipelining":[22,44],"a":[24,37,40,46],"transformation":[25,87],"available":[26],"High":[28],"Level":[29],"Synthesis":[30],"tools":[31],"execute":[33],"multiple":[34],"iterations":[35],"loop":[38,43,61,96,132],"pipeline.":[41],"Nested":[42],"related":[47],"technique":[48],"that":[49,90,111,143],"improves":[50,91,144],"rate":[53],"when":[54],"iteration":[56],"count":[57],"innermost":[60],"small.":[63],"However,":[64],"it":[65],"also":[67],"known":[68],"increase":[70],"complexity":[72],"control,":[75],"degrading":[78],"frequency.":[79],"In":[80],"this":[81],"paper,":[82],"we":[83,105],"present":[84,106],"an":[85,108,136],"automatic":[86,124],"targeting":[88],"HLS":[89],"effectiveness":[93],"nested":[95],"pipelining,":[97],"by":[98],"efficient":[99,127,137],"implementations":[100],"control-path.":[103],"Specifically,":[104],"(i)":[107],"analytical":[109],"model":[110],"captures":[112],"trade-off":[114],"between":[115],"gain":[116],"cycles":[118],"loss":[120],"frequency,":[122],"(ii),":[123],"derivation":[125],"Finite":[128],"State":[129],"Machine":[130],"from":[131],"nests,":[133],"(iii)":[135],"implementation":[138],"derived":[141],"FSM":[142],"performance":[146],"synthesized":[148],"hardware.":[149]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}