{"id":"https://openalex.org/W4234143475","doi":"https://doi.org/10.1109/iccad.2017.8203798","title":"Statistically certified approximate logic synthesis","display_name":"Statistically certified approximate logic synthesis","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W4234143475","doi":"https://doi.org/10.1109/iccad.2017.8203798"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2017.8203798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5102779166","display_name":"Gai Liu","orcid":"https://orcid.org/0000-0001-8538-686X"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gai Liu","raw_affiliation_strings":["School of Electrical and Computer Engineering, Cornell University, Ithaca, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, Cornell University, Ithaca, NY","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037210004","display_name":"Zhiru Zhang","orcid":"https://orcid.org/0000-0002-0778-0308"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiru Zhang","raw_affiliation_strings":["School of Electrical and Computer Engineering, Cornell University, Ithaca, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, Cornell University, Ithaca, NY","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"344","last_page":"351"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","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/T10363","display_name":"Low-power high-performance VLSI design","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.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.6789265871047974},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.5987544655799866},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49537432193756104},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.48814472556114197},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46696358919143677},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3405543565750122}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6789265871047974},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.5987544655799866},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49537432193756104},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.48814472556114197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46696358919143677},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3405543565750122},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2017.8203798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8600000143051147,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1996431812","https://openalex.org/W1998917233","https://openalex.org/W2020217519","https://openalex.org/W2026005150","https://openalex.org/W2048971218","https://openalex.org/W2100465945","https://openalex.org/W2138309709","https://openalex.org/W2242458479","https://openalex.org/W2323444743","https://openalex.org/W2401611945","https://openalex.org/W2537354715","https://openalex.org/W2583971000","https://openalex.org/W2588565458","https://openalex.org/W4231091214","https://openalex.org/W4235991875","https://openalex.org/W4245558464","https://openalex.org/W4255029913","https://openalex.org/W6676258682","https://openalex.org/W6690302409"],"related_works":["https://openalex.org/W2098419840","https://openalex.org/W1966764473","https://openalex.org/W2789349722","https://openalex.org/W4281558578","https://openalex.org/W1985308002","https://openalex.org/W2056896932","https://openalex.org/W1977171228","https://openalex.org/W2121963733","https://openalex.org/W2170504327","https://openalex.org/W2059422871"],"abstract_inverted_index":{"Approximate":[0],"logic":[1,7,66],"synthesis":[2,41,67,85],"generates":[3],"inexact":[4],"implementations":[5],"of":[6,26,93,132],"functions":[8],"in":[9],"exchange":[10],"for":[11],"better":[12],"design":[13],"qualities":[14],"such":[15],"as":[16,43,45],"area,":[17],"timing":[18,123],"and":[19,74,122],"power":[20],"consumption.":[21],"However,":[22],"the":[23,27,39,46,84,91,94,126,136],"error":[24,31,34,108],"behavior":[25],"approximate":[28,55,65,102],"circuits":[29],"(e.g.,":[30],"rate":[32],"or":[33],"magnitude)":[35],"depends":[36],"heavily":[37],"on":[38],"specific":[40],"technique":[42],"well":[44],"input":[47],"vectors,":[48],"hindering":[49],"end":[50],"users":[51],"from":[52,71,135],"confidently":[53],"adopting":[54],"designs.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60],"propose":[61],"a":[62,78,111],"statistically":[63],"certified":[64],"framework":[68,88],"using":[69,97],"techniques":[70],"stochastic":[72],"optimization,":[73],"integrate":[75],"it":[76],"into":[77],"state-of-the-art":[79],"parallelized":[80],"technology":[81],"mapper.":[82],"During":[83],"process,":[86],"our":[87],"continuously":[89],"monitors":[90],"quality":[92],"generated":[95],"designs":[96,103],"statistical":[98],"testing,":[99],"leading":[100],"to":[101,106,119],"that":[104],"adhere":[105],"user-specified":[107],"constraints":[109],"with":[110,129],"high":[112],"confidence":[113],"level.":[114],"Experimental":[115],"results":[116],"demonstrate":[117],"up":[118],"10x":[120],"area":[121],"improvements":[124],"over":[125],"exact":[127,137],"counterparts":[128],"an":[130],"average":[131],"0.2%":[133],"deviation":[134],"outputs.":[138]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}