{"id":"https://openalex.org/W4248435715","doi":"https://doi.org/10.1109/date.2010.5457024","title":"SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal","display_name":"SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal","publication_year":2010,"publication_date":"2010-03-01","ids":{"openalex":"https://openalex.org/W4248435715","doi":"https://doi.org/10.1109/date.2010.5457024"},"language":"en","primary_location":{"id":"doi:10.1109/date.2010.5457024","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5457024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","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/A5077651830","display_name":"Fan Yang","orcid":"https://orcid.org/0000-0002-0254-9000"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fan Yang","raw_affiliation_strings":["Department of CST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"Department of CST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100894724","display_name":"Yici Cai","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yici Cai","raw_affiliation_strings":["Department of CST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"Department of CST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101929509","display_name":"Qiang Zhou","orcid":"https://orcid.org/0000-0003-1348-8861"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiang Zhou","raw_affiliation_strings":["Department of CST, Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"Department of CST, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103246390","display_name":"Jiang Hu","orcid":"https://orcid.org/0000-0003-1157-7799"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiang Hu","raw_affiliation_strings":["Department of ECE, Texas A and M University, USA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Texas A and M University, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5077651830"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.42528025,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1369","last_page":"1372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11338","display_name":"Advancements in Photolithography Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11338","display_name":"Advancements in Photolithography Techniques","score":1.0,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9998000264167786,"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.9994999766349792,"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/hotspot","display_name":"Hotspot (geology)","score":0.8833419680595398},{"id":"https://openalex.org/keywords/design-for-manufacturability","display_name":"Design for manufacturability","score":0.7724238634109497},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6842731237411499},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5304700136184692},{"id":"https://openalex.org/keywords/sizing","display_name":"Sizing","score":0.5195684432983398},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.437852144241333},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3962392807006836},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.35299402475357056},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3205043077468872},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3047967255115509},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17424115538597107}],"concepts":[{"id":"https://openalex.org/C146481406","wikidata":"https://www.wikidata.org/wiki/Q105131","display_name":"Hotspot (geology)","level":2,"score":0.8833419680595398},{"id":"https://openalex.org/C62064638","wikidata":"https://www.wikidata.org/wiki/Q553878","display_name":"Design for manufacturability","level":2,"score":0.7724238634109497},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6842731237411499},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5304700136184692},{"id":"https://openalex.org/C2777767291","wikidata":"https://www.wikidata.org/wiki/Q1080291","display_name":"Sizing","level":2,"score":0.5195684432983398},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.437852144241333},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3962392807006836},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.35299402475357056},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3205043077468872},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3047967255115509},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17424115538597107},{"id":"https://openalex.org/C8058405","wikidata":"https://www.wikidata.org/wiki/Q46255","display_name":"Geophysics","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2010.5457024","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2010.5457024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","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":14,"referenced_works":["https://openalex.org/W1494668715","https://openalex.org/W1992712466","https://openalex.org/W2018094844","https://openalex.org/W2022187398","https://openalex.org/W2025250515","https://openalex.org/W2157255030","https://openalex.org/W2169435381","https://openalex.org/W2172678467","https://openalex.org/W3139835941","https://openalex.org/W4243445950","https://openalex.org/W6629666240","https://openalex.org/W6648570970","https://openalex.org/W6657051623","https://openalex.org/W6680636136"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2102364390"],"abstract_inverted_index":{"Manufacturing":[0],"hotspots":[1,38,72,177],"are":[2,15,23,102,117,125,138],"the":[3,37,66,88,130,158,176],"layout":[4],"patterns":[5],"which":[6,116],"cause":[7],"excessive":[8],"difficulties":[9],"to":[10,74,127,145],"manufacturing":[11],"process.":[12],"Design":[13],"rules":[14],"effective":[16],"at":[17,25,47],"handling":[18],"sizing/spacing":[19],"induced":[20],"hotspots,":[21],"but":[22],"inadequate":[24],"dealing":[26],"with":[27,185],"topological":[28],"hotspots.":[29,193],"In":[30,78,93],"wire":[31],"routings,":[32],"existing":[33],"approaches":[34],"often":[35],"remove":[36,172],"through":[39,132],"iteratively":[40],"ripping":[41],"up":[42,105],"and":[43,65,106,119,141,190],"rerouting":[44,67],"one":[45,181],"net":[46],"a":[48,83,122,147],"time":[49],"guided":[50],"by":[51],"litho-simulations.":[52],"This":[53],"procedure":[54],"can":[55,143,155,171],"be":[56],"very":[57,63],"time-consuming":[58],"because":[59],"litho-simulation":[60],"is":[61],"typically":[62],"slow":[64],"may":[68],"result":[69],"in":[70,98,121,129,178],"new":[71,84],"due":[73],"its":[75],"heuristic":[76],"nature.":[77],"this":[79],"paper,":[80],"we":[81],"propose":[82],"approach":[85,154,170],"for":[86],"improving":[87],"efficiency":[89],"of":[90,175,192],"hotspot":[91,100,114],"removal.":[92],"our":[94,153,169],"approach,":[95],"multiple":[96,136],"nets":[97,137,189],"each":[99],"region":[101],"simultaneously":[103,139],"ripped":[104],"rerouted":[107],"based":[108],"on":[109,160,164,183],"Boolean":[110],"satisfiability":[111],"(SAT).":[112],"The":[113],"patterns,":[115],"described":[118],"stored":[120],"pre-built":[123],"library,":[124],"forbidden":[126],"appear":[128],"reroute":[131],"SAT":[133,142],"constraints.":[134],"Since":[135],"processed":[140],"guarantee":[144],"find":[146],"feasible":[148],"solution":[149],"if":[150],"it":[151],"exists,":[152],"greatly":[156],"accelerate":[157],"convergence":[159],"manufacturability.":[161],"Experimental":[162],"results":[163],"benchmark":[165],"circuits":[166,184],"show":[167],"that":[168],"over":[173],"90%":[174],"less":[179],"than":[180,187],"minute":[182],"more":[186],"20K":[188],"hundreds":[191]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}