{"id":"https://openalex.org/W3147608432","doi":"https://doi.org/10.1109/iccad.2011.6105359","title":"Towards completely automatic decoder synthesis","display_name":"Towards completely automatic decoder synthesis","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W3147608432","doi":"https://doi.org/10.1109/iccad.2011.6105359","mag":"3147608432"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2011.6105359","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105359","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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/A5068411968","display_name":"Hsiou-Yuan Liu","orcid":"https://orcid.org/0000-0003-0209-2036"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Hsiou-Yuan Liu","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084988582","display_name":"Yen-Cheng Chou","orcid":null},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yen-Cheng Chou","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101863881","display_name":"Chen-Hsuan Lin","orcid":"https://orcid.org/0000-0002-0097-7183"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chen-Hsuan Lin","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078604015","display_name":"Jie-Hong R. Jiang","orcid":"https://orcid.org/0000-0002-2279-4732"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jie-Hong R. Jiang","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan"],"affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5068411968"],"corresponding_institution_ids":["https://openalex.org/I16733864"],"apc_list":null,"apc_paid":null,"fwci":0.9853,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77953378,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"389","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9984999895095825,"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/encoder","display_name":"Encoder","score":0.8336847424507141},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8064001202583313},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.7836772203445435},{"id":"https://openalex.org/keywords/soft-decision-decoder","display_name":"Soft-decision decoder","score":0.7632441520690918},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7321740984916687},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6294839382171631},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6083264350891113},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45490795373916626},{"id":"https://openalex.org/keywords/interpolation","display_name":"Interpolation (computer graphics)","score":0.4531451165676117},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4118981957435608},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3208591341972351},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12756991386413574},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07980719208717346}],"concepts":[{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.8336847424507141},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8064001202583313},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.7836772203445435},{"id":"https://openalex.org/C185588885","wikidata":"https://www.wikidata.org/wiki/Q7553811","display_name":"Soft-decision decoder","level":3,"score":0.7632441520690918},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7321740984916687},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6294839382171631},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6083264350891113},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45490795373916626},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.4531451165676117},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4118981957435608},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3208591341972351},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12756991386413574},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07980719208717346},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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/iccad.2011.6105359","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105359","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.6499999761581421,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321040","display_name":"National Science Council","ror":"https://ror.org/02kv4zf79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1510368738","https://openalex.org/W1787074469","https://openalex.org/W1965389902","https://openalex.org/W1992546115","https://openalex.org/W2099718120","https://openalex.org/W2108578145","https://openalex.org/W2109259936","https://openalex.org/W2112433664","https://openalex.org/W2114633883","https://openalex.org/W4205318349","https://openalex.org/W4234572373","https://openalex.org/W4244734802","https://openalex.org/W6630511988","https://openalex.org/W6638020115","https://openalex.org/W6641528521"],"related_works":["https://openalex.org/W2356119241","https://openalex.org/W2182248074","https://openalex.org/W2019141945","https://openalex.org/W1950940422","https://openalex.org/W4283822356","https://openalex.org/W2129146436","https://openalex.org/W2032507829","https://openalex.org/W3167298930","https://openalex.org/W2361385741","https://openalex.org/W2374975461"],"abstract_inverted_index":{"Upon":[0],"receiving":[1],"the":[2,13,20,130],"output":[3],"sequence":[4,16],"streaming":[5],"from":[6],"a":[7,10,77,81,97],"sequential":[8],"encoder,":[9],"decoder":[11,43,78,91,104],"reconstructs":[12],"corresponding":[14],"input":[15],"that":[17,74],"streamed":[18],"to":[19,102],"encoder.":[21],"Such":[22],"an":[23,40],"encoding":[24],"and":[25,36,48,58,99,110],"decoding":[26],"scheme":[27],"is":[28,69],"commonly":[29],"encountered":[30],"in":[31],"communication,":[32],"cryptography,":[33],"signal":[34],"processing,":[35],"other":[37],"applications.":[38],"Given":[39],"encoder":[41,60],"specification,":[42],"design":[44],"can":[45],"be":[46],"error-prone":[47],"time":[49],"consuming.":[50],"Its":[51],"automation":[52],"may":[53,136],"help":[54],"designers":[55],"improve":[56],"productivity":[57],"justify":[59],"correctness.":[61],"Though":[62],"recent":[63],"advances":[64],"showed":[65],"promising":[66],"progress,":[67],"there":[68],"still":[70],"no":[71],"complete":[72,98],"method":[73,120,128],"decides":[75],"whether":[76],"exists":[79],"for":[80,88,116,124],"finite":[82],"state":[83],"transition":[84],"system.":[85],"The":[86],"quest":[87],"completely":[89],"automatic":[90],"synthesis":[92,105],"remains.":[93],"This":[94],"paper":[95],"presents":[96],"practical":[100],"approach":[101],"automating":[103],"via":[106],"incremental":[107],"SAT":[108],"solving":[109],"Craig":[111],"interpolation.":[112],"Experiments":[113],"show":[114],"that,":[115],"decoder-existent":[117],"cases,":[118,126],"our":[119,127],"synthesizes":[121],"decoders":[122],"effectively;":[123],"decoder-nonexistent":[125],"concludes":[129],"non-existence":[131],"instantly":[132],"while":[133],"prior":[134],"methods":[135],"fail.":[137]},"counts_by_year":[{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}