{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T15:42:16Z","timestamp":1769182936192,"version":"3.49.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T00:00:00Z","timestamp":1618531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T00:00:00Z","timestamp":1618531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61432017"],"award-info":[{"award-number":["61432017"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772199"],"award-info":[{"award-number":["61772199"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61974105"],"award-info":[{"award-number":["61974105"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["CCF Trans. HPC"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s42514-020-00058-1","type":"journal-article","created":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T08:07:26Z","timestamp":1618560446000},"page":"201-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Probability gate model based methods for approximate arithmetic circuits reliability estimation"],"prefix":"10.1007","volume":"3","author":[{"given":"Jianhui","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0019-8240","authenticated-orcid":false,"given":"Zhen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,16]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"Almurib, H.A.F., Kumar, T.N., Lombardi, F.: Inexact designs for approximate low power addition by cell replacement. In: Design, Automation and Test in Europe Conference and Exhibition. IEEE, pp. 660\u2013665 (2016)","DOI":"10.3850\/9783981537079_0042"},{"issue":"6","key":"58_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MM.2005.110","volume":"25","author":"S Borkar","year":"2005","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. IEEE Micro 25(6), 10\u201316 (2005)","journal-title":"IEEE Micro"},{"key":"58_CR3","unstructured":"Breuer, M.A.: Intelligible test techniques to support error-tolerance. In: 13th IEEE Asian Test Symposium. IEEE, pp. 386\u2013393 (2004)"},{"key":"58_CR4","unstructured":"Breuer, M.A.: Multi-media applications and imprecise computation. In: 8th Euromicro Conference on Digital System Design. IEEE, pp. 2\u20137 (2005)"},{"key":"58_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.vlsi.2015.02.005","volume":"50","author":"C Chen","year":"2015","unstructured":"Chen, C., Xiao, R.: A fast model for analysis and improvement of gate-level circuit reliability. Integration 50, 107\u2013115 (2015)","journal-title":"Integration"},{"issue":"5","key":"58_CR6","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1109\/JPROC.2008.917729","volume":"96","author":"YK Chen","year":"2008","unstructured":"Chen, Y.K., Chhugani, J., Dubey, P., Hughes, C.J., Kim, D., Kumar, S., Lee, V.W., Nguyen, A.D., Smelyanskiy, M.: Convergence of recognition, mining, and synthesis workloads and its implications. Proc. IEEE 96(5), 790\u2013807 (2008)","journal-title":"Proc. IEEE"},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"Chen, L., Han, J., Liu, W., Lombardi, F.: Design of approximate unsigned integer non-restoring divider for inexact computing. In: 25th ACM Great Lakes Symposium on VLSI. ACM, pp, 51\u201356 (2015)","DOI":"10.1145\/2742060.2742063"},{"issue":"8","key":"58_CR8","doi-asserted-by":"publisher","first-page":"2522","DOI":"10.1109\/TC.2015.2494005","volume":"65","author":"L Chen","year":"2016","unstructured":"Chen, L., Han, J., Liu, W., Lombardi, F.: On the design of approximate restoring dividers for error-tolerant applications. IEEE Trans. Comput. 65(8), 2522\u20132533 (2016)","journal-title":"IEEE Trans. Comput."},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Chippa, V.K., Chakradhar, S.T., Roy, K., Raghunathan, A.: Analysis and characterization of inherent application resilience for approximate computing. In: 50th ACM\/EDAC\/IEEE Design Automation Conference. IEEE, pp. 1\u20139 (2013)","DOI":"10.1145\/2463209.2488873"},{"key":"58_CR10","unstructured":"Chong, I.S., Ortega, A.: Hardware testing for error tolerant multimedia compression based on linear transforms. In: 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE, pp. 523\u2013531 (2005)"},{"issue":"3","key":"58_CR11","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/TC.2018.2871096","volume":"68","author":"S Dutt","year":"2019","unstructured":"Dutt, S., Dash, S., Nandi, S., Trivedi, G.: Analysis, modeling and optimization of equal segment based approximate adders. Trans. Comput. 68(3), 314\u2013330 (2019)","journal-title":"Trans. Comput."},{"key":"58_CR12","doi-asserted-by":"crossref","unstructured":"Gupta, V., Mohapatra, D., Park, S.P., Raghunathan, A., Roy, K.: IMPACT: IMPrecise adders for low-power approximate computing. In: ACM\/IEEE International Symposium on Low Power Electronics and Design. IEEE, pp. 409\u2013414 (2011)","DOI":"10.1109\/ISLPED.2011.5993675"},{"issue":"2","key":"58_CR13","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1016\/j.microrel.2010.07.154","volume":"51","author":"J Han","year":"2011","unstructured":"Han, J., Chen, H., Boykin, E., Fortes, J.: Reliability evaluation of logic circuits using probabilistic gate models. Microelectron. Reliab. 51(2), 468\u2013476 (2011)","journal-title":"Microelectron. Reliab."},{"issue":"6","key":"58_CR14","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1109\/TC.2012.276","volume":"63","author":"J Han","year":"2014","unstructured":"Han, J., Chen, H., Liang, J., Zhu, P., Yang, Z., Lombardi, F.: A stochastic computational approach for accurate and efficient reliability evaluation. IEEE Trans. Comput. 63(6), 1336\u20131350 (2014)","journal-title":"IEEE Trans. Comput."},{"key":"58_CR15","doi-asserted-by":"crossref","unstructured":"He, X., Yan, G., Sun, F., Han, Y., Li, X.: ApproxEye: Enabling approximate computation reuse for microrobotic computer vision. In: 22nd Asia and South Pacific Design Automation Conference, IEEE, pp. 402\u2013407 (2017)","DOI":"10.1109\/ASPDAC.2017.7858356"},{"key":"58_CR16","doi-asserted-by":"crossref","unstructured":"Jiang, H., Han, J., Lombardi, F.: A comparative review and evaluation of approximate adders. In: 25th ACM reat Lakes Symposium on VLSI. ACM, pp. 343\u2013348 (2015).","DOI":"10.1145\/2742060.2743760"},{"key":"58_CR17","doi-asserted-by":"crossref","unstructured":"Jiang, J., Lu, G., Wang, Z.: Methods for approximate adders reliability estimation based on PTM model. In: IEEE 23rd Pacific Rim International Symposium on Dependable Computing. IEEE, pp. 221\u2013222 (2018)","DOI":"10.1109\/PRDC.2018.00038"},{"key":"58_CR18","volume-title":"Approximate circuits","author":"H Jiang","year":"2019","unstructured":"Jiang, H., Liu, L., Lombardi, F., Han, J.: Approximate arithmetic circuits: design and evaluation. In: Reda, S., Shafique, M. (eds.) Approximate circuits. Springer, Cham (2019)"},{"key":"58_CR19","unstructured":"Krishnaswamy, S., Viamontes, G.F., Markov, I.L., Hayes, J.P.: Accurate reliability evaluation and enhancement via probabilistic transfer matrices. In: Design, Automation and Test in Europe Conference and Exhibition. IEEE, pp. 282\u2013287 (2005)"},{"key":"58_CR20","doi-asserted-by":"crossref","unstructured":"Kulkarni, P., Gupta, P., Ercegovac, M.: Trading accuracy for power with an underdesigned multiplier architecture. In: IEEE 24th International Conference on VLSI Design. IEEE, pp. 346\u2013351 (2011)","DOI":"10.1109\/VLSID.2011.51"},{"key":"58_CR21","unstructured":"Kyaw, K.Y., Goh, W.L., Yeo, K.S.: Low-power high-speed multiplier for error-tolerant application. In: IEEE International Conference on Electron Devices and Solid-State Circuits. IEEE, pp. 1\u20134 (2010)"},{"issue":"3","key":"58_CR22","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1109\/TVLSI.2017.2767858","volume":"26","author":"V Leon","year":"2018","unstructured":"Leon, V., Zervakis, G., Soudris, D., Pekmestzi, K.: Approximate hybrid high radix encoding for energy-efficient inexact multipliers. IEEE Trans Very Large Scale Integr (VLSI) Syst 26(3), 421\u2013430 (2018)","journal-title":"IEEE Trans Very Large Scale Integr (VLSI) Syst"},{"issue":"9","key":"58_CR23","doi-asserted-by":"publisher","first-page":"1760","DOI":"10.1109\/TC.2012.146","volume":"62","author":"J Liang","year":"2013","unstructured":"Liang, J., Han, J., Lombardi, F.: New metrics for the reliability of approximate and probabilistic adders. IEEE Trans. Comput. 62(9), 1760\u20131771 (2013)","journal-title":"IEEE Trans. Comput."},{"key":"58_CR24","doi-asserted-by":"crossref","unstructured":"Lin, C.H., Lin, C.: High accuracy approximate multiplier with error correction. In: IEEE International Conference on Computer Design. IEEE, pp. 33\u201338 (2013)","DOI":"10.1109\/ICCD.2013.6657022"},{"issue":"5","key":"58_CR25","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1109\/TC.2014.2317180","volume":"64","author":"C Liu","year":"2015","unstructured":"Liu, C., Han, J., Lombardi, F.: An analytical framework for evaluating the error characteristics of approximate adders. IEEE Trans. Comput. 64(5), 1268\u20131281 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"58_CR26","unstructured":"Lu, G.: Research on approximate circuit reliability evaluation methods based on probabilistic transfer matrix. Master Thesis, Tongji University (2019). (in Chinese)"},{"issue":"3","key":"58_CR27","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/TC.2016.2605382","volume":"66","author":"S Mazahir","year":"2017","unstructured":"Mazahir, S., Hasan, O., Hafiz, R., Shafique, M., Henkel, J.: Probabilistic error modeling for approximate adders. IEEE Trans. Comput. 66(3), 515\u2013530 (2017)","journal-title":"IEEE Trans. Comput."},{"key":"58_CR28","doi-asserted-by":"crossref","unstructured":"Mohapatra, D., Chippa, V.K., Raghunathan, A., Roy, K.: Design of voltage-scalable meta-functions for approximate computing. In: Design, Automation and Test in Europe Conference and Exhibition. IEEE, pp. 1\u20136 (2011)","DOI":"10.1109\/DATE.2011.5763154"},{"key":"58_CR29","doi-asserted-by":"crossref","unstructured":"Mohyuddin, N., Pakbaznia, E., Pedram, M.: Probabilistic error propagation in logic circuits using the Boolean difference calculus. In: IEEE International Conference on Computer Design. IEEE, pp. 7\u201313 (2008)","DOI":"10.1109\/ICCD.2008.4751833"},{"key":"58_CR30","doi-asserted-by":"crossref","unstructured":"Mrazek, V., Hrbacek, R., Vasicek, Z., Sekanina, L.: \"EvoApprox8b: Library of approximate adders and multipliers for circuit design and benchmarking of approximate methods. In: Design, Automation and Test in Europe Conference and Exhibition. IEEE, pp. 258\u2013261 (2017)","DOI":"10.23919\/DATE.2017.7926993"},{"issue":"1","key":"58_CR31","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/LES.2017.2754446","volume":"10","author":"I Polian","year":"2018","unstructured":"Polian, I.: Test and reliability challenges for approximate circuitry. IEEE Embed. Syst. Lett. 10(1), 26\u201329 (2018)","journal-title":"IEEE Embed. Syst. Lett."},{"key":"58_CR32","first-page":"163","volume-title":"Probability and Statistics","author":"Z Sheng","year":"2008","unstructured":"Sheng, Z., Xie, S., Pan, C.: Probability and Statistics, pp. 163\u2013167. Higher Education Press, Beijing (2008). (in Chinese)"},{"key":"58_CR33","doi-asserted-by":"crossref","unstructured":"Venkatesan, R., Agarwal, A., Roy, K., Raghunathan, A.: MACACO: Modeling and analysis of circuits for approximate computing. In: IEEE\/ACM International Conference on Computer-Aided Design. IEEE, pp. 667\u2013673 (2011)","DOI":"10.1109\/ICCAD.2011.6105401"},{"key":"58_CR34","doi-asserted-by":"crossref","unstructured":"Verma, A. K., Brisk, P., Ienne, P.: Variable latency speculative addition: a new paradigm for arithmetic circuit design. In: Design, Automation and Test in Europe Conference & Exhibition. IEEE, pp. 1250\u20131255 (2008)","DOI":"10.1109\/DATE.2008.4484850"},{"issue":"5","key":"58_CR35","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.vlsi.2019.05.008","volume":"68","author":"Z Wang","year":"2019","unstructured":"Wang, Z., Jiang, J., Wang, T.: Failure probability analysis and critical node determination for approximate circuits. Integr. VLSI J. 68(5), 122\u2013128 (2019a)","journal-title":"Integr. VLSI J."},{"key":"58_CR36","doi-asserted-by":"crossref","unstructured":"Wang, T., Jiang, J., Wang, Z.: Reliability estimation of approximate circuits based on probabilistic gate model. In: IEEE 24th Pacific Rim International Symposium on Dependable Computing. IEEE, pp. 55\u201356 (2019b)","DOI":"10.1109\/PRDC47002.2019.00023"},{"key":"58_CR37","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.mejo.2016.03.013","volume":"52","author":"J Xiao","year":"2016","unstructured":"Xiao, J., Lee, W., Jiang, J., Yang, X.: Circuit reliability estimation based on an iterative PTM model with hybrid coding. Microelectron. J. 52, 117\u2013123 (2016)","journal-title":"Microelectron. J."},{"issue":"1","key":"58_CR38","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDAT.2015.2505723","volume":"33","author":"Q Xu","year":"2016","unstructured":"Xu, Q., Mytkowicz, T., Kim, N.S.: Approximate computing: a survey. IEEE Des. Test Comput. 33(1), 8\u201322 (2016)","journal-title":"IEEE Des. Test Comput."},{"key":"58_CR39","doi-asserted-by":"crossref","unstructured":"Yang, Z., Jain, A., Liang, J., Han, J., Lombardi, F.: Approximate XOR\/XNOR-based adders for inexact computing. In: IEEE 13th International Conference on Nanotechnology. IEEE, pp. 690\u2013693 (2013)","DOI":"10.1109\/NANO.2013.6720793"},{"key":"58_CR40","doi-asserted-by":"crossref","unstructured":"Ye, R., Wang, T., Yuan, F., Kumar, R., Xu, Q.: On reconfiguration-oriented approximate adder design and its application. In: IEEE\/ACM International Conference on Computer-aided Design. IEEE, pp. 48\u201354 (2013)","DOI":"10.1109\/ICCAD.2013.6691096"},{"key":"58_CR41","doi-asserted-by":"crossref","unstructured":"Zhu, N., Goh, W.L., Yeo, K.S.: An enhanced low-power high-speed adder for error-tolerant application. In: 12th International Symposium on Integrated Circuits. IEEE, pp. 69\u201372 (2009)","DOI":"10.1109\/SOCDC.2010.5682905"}],"container-title":["CCF Transactions on High Performance Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42514-020-00058-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42514-020-00058-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42514-020-00058-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T14:05:49Z","timestamp":1724853949000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42514-020-00058-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,16]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["58"],"URL":"https:\/\/doi.org\/10.1007\/s42514-020-00058-1","relation":{},"ISSN":["2524-4922","2524-4930"],"issn-type":[{"value":"2524-4922","type":"print"},{"value":"2524-4930","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,16]]},"assertion":[{"value":"17 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}