{"id":"https://openalex.org/W2000663326","doi":"https://doi.org/10.1109/tcad.2015.2394378","title":"Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits","display_name":"Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits","publication_year":2015,"publication_date":"2015-01-21","ids":{"openalex":"https://openalex.org/W2000663326","doi":"https://doi.org/10.1109/tcad.2015.2394378","mag":"2000663326"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2015.2394378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2015.2394378","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5113638160","display_name":"Ching-Yi Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Ching-Yi Huang","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063027817","display_name":"Zhaosheng Yu","orcid":"https://orcid.org/0000-0001-8999-407X"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Zheng-Shan Yu","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708744","display_name":"Yuan Hu","orcid":"https://orcid.org/0000-0001-6870-183X"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yung-Chun Hu","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024090546","display_name":"Tung-Chen Tsou","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Tung-Chen Tsou","raw_affiliation_strings":["Institute of Statistics, National Tsing Hua University, Hsinchu, Taiwan","Institute of Statistics, National Tsing\u2010Hua University Hsinchu Taiwan"],"affiliations":[{"raw_affiliation_string":"Institute of Statistics, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Institute of Statistics, National Tsing\u2010Hua University Hsinchu Taiwan","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014406956","display_name":"Chunyao Wang","orcid":"https://orcid.org/0000-0001-8393-5490"},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chun-Yao Wang","raw_affiliation_strings":["Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I25846049"]},{"raw_affiliation_string":"Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan#TAB#","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101882689","display_name":"Yung\u2010Chih Chen","orcid":"https://orcid.org/0000-0002-3934-800X"},"institutions":[{"id":"https://openalex.org/I99908691","display_name":"Yuan Ze University","ror":"https://ror.org/01fv1ds98","country_code":"TW","type":"education","lineage":["https://openalex.org/I99908691"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yung-Chih Chen","raw_affiliation_strings":["Department of Computer Science and Engineering, Yuan Ze University, Chungli, Taiwan","Dept. of Comput. Sci. & Eng., Yuan Ze Univ., Chungli, Taiwan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Yuan Ze University, Chungli, Taiwan","institution_ids":["https://openalex.org/I99908691"]},{"raw_affiliation_string":"Dept. of Comput. Sci. & Eng., Yuan Ze Univ., Chungli, Taiwan","institution_ids":["https://openalex.org/I99908691"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5113638160"],"corresponding_institution_ids":["https://openalex.org/I25846049"],"apc_list":null,"apc_paid":null,"fwci":0.1973,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57692948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"34","issue":"4","first_page":"615","last_page":"628"},"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":0.9998999834060669,"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":0.9998999834060669,"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.9991999864578247,"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.9983999729156494,"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/correctness","display_name":"Correctness","score":0.9716712236404419},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7227097749710083},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6879136562347412},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.526685357093811},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.488757848739624},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.42551523447036743},{"id":"https://openalex.org/keywords/power-optimization","display_name":"Power optimization","score":0.42060983180999756},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.4195285737514496},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4152262508869171},{"id":"https://openalex.org/keywords/power-consumption","display_name":"Power consumption","score":0.3570248484611511},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09451320767402649},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07768857479095459}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9716712236404419},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7227097749710083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6879136562347412},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.526685357093811},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.488757848739624},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.42551523447036743},{"id":"https://openalex.org/C168292644","wikidata":"https://www.wikidata.org/wiki/Q10860336","display_name":"Power optimization","level":4,"score":0.42060983180999756},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.4195285737514496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4152262508869171},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.3570248484611511},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09451320767402649},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07768857479095459},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2015.2394378","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2015.2394378","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.800000011920929}],"awards":[{"id":"https://openalex.org/G1396772846","display_name":null,"funder_award_id":"NSC 102-2221-E-007-140-MY3","funder_id":"https://openalex.org/F4320321040","funder_display_name":"National Science Council"},{"id":"https://openalex.org/G2307706912","display_name":null,"funder_award_id":"NSC 102-2221-E-155-087","funder_id":"https://openalex.org/F4320321040","funder_display_name":"National Science Council"},{"id":"https://openalex.org/G242490884","display_name":null,"funder_award_id":"NTHU 102N2726E1","funder_id":"https://openalex.org/F4320323092","funder_display_name":"National Tsing Hua University"},{"id":"https://openalex.org/G2732670058","display_name":null,"funder_award_id":"NSC 100-2628-E-007-031-MY3","funder_id":"https://openalex.org/F4320321040","funder_display_name":"National Science Council"},{"id":"https://openalex.org/G543576983","display_name":null,"funder_award_id":"MOST 103-2221-E-155-069","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"},{"id":"https://openalex.org/G6401067954","display_name":null,"funder_award_id":"MOST 103-2221-E-007-125-MY3","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"},{"id":"https://openalex.org/G7217242269","display_name":null,"funder_award_id":"NSC 101-2628-E-007-005","funder_id":"https://openalex.org/F4320321040","funder_display_name":"National Science Council"},{"id":"https://openalex.org/G7269567912","display_name":null,"funder_award_id":"NSC 101-2221-E-155-077","funder_id":"https://openalex.org/F4320321040","funder_display_name":"National Science Council"}],"funders":[{"id":"https://openalex.org/F4320321040","display_name":"National Science Council","ror":"https://ror.org/02kv4zf79"},{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"},{"id":"https://openalex.org/F4320323092","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W66292180","https://openalex.org/W77180664","https://openalex.org/W588799346","https://openalex.org/W1516830965","https://openalex.org/W1566902365","https://openalex.org/W1582019256","https://openalex.org/W1587006120","https://openalex.org/W1601795611","https://openalex.org/W1663973292","https://openalex.org/W1666636243","https://openalex.org/W1856915098","https://openalex.org/W1982780415","https://openalex.org/W1987400084","https://openalex.org/W1991567646","https://openalex.org/W1996431812","https://openalex.org/W2035974948","https://openalex.org/W2072122809","https://openalex.org/W2075428957","https://openalex.org/W2082738287","https://openalex.org/W2100098458","https://openalex.org/W2104578404","https://openalex.org/W2112767336","https://openalex.org/W2125391037","https://openalex.org/W2136678847","https://openalex.org/W2139875503","https://openalex.org/W2143674663","https://openalex.org/W2144242878","https://openalex.org/W2149870396","https://openalex.org/W2151503471","https://openalex.org/W2151869166","https://openalex.org/W2151980349","https://openalex.org/W2152535248","https://openalex.org/W2153848924","https://openalex.org/W2162256736","https://openalex.org/W2169399708","https://openalex.org/W2327245603","https://openalex.org/W3141620748","https://openalex.org/W4231091214","https://openalex.org/W4235991875","https://openalex.org/W6603062385","https://openalex.org/W6638964787","https://openalex.org/W6682367464","https://openalex.org/W6682747685","https://openalex.org/W7042857604"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1875930651"],"abstract_inverted_index":{"Traditionally,":[0],"we":[1,77,90,99],"expect":[2],"that":[3,118,130],"circuit":[4],"designs":[5],"can":[6,33],"be":[7,34],"executed":[8],"without":[9],"errors.":[10],"However,":[11,54],"for":[12,71,83,93,112],"error":[13],"resilient":[14],"applications":[15],"such":[16],"as":[17,107],"image":[18],"processing,":[19],"100%":[20,29],"correctness":[21,62,86,105,121,144],"is":[22,124],"not":[23],"necessary.":[24],"By":[25],"pursuing":[26],"less":[27],"than":[28],"correctness,":[30],"power":[31,51,65,94,109,132],"consumption":[32,52],"significantly":[35],"reduced.":[36],"Recently,":[37],"probabilistic":[38,41],"CMOS":[39],"and":[40,64,127,129,156],"Boolean":[42],"circuits":[43],"(PBCs)":[44],"have":[45,68],"been":[46,69],"proposed":[47,70,120],"to":[48,55],"deal":[49],"with":[50,103],"issue.":[53],"the":[56,85,104,119,131],"best":[57],"of":[58,87,96,137,146,151],"our":[59],"knowledge,":[60],"no":[61],"analysis":[63,106,122],"optimization":[66,95,110,133],"algorithms":[67],"PBCs.":[72,88,97,113],"Thus,":[73],"in":[74],"this":[75],"paper,":[76],"first":[78],"propose":[79,91],"a":[80,108,143,149],"statistical":[81],"approach":[82],"evaluating":[84],"Then,":[89],"strategies":[92,102],"Finally,":[98],"integrate":[100],"these":[101],"algorithm":[111,134],"The":[114],"experimental":[115],"results":[116],"show":[117],"method":[123],"highly":[125],"efficient":[126],"accurate,":[128],"saves":[135],"36%":[136],"total":[138],"power-delay-product":[139],"on":[140,148,154],"average":[141],"under":[142],"constraint":[145],"90%":[147],"set":[150],"International":[152],"Workshop":[153],"Logic":[155],"Synthesis":[157],"(IWLS)":[158],"2005":[159],"benchmarks.":[160]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}