{"id":"https://openalex.org/W4383501697","doi":"https://doi.org/10.1109/aicas57966.2023.10168557","title":"FEEP: Functional ECO Synthesis with Efficient Patch Minimization","display_name":"FEEP: Functional ECO Synthesis with Efficient Patch Minimization","publication_year":2023,"publication_date":"2023-06-11","ids":{"openalex":"https://openalex.org/W4383501697","doi":"https://doi.org/10.1109/aicas57966.2023.10168557"},"language":"en","primary_location":{"id":"doi:10.1109/aicas57966.2023.10168557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aicas57966.2023.10168557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS)","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/A5102676481","display_name":"Yaotian Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yaotian Liu","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100321500","display_name":"Yuhang Zhang","orcid":"https://orcid.org/0000-0002-4101-6207"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhang Zhang","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100358815","display_name":"Qing Zhang","orcid":"https://orcid.org/0000-0002-9353-8584"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Zhang","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016490930","display_name":"Rui Chen","orcid":"https://orcid.org/0000-0001-5292-3374"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210119392","display_name":"Institute of Microelectronics","ror":"https://ror.org/02s6gs133","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210119392"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui Chen","raw_affiliation_strings":["Chinese Academy of Sciences,Institute of Microelectronics,Beijing,China","Institute of Microelectronics, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences,Institute of Microelectronics,Beijing,China","institution_ids":["https://openalex.org/I4210119392","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Institute of Microelectronics, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210119392","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100764158","display_name":"Yongfu Li","orcid":"https://orcid.org/0000-0002-6322-8614"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongfu Li","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence,Shanghai,China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Micro-Nano Electronics and MoE Key Lab of Artificial Intelligence, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5102676481"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.616,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61149497,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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":0.9993000030517578,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9977999925613403,"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/pruning","display_name":"Pruning","score":0.7116826176643372},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.702515721321106},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.4847847819328308},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4739408791065216},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.46806493401527405},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43939822912216187},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37241870164871216},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3643350899219513},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.32987579703330994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17824935913085938}],"concepts":[{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.7116826176643372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.702515721321106},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.4847847819328308},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4739408791065216},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.46806493401527405},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43939822912216187},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37241870164871216},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3643350899219513},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.32987579703330994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17824935913085938},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aicas57966.2023.10168557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aicas57966.2023.10168557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12","score":0.44999998807907104}],"awards":[],"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":29,"referenced_works":["https://openalex.org/W41330591","https://openalex.org/W1574447377","https://openalex.org/W1612810659","https://openalex.org/W1965259933","https://openalex.org/W1979903718","https://openalex.org/W1990316647","https://openalex.org/W2096541971","https://openalex.org/W2115970675","https://openalex.org/W2127735256","https://openalex.org/W2147971753","https://openalex.org/W2152406824","https://openalex.org/W2163027960","https://openalex.org/W2164038636","https://openalex.org/W2169566541","https://openalex.org/W2172782508","https://openalex.org/W2527193322","https://openalex.org/W2942592915","https://openalex.org/W3137885226","https://openalex.org/W4230124513","https://openalex.org/W4232684688","https://openalex.org/W4233948513","https://openalex.org/W4239546712","https://openalex.org/W4241530675","https://openalex.org/W4245651202","https://openalex.org/W4246399691","https://openalex.org/W4249636515","https://openalex.org/W6636505876","https://openalex.org/W6678797189","https://openalex.org/W6681465828"],"related_works":["https://openalex.org/W2373300491","https://openalex.org/W2395294869","https://openalex.org/W2378744544","https://openalex.org/W2594301978","https://openalex.org/W2379704676","https://openalex.org/W1998810860","https://openalex.org/W4206442282","https://openalex.org/W2384505857","https://openalex.org/W2355171581","https://openalex.org/W4229439743"],"abstract_inverted_index":{"Functional":[0],"engineering":[1],"change":[2],"order":[3],"(ECO)":[4],"has":[5,22],"been":[6,24],"an":[7,31],"essential":[8],"process":[9],"in":[10,67],"modern":[11],"complex":[12],"integrated":[13],"circuit":[14,19],"design.":[15],"Finding":[16],"a":[17,25,59],"high-quality":[18,82],"patch":[20,62,69],"efficiently":[21,78],"long":[23],"challenge.":[26],"This":[27],"paper":[28],"proposes":[29],"FEEP,":[30],"automatic":[32],"and":[33,41,80],"efficient":[34],"synthesis-based":[35],"functional":[36],"ECO":[37],"method.":[38],"Structural":[39],"pruning":[40],"stratified":[42],"searching":[43],"techniques":[44],"are":[45],"proposed":[46],"to":[47],"minimize":[48],"search":[49,79],"space":[50],"without":[51],"extra":[52],"logical":[53],"equivalence":[54],"checks.":[55],"Moreover,":[56],"we":[57],"propose":[58],"machine-learning-based":[60],"two-stage":[61],"size":[63],"predictor":[64],"that":[65,74],"assists":[66],"predicting":[68],"quality.":[70],"Experimental":[71],"results":[72],"show":[73],"our":[75],"algorithm":[76],"can":[77],"produce":[81],"patches":[83],"under":[84],"various":[85],"test":[86],"cases.":[87]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}