{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:01Z","timestamp":1740132001196,"version":"3.37.3"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T00:00:00Z","timestamp":1427846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology of Taiwan","doi-asserted-by":"crossref","award":["MOST 103-2221-E-007-125-MY3","MOST 103-2221-E-155-069"],"award-info":[{"award-number":["MOST 103-2221-E-007-125-MY3","MOST 103-2221-E-155-069"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001868","name":"National Sciene Council of Taiwan","doi-asserted-by":"crossref","award":["NSC 102-2221-E-007-140-MY3","NSC 102-2221-E-155-087","NSC 101-2221-E-155-077","NSC 101-2628-E-007-005","NSC 100-2628-E-007-031-MY3"],"award-info":[{"award-number":["NSC 102-2221-E-007-140-MY3","NSC 102-2221-E-155-087","NSC 101-2221-E-155-077","NSC 101-2628-E-007-005","NSC 100-2628-E-007-031-MY3"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100005057","name":"National Tsing Hua University","doi-asserted-by":"publisher","award":["NTHU 102N2726E1"],"award-info":[{"award-number":["NTHU 102N2726E1"]}],"id":[{"id":"10.13039\/501100005057","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/tcad.2015.2394378","type":"journal-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T15:11:48Z","timestamp":1421853108000},"page":"615-628","source":"Crossref","is-referenced-by-count":2,"title":["Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits"],"prefix":"10.1109","volume":"34","author":[{"family":"Ching-Yi Huang","sequence":"first","affiliation":[]},{"family":"Zheng-Shan Yu","sequence":"additional","affiliation":[]},{"family":"Yung-Chun Hu","sequence":"additional","affiliation":[]},{"family":"Tung-Chen Tsou","sequence":"additional","affiliation":[]},{"family":"Chun-Yao Wang","sequence":"additional","affiliation":[]},{"family":"Yung-Chih Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Synopsys HSPICE","year":"2013","key":"ref39"},{"journal-title":"Synopsys Design Compiler","year":"2013","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.280"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref31","first-page":"144","article-title":"On the calculation of the inverse of the error function, mathematics of computation","volume":"22","author":"strecok","year":"1968","journal-title":"Math Comput"},{"key":"ref30","first-page":"1","article-title":"A new circuit simplification method for error tolerant applications","author":"shin","year":"2011","journal-title":"Proc Design Autom Test Eur Conf Exhibition (DATE)"},{"journal-title":"Intel","year":"2013","key":"ref37"},{"journal-title":"IWLS 2005 Benchmarks","year":"2013","key":"ref36"},{"journal-title":"Predictive Technology Model","year":"2013","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224295"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.822627"},{"journal-title":"Synopsys Liberty NCX","year":"2013","key":"ref40"},{"key":"ref11","first-page":"402","article-title":"Ultra low-energy computing via probabilistic algorithms and devices: CMOS device primitives and the energy-probability relationship","author":"cheemalavagu","year":"2004","journal-title":"Proc Int Conf Solid State Devices Mater"},{"key":"ref12","first-page":"452","article-title":"A probabilistic CMOS switch and its realization by exploiting noise","author":"cheemalavagu","year":"2005","journal-title":"Proc 14th Int Conf Very Large Scale Integr Syst Chip (VLSI-SoC)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2012530"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479737"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100016595"},{"key":"ref16","first-page":"158","article-title":"Probabilistic arithmetic and energy efficient embedded signal processing","author":"george","year":"2006","journal-title":"Proc Int Conf Compilers Architect Syn Embedded Syst"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1979.1084687"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED.2011.5993675"},{"first-page":"design 5","article-title":"International technology roadmap for semiconductors 2007 edition","year":"2007","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465789"},{"key":"ref4","first-page":"221","article-title":"On testability of combinational networks","author":"brglez","year":"1984","journal-title":"Proc Int Symp Circuits Syst"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691202"},{"journal-title":"Pattern Recognition and Machine Learning","year":"2006","author":"bishop","key":"ref3"},{"article-title":"A probabilistic Boolean logic and its meaning","year":"2008","author":"chakrapani","key":"ref6"},{"journal-title":"Low-Power CMOS Circuits Technology Logic Design and CAD Tools","year":"2006","author":"piguet","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243978"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-74909-9_7"},{"article-title":"Probabilistic Boolean logic, arithmetic and architectures","year":"2008","author":"chakrapani","key":"ref7"},{"journal-title":"Monte Carlo Methods in Statistical Physics","year":"1988","author":"binder","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450124"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2010.969.978"},{"journal-title":"Continuous Univariate Distributions","year":"1995","author":"johnson","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0263-4"},{"journal-title":"Low Power Methodology Manual For System-on-Chip Design","year":"2007","author":"keating","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1297666.1297674"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1143\/JJAP.45.3307"},{"journal-title":"Probability and statistics for engineers","year":"1990","author":"miller","key":"ref26"},{"journal-title":"Introduction to Mathematical Statistics","year":"2012","author":"hogg","key":"ref25"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/7061937\/07017545.pdf?arnumber=7017545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:50:54Z","timestamp":1641988254000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7017545\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":40,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2015.2394378","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2015,4]]}}}