{"id":"https://openalex.org/W4400231799","doi":"https://doi.org/10.1109/iscas58744.2024.10558523","title":"Parallel AIG Refactoring via Conflict Breaking","display_name":"Parallel AIG Refactoring via Conflict Breaking","publication_year":2024,"publication_date":"2024-05-19","ids":{"openalex":"https://openalex.org/W4400231799","doi":"https://doi.org/10.1109/iscas58744.2024.10558523"},"language":"en","primary_location":{"id":"doi:10.1109/iscas58744.2024.10558523","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iscas58744.2024.10558523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-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/A5110368524","display_name":"Ye Cai","orcid":null},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ye Cai","raw_affiliation_strings":["Shenzhen University,Shenzhen,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shenzhen University,Shenzhen,China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848518","display_name":"Zonglin Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zonglin Yang","raw_affiliation_strings":["Shenzhen University,Shenzhen,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shenzhen University,Shenzhen,China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848519","display_name":"Liwei Ni","orcid":"https://orcid.org/0009-0003-7525-9375"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Ni","raw_affiliation_strings":["Peng Cheng Laboratory,Shenzhen,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peng Cheng Laboratory,Shenzhen,China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848520","display_name":"Junfeng Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junfeng Liu","raw_affiliation_strings":["Beihang University,SKLSDE,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beihang University,SKLSDE,Beijing,China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107771061","display_name":"Biwei Xie","orcid":"https://orcid.org/0000-0003-4045-6806"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Biwei Xie","raw_affiliation_strings":["Chinese Academy of Sciences,Institute of Computing Technology,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences,Institute of Computing Technology,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5095848522","display_name":"Xingquan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingquan Li","raw_affiliation_strings":["Peng Cheng Laboratory,Shenzhen,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peng Cheng Laboratory,Shenzhen,China","institution_ids":["https://openalex.org/I4210136793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5110368524"],"corresponding_institution_ids":["https://openalex.org/I180726961"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12369948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9388999938964844,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9388999938964844,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/code-refactoring","display_name":"Code refactoring","score":0.8745471239089966},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6211749315261841},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31584393978118896},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16176331043243408}],"concepts":[{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.8745471239089966},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6211749315261841},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31584393978118896},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16176331043243408}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iscas58744.2024.10558523","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/iscas58744.2024.10558523","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Symposium on Circuits and Systems (ISCAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W1993932586","https://openalex.org/W2133079286","https://openalex.org/W2242458479","https://openalex.org/W2293875967","https://openalex.org/W2612536903","https://openalex.org/W2794046273","https://openalex.org/W2924040757","https://openalex.org/W3013938122","https://openalex.org/W3213615259","https://openalex.org/W4213162744","https://openalex.org/W4235578650","https://openalex.org/W4280549496","https://openalex.org/W4390097578","https://openalex.org/W6601412428","https://openalex.org/W6787239528"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4313549863","https://openalex.org/W2395465245","https://openalex.org/W2072205733","https://openalex.org/W2101762871","https://openalex.org/W3176957927","https://openalex.org/W4296534969","https://openalex.org/W4312761314","https://openalex.org/W2096877983"],"abstract_inverted_index":{"Algorithm":[0],"parallelization":[1,82],"to":[2,40,77],"leverage":[3],"multi-core":[4],"platforms":[5],"for":[6,55],"improving":[7],"the":[8,22,36,42,47,81,103,108,112,127],"efficiency":[9],"of":[10,24,46,73,84,105],"Electronic":[11],"Design":[12],"Automation":[13],"(EDA)":[14],"tools":[15],"plays":[16],"a":[17,32,92,100],"significant":[18],"role":[19],"in":[20,35,65,80],"enhancing":[21],"scalability":[23],"Integrated":[25],"Circuit":[26],"(IC)":[27],"designs.":[28],"Logic":[29],"optimization":[30,142],"is":[31,58,122],"key":[33],"process":[34],"EDA":[37],"design":[38],"flow":[39],"reduce":[41],"area":[43],"and":[44,107,139],"depth":[45],"circuit":[48],"graph":[49],"by":[50],"finding":[51],"logically":[52],"equivalent":[53],"graphs":[54],"substitution,":[56],"which":[57,98],"typically":[59],"time-consuming.":[60],"To":[61],"address":[62],"these":[63],"challenges,":[64],"this":[66],"paper,":[67],"we":[68],"first":[69],"analyze":[70],"two":[71],"types":[72],"conflicts":[74,109],"that":[75,118],"need":[76],"be":[78],"handled":[79],"framework":[83],"refactoring":[85,96,113],"And-Inverter":[86],"Graph":[87],"(AIG).":[88],"We":[89],"then":[90],"present":[91],"fine-grained":[93],"parallel":[94,120],"AIG":[95],"method,":[97],"strikes":[99],"balance":[101],"between":[102],"degree":[104],"parallelism":[106],"encountered":[110],"during":[111],"operations.":[114],"Experiment":[115],"results":[116],"show":[117],"our":[119],"refactor":[121],"28x":[123],"averagely":[124],"faster":[125],"than":[126],"sequential":[128],"algorithm":[129],"on":[130],"large":[131],"benchmark":[132],"tests":[133],"with":[134],"64":[135],"physical":[136],"CPU":[137],"cores,":[138],"has":[140],"comparable":[141],"quality.":[143]},"counts_by_year":[],"updated_date":"2026-05-03T08:25:01.440150","created_date":"2025-10-10T00:00:00"}