{"id":"https://openalex.org/W2182762928","doi":"https://doi.org/10.1145/2794079","title":"Complementary Synthesis for Encoder with Flow Control Mechanism","display_name":"Complementary Synthesis for Encoder with Flow Control Mechanism","publication_year":2015,"publication_date":"2015-12-02","ids":{"openalex":"https://openalex.org/W2182762928","doi":"https://doi.org/10.1145/2794079","mag":"2182762928"},"language":"en","primary_location":{"id":"doi:10.1145/2794079","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2794079","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2794079?download=true","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2794079?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101488080","display_name":"Ying Qin","orcid":"https://orcid.org/0000-0002-1177-3688"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ying Qin","raw_affiliation_strings":["National University of Defense Technology"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102867019","display_name":"Shengyu Shen","orcid":"https://orcid.org/0009-0006-6756-5825"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengyu Shen","raw_affiliation_strings":["National University of Defense Technology"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075737786","display_name":"Qingbo Wu","orcid":"https://orcid.org/0000-0003-2936-6340"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingbo Wu","raw_affiliation_strings":["National University of Defense Technology"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112124785","display_name":"Huadong Dai","orcid":"https://orcid.org/0000-0002-9722-5454"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huadong Dai","raw_affiliation_strings":["National University of Defense Technology"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030424204","display_name":"Yan Jia","orcid":"https://orcid.org/0000-0001-8012-5097"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Jia","raw_affiliation_strings":["National University of Defense Technology"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101488080"],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09870466,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"1","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9966999888420105,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9966999888420105,"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/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9422000050544739,"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.8695324063301086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8157209753990173},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6335495114326477},{"id":"https://openalex.org/keywords/idle","display_name":"Idle","score":0.5379498600959778},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.5069975852966309},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37494826316833496}],"concepts":[{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.8695324063301086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8157209753990173},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6335495114326477},{"id":"https://openalex.org/C16320812","wikidata":"https://www.wikidata.org/wiki/Q1812200","display_name":"Idle","level":2,"score":0.5379498600959778},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.5069975852966309},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37494826316833496},{"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.1145/2794079","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2794079","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2794079?download=true","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2794079","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2794079","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2794079?download=true","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2646651983","display_name":null,"funder_award_id":"61133007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4020255992","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G598428788","display_name":null,"funder_award_id":"4345135127","funder_id":"https://openalex.org/F4320334924","funder_display_name":"Program for New Century Excellent Talents in University"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7608752429","display_name":null,"funder_award_id":"Talent","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8060407669","display_name":null,"funder_award_id":"61070132 and 61133007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324150","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11"},{"id":"https://openalex.org/F4320334924","display_name":"Program for New Century Excellent Talents in University","ror":"https://ror.org/01mv9t934"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2182762928.pdf","grobid_xml":"https://content.openalex.org/works/W2182762928.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1412780727","https://openalex.org/W1509349764","https://openalex.org/W1510368738","https://openalex.org/W1516564968","https://openalex.org/W1518705996","https://openalex.org/W1523041988","https://openalex.org/W1578592046","https://openalex.org/W1718751536","https://openalex.org/W1820309519","https://openalex.org/W1965389902","https://openalex.org/W2056021806","https://openalex.org/W2065869683","https://openalex.org/W2076025447","https://openalex.org/W2094199874","https://openalex.org/W2097023195","https://openalex.org/W2098244894","https://openalex.org/W2099429154","https://openalex.org/W2109259936","https://openalex.org/W2112433664","https://openalex.org/W2118791871","https://openalex.org/W2119949815","https://openalex.org/W2131146089","https://openalex.org/W2150913305","https://openalex.org/W2151398141","https://openalex.org/W2913026635","https://openalex.org/W3140694517","https://openalex.org/W4214626551","https://openalex.org/W4243125208"],"related_works":["https://openalex.org/W2974485871","https://openalex.org/W1577119738","https://openalex.org/W2908872315","https://openalex.org/W1600399803","https://openalex.org/W4235210722","https://openalex.org/W4388633481","https://openalex.org/W2994960476","https://openalex.org/W2049601620","https://openalex.org/W2070778588","https://openalex.org/W2392726230"],"abstract_inverted_index":{"Complementary":[0],"synthesis":[1,103],"automatically":[2],"generates":[3],"an":[4],"encoder's":[5,12,82],"decoder":[6,87],"with":[7,171],"the":[8,11,29,34,61,81,86,98,114,167,188,193,197],"assumption":[9,99],"that":[10,43,73,132,154,181],"all":[13,101,129,156],"input":[14,83,107,130,158],"variables":[15,108,131,153,159],"can":[16,74,133,184],"always":[17,185],"be":[18,58,110,134,161],"uniquely":[19,76,111,135,162],"determined":[20,112],"by":[21,60,113],"its":[22],"output":[23,51],"symbol":[24,52],"sequence.":[25],"However,":[26],"to":[27,57,122,160],"prevent":[28],"faster":[30],"encoder":[31],"from":[32],"overwhelming":[33],"slower":[35],"decoder,":[36],"many":[37],"encoders":[38,179],"employ":[39],"flow":[40,141,151,189],"control":[41,142,152,190],"mechanism":[42,96],"fails":[44,97],"this":[45,182],"assumption.":[46],"Such":[47],"encoders,":[48],"when":[49],"their":[50],"sequences":[53],"are":[54],"too":[55],"fast":[56],"processed":[59],"decoders,":[62],"will":[63],"stop":[64],"transmitting":[65,70],"data":[66],"symbols,":[67],"but":[68],"instead":[69],"idle":[71,93,115],"symbols":[72],"only":[75],"determine":[77],"a":[78,147],"subset":[79],"of":[80,100],"variables.":[84,143],"And":[85],"should":[88],"recognize":[89],"and":[90,137,195],"discard":[91],"these":[92,150],"symbols.":[94],"This":[95],"complementary":[102],"algorithms,":[104],"because":[105],"some":[106],"can't":[109],"symbol.":[116],"A":[117],"novel":[118],"algorithm":[119,183],"is":[120],"proposed":[121],"handle":[123],"such":[124],"encoders.":[125],"First,":[126],"it":[127,145,165],"identifies":[128],"determined,":[136],"takes":[138],"them":[139],"as":[140],"Second,":[144],"infers":[146],"predicate":[148],"over":[149],"enables":[155],"other":[157],"determined.":[163],"Third,":[164],"characterizes":[166],"decoder's":[168,198],"Boolean":[169,199],"function":[170],"Craig":[172],"interpolant.":[173],"Experimental":[174],"results":[175],"on":[176],"several":[177],"complex":[178],"indicate":[180],"correctly":[186],"identify":[187],"variables,":[191],"infer":[192],"predicates":[194],"generate":[196],"functions.":[200]},"counts_by_year":[],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}