{"id":"https://openalex.org/W4312939266","doi":"https://doi.org/10.1109/tcad.2022.3213611","title":"FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit","display_name":"FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit","publication_year":2022,"publication_date":"2022-10-11","ids":{"openalex":"https://openalex.org/W4312939266","doi":"https://doi.org/10.1109/tcad.2022.3213611"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2022.3213611","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3213611","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","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/A5028824039","display_name":"Walter Lau Neto","orcid":"https://orcid.org/0000-0002-9349-4964"},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Walter Lau Neto","raw_affiliation_strings":["Silicon Realization Group, Synopsys Inc., Sunnyvale, CA, USA"],"affiliations":[{"raw_affiliation_string":"Silicon Realization Group, Synopsys Inc., Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425071","display_name":"Yingjie Li","orcid":"https://orcid.org/0000-0002-1144-7401"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yingjie Li","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002568331","display_name":"Pierre\u2010Emmanuel Gaillardon","orcid":"https://orcid.org/0000-0003-3634-3999"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierre-Emmanuel Gaillardon","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":null,"display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0002-8840-1540"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cunxi Yu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028824039"],"corresponding_institution_ids":["https://openalex.org/I4210088951"],"apc_list":null,"apc_paid":null,"fwci":3.5599,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93317246,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"42","issue":"6","first_page":"1912","last_page":"1925"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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.9941999912261963,"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/domain","display_name":"Domain (mathematical analysis)","score":0.5324455499649048},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5236606001853943},{"id":"https://openalex.org/keywords/end-to-end-principle","display_name":"End-to-end principle","score":0.46904927492141724},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27189236879348755},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24625465273857117}],"concepts":[{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5324455499649048},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5236606001853943},{"id":"https://openalex.org/C74296488","wikidata":"https://www.wikidata.org/wiki/Q2527392","display_name":"End-to-end principle","level":2,"score":0.46904927492141724},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27189236879348755},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24625465273857117},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2022.3213611","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3213611","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1638343836","display_name":null,"funder_award_id":"Award NSF-2047176","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3887634858","display_name":null,"funder_award_id":"NSF-2008144","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4472487299","display_name":null,"funder_award_id":"Award NSF-1751064","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1556859836","https://openalex.org/W2005602803","https://openalex.org/W2009551863","https://openalex.org/W2014316444","https://openalex.org/W2042714660","https://openalex.org/W2058983184","https://openalex.org/W2100465945","https://openalex.org/W2138209363","https://openalex.org/W2140975144","https://openalex.org/W2168405694","https://openalex.org/W2398947418","https://openalex.org/W2403021642","https://openalex.org/W2583971000","https://openalex.org/W2751846701","https://openalex.org/W2755596500","https://openalex.org/W2797469317","https://openalex.org/W2889669826","https://openalex.org/W2899885603","https://openalex.org/W2918338434","https://openalex.org/W2939908742","https://openalex.org/W2945462300","https://openalex.org/W2945560322","https://openalex.org/W2945759188","https://openalex.org/W2948284853","https://openalex.org/W2975468520","https://openalex.org/W2988212920","https://openalex.org/W2997292582","https://openalex.org/W3013938122","https://openalex.org/W3109579920","https://openalex.org/W3109775750","https://openalex.org/W3111604831","https://openalex.org/W3112616759","https://openalex.org/W3127733006","https://openalex.org/W3136031055","https://openalex.org/W3212743974","https://openalex.org/W3214363863","https://openalex.org/W4200239775","https://openalex.org/W4312231865","https://openalex.org/W6750384299","https://openalex.org/W6770320521"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2151749779","https://openalex.org/W3179968364","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Design":[0],"flows":[1,30,49,60,294,302],"are":[2,31,120],"the":[3,19,29,35,38,43,51,86,95,105,201,207,284],"explicit":[4],"combinations":[5],"of":[6,21,37,47,64,88,113,124,164,206,316],"design":[7,20,48,53,82,96,215,281],"transformations,":[8],"primarily":[9],"involved":[10],"in":[11,80,99,122,283,311],"synthesis,":[12],"placement,":[13],"and":[14,25,50,92,116,187,204,228,230,237,268,271,299,313],"routing":[15],"processes,":[16],"to":[17,42,130,320],"accomplish":[18],"integrated":[22,243],"circuits":[23],"(ICs)":[24],"system-on-chip":[26],"(SoC).":[27],"Mostly,":[28],"developed":[32],"based":[33],"on":[34,104,167,279],"knowledge":[36],"experts.":[39],"However,":[40],"due":[41,129],"large":[44],"search":[45],"space":[46],"increasing":[52],"complexity,":[54],"developing":[55],"intellectual":[56],"property":[57],"(IP)-specific":[58],"synthesis":[59,145,186,234],"providing":[61],"high":[62,202],"quality":[63],"result":[65],"(QoR)":[66],"is":[67,241,272,314],"extremely":[68],"challenging.":[69],"In":[70],"recent":[71],"years,":[72],"machine":[73],"learning":[74],"(ML)":[75],"has":[76],"been":[77],"increasingly":[78],"used":[79],"electronic":[81],"automation":[83],"(EDA),":[84],"with":[85,148,212,221,244],"goal":[87],"reducing":[89],"manual":[90],"labor":[91],"speeding":[93],"up":[94],"closure":[97],"process":[98],"current":[100],"toolflows.":[101],"Existing":[102],"techniques,":[103],"other":[106],"hand,":[107],"either":[108],"necessitate":[109],"a":[110,136,149,161],"huge":[111],"amount":[112],"labeled":[114],"data":[115],"time-consuming":[117],"training,":[118],"or":[119],"constrained":[121],"terms":[123],"practical":[125],"EDA":[126],"toolflow":[127],"integration":[128],"computational":[131],"overhead.":[132],"This":[133,158],"article":[134],"presents":[135],"generic":[137],"end-to-end":[138,193,213],"sequential":[139],"decision":[140],"making":[141],"framework":[142,159,290],"FlowTune":[143,240],"for":[144,182],"tooflow":[146],"optimization,":[147],"novel":[150],"high-performance":[151],"domain-specific,":[152],"multistage":[153],"multiarmed":[154],"bandit":[155],"(MAB)":[156],"approach.":[157],"addresses":[160],"wide":[162],"range":[163],"optimization":[165,169],"problems":[166],"Boolean":[168,183],"problems,":[170],"such":[171],"as":[172],"And-Inv-Graphs":[173],"(AIGs),":[174],"conjunction":[175],"normal":[176],"form":[177],"(CNF)":[178],"minimization":[179],"(#":[180],"clauses)":[181],"satisfiability;":[184],"logic":[185,233],"technology":[188],"mapping,":[189],"and,":[190],"more":[191],"importantly,":[192],"post":[194],"place-and-route":[195],"(PnR)":[196],"optimizations.":[197],"Moreover,":[198],"we":[199],"demonstrate":[200,287],"extensibility":[203],"generalizability":[205],"proposed":[208],"domain-specific":[209],"MAB":[210],"approach":[211],"FPGA":[214,224],"flow,":[216],"evaluated":[217],"at":[218],"post-routing":[219],"stage,":[220],"two":[222,231],"different":[223,232],"backend":[225],"tools":[226],"(OpenFPGA":[227],"VPR)":[229],"representations":[235],"[AIGs":[236],"Majority-Inv-Graph":[238],"(MIG)].":[239],"fully":[242],"ABC":[245],"(Mishchenko":[246,295],"et":[247,255,260,265,296,304,308],"al.,":[248,256,261,266,297,305,309],"2010),":[249],"Yosys":[250],"(Wolf,":[251],"2016),":[252],"VTR":[253],"(Luu":[254],"2014),":[257],"LSOracle":[258],"(Neto":[259],"2019),":[262,267],"OpenFPGA":[263],"(Tang":[264],"industrial":[269],"tools,":[270],"released":[273],"publicly.":[274],"The":[275],"experimental":[276],"results":[277],"conducted":[278],"various":[280],"stages":[282],"flow":[285],"all":[286],"that":[288],"our":[289],"outperforms":[291],"both":[292],"handcrafted":[293],"2010)":[298],"ML":[300],"explored":[301],"(Yu":[303],"2018),":[306],"(Hosny":[307],"2019)":[310],"QoRs,":[312],"orders":[315],"magnitude":[317],"faster":[318],"compared":[319],"ML-based":[321],"approaches.":[322]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}