{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T06:55:24Z","timestamp":1781333724404,"version":"3.54.1"},"reference-count":35,"publisher":"Allerton Press","issue":"2","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.3103\/s0146411620020042","type":"journal-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T02:02:24Z","timestamp":1590372144000},"page":"89-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["The Synthesis Conditions of Completely Self-Testing Embedded-Control Circuits Based on the Boolean Complement Method to the \u201c1-out-of-m\u201d Constant-Weight Code"],"prefix":"10.3103","volume":"54","author":[{"given":"D. V.","family":"Efanov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V. V.","family":"Sapozhnikov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vl. V.","family":"Sapozhnikov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D. V.","family":"Pivovarov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1627","published-online":{"date-parts":[[2020,5,25]]},"reference":[{"key":"7229_CR1","unstructured":"Slabakov, E.V. and Sogomonyan, E.S., Self-checking computing devices and systems (overview), Avtom. Telemekh., 1981, no. 11, pp. 147\u2013167."},{"key":"7229_CR2","volume-title":"Logic Design Principles: With Emphasis on Testable Semicustom Circuits","author":"E.J. McCluskey","year":"1986","unstructured":"McCluskey, E.J., Logic Design Principles: With Emphasis on Testable Semicustom Circuits, Prentice Hall PTR, 1986."},{"key":"7229_CR3","volume-title":"Fault-Tolerant Computer System Design","author":"D.K. Pradhan","year":"1996","unstructured":"Pradhan, D.K., Fault-Tolerant Computer System Design, New York: Prentice Hall, 1996."},{"key":"7229_CR4","volume-title":"Self-Checking and Fault-Tolerant Digital Design","author":"P.K. Lala","year":"2001","unstructured":"Lala, P.K., Self-Checking and Fault-Tolerant Digital Design, San Francisco: Morgan Kaufmann Publishers, 2001."},{"key":"7229_CR5","volume-title":"V., and Efanov, D.V., Kody Khemminga v sistemakh funktsional\u2019nogo kontrolya logicheskikh ustroistv (Hamming Codes in Functional Control Systems of Logical Devices)","author":"V.V. Sapozhnikov","year":"2018","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Kody Khemminga v sistemakh funktsional\u2019nogo kontrolya logicheskikh ustroistv (Hamming Codes in Functional Control Systems of Logical Devices), St. Petersburg: Nauka, 2018."},{"key":"7229_CR6","unstructured":"Sogomonyan, E.S. and Slabakov, E.V., Samoproveryaemye ustroistva i otkazoustoichivye sistemy (Self-Checking Devices and Fault-Tolerant Systems), Moscow: Radioisvyaz, 1989."},{"key":"7229_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008244815697","volume":"12","author":"M. Nicolaidis","year":"1998","unstructured":"Nicolaidis, M. and Zorian, Y., On-line testing for VLSI\u2014a compendium of approaches, J. Electron. Test.: Theory Appl., 1998, vol. 12, nos. 1\u20132, pp. 7\u201320. https:\/\/doi.org\/10.1023\/A:1008244815697","journal-title":"J. Electron. Test.: Theory Appl."},{"key":"7229_CR8","doi-asserted-by":"publisher","unstructured":"Mitra, S. and McCluskey, E.J., Which concurrent error detection scheme to choose?, Proceedings of International Test Conference, 2000, Atlantic City, pp. 985\u2013994. https:\/\/doi.org\/10.1109\/TEST.2000.894311","DOI":"10.1109\/TEST.2000.894311"},{"key":"7229_CR9","first-page":"51","volume":"24","author":"V.V. Sapozhnikov","year":"2002","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., Dmitriev, A.V., Morozov, A.V., and Gessel\u2019, M., Organization of functional control of combinational circuits by the method of logical complementation, Elektron. Model., 2002, vol.\u00a024, no. 6, pp. 51\u201366.","journal-title":"Elektron. Model."},{"key":"7229_CR10","doi-asserted-by":"crossref","unstructured":"Saposhnikov, Vl.V., Dmitriev, A., Goessel, M., and Saposhnikov, V.V., Self-dual parity checking\u2014a new method for on line testing, Proceedings of 14th IEEE VLSI Test Symposium, Princeton, 1996, pp. 162\u2013168.","DOI":"10.1109\/VTEST.1996.510852"},{"key":"7229_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1021884727370","volume":"64","author":"M. Gessel","year":"2003","unstructured":"Gessel, M., Morozov, A.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Logic complement, a new method of checking the combinational circuits, Autom. Remote Control, 2003, vol. 64, pp. 153\u2013161.","journal-title":"Autom. Remote Control"},{"key":"7229_CR12","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1007\/s10513-005-0174-2","volume":"66","author":"M. Goessel","year":"2005","unstructured":"Goessel, M., Morozov, A.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Checking combinational circuits by the method of logic complement, Autom. Remote Control, 2005, vol. 66, pp. 1336\u20132005.","journal-title":"Autom. Remote Control"},{"key":"7229_CR13","unstructured":"G\u00f6essel, M., Ocheretny, V., Sogomonyan, E., and Marienfeld, D., New Methods of Concurrent Checking: Edition 1, Dordrecht: Springer Science+Business Media B.V., 2008."},{"key":"7229_CR14","unstructured":"Sen, S.K., A self-checking circuit for concurrent checking by 1-out-of-4 code with design optimization using constraint don\u2019t cares, National Conference on Emerging Trends and Advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim, 2010."},{"key":"7229_CR15","unstructured":"Das, D.K., Roy, S.S., Dmitiriev, A., Morozov, A., and G\u00f6essel, M., Constraint don\u2019t cares for optimizing designs for concurrent checking by 1-out-of-3 codes, Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, 2012, pp. 33\u201340."},{"key":"7229_CR16","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Construction of self-checking structures of functional control systems based on the constant-weight 2-out-of-4 code, Probl. Upr., 2017, no. 1, pp. 57\u201364."},{"key":"7229_CR17","volume-title":"Design of Self-Testing Checkers for Unidirectional Error Detecting Codes","author":"S.J. Piestrak","year":"1995","unstructured":"Piestrak, S.J., Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wroclaw: Oficyna Wydawnicza Politechniki Wroclavskiej, 1995."},{"key":"7229_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/S0019-9958(61)80037-5","volume":"4","author":"J.M. Berger","year":"1961","unstructured":"Berger, J.M., A note on error detection codes for asymmetric channels, Inf. Control, 1961, vol. 4, no. 1, pp. 68\u201373. https:\/\/doi.org\/10.1016\/S0019-9958(61)80037-5","journal-title":"Inf. Control"},{"key":"7229_CR19","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1008344603814","volume":"15","author":"D. Das","year":"1999","unstructured":"Das, D. and Touba, N.A., Synthesis of circuits with low-cost concurrent error detection based on Bose-Lin codes, J. Electron. Test.: Theory Appl., 1999, vol. 15, nos. 1\u20132, pp. 145\u2013155. https:\/\/doi.org\/10.1023\/A:1008344603814","journal-title":"J. Electron. Test.: Theory Appl."},{"key":"7229_CR20","doi-asserted-by":"publisher","unstructured":"Das, D., Touba, N.A., Seuring, M., and Gossel, M., Low cost concurrent error detection based on modulo weight-based codes, Proceedings of the IEEE 6th International On-Line Testing Workshop (IOLTW), Palma de Mallorca, 2000, pp. 171\u2013176. https:\/\/doi.org\/10.1109\/OLT.2000.856633","DOI":"10.1109\/OLT.2000.856633"},{"key":"7229_CR21","doi-asserted-by":"publisher","unstructured":"Efanov, D., Sapozhnikov, V., and Sapozhnikov, Vl., Generalized algorithm of building summation codes for the tasks of technical diagnostics of discrete systems, Proceedings of 15th IEEE East-West Design and Test Symposium (EWDTS\u20192017), Novi Sad, 2017, pp. 365\u2013371. https:\/\/doi.org\/10.1109\/EWDTS.2017.8110126","DOI":"10.1109\/EWDTS.2017.8110126"},{"key":"7229_CR22","volume-title":"Error Detecting Logic for Digital Computers","author":"F.F. Sellers","year":"1968","unstructured":"Sellers, F.F., Hsiao, M.-Y., and Bearnson, L.W., Error Detecting Logic for Digital Computers, New York: McGraw-Hill, 1968."},{"key":"7229_CR23","doi-asserted-by":"publisher","unstructured":"Stempkovskiy, A., Telpukhov, D., Gurov, S., Zhukova, T., and Demeneva, A., R-code for concurrent error detection and correction in the logic circuits, 2018 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), Moscow, 2018, pp. 1430\u20131433. https:\/\/doi.org\/10.1109\/EIConRus.2018.8317365","DOI":"10.1109\/EIConRus.2018.8317365"},{"key":"7229_CR24","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/T-C.1973.223705","volume":"C-33","author":"D.A. Anderson","year":"1973","unstructured":"Anderson, D.A. and Metze, G., Design on totally self-checking-check circuits for m-out-of-n codes, IEEE Trans. Comput., 1973, vol. C-33, no. 3, pp. 263\u2013269.","journal-title":"IEEE Trans. Comput."},{"key":"7229_CR25","unstructured":"Maznev, V.I., On the synthesis of self-testing 1\/p checkers, Avtom. Telemekh., 1978, no. 9, pp. 142\u2013145."},{"key":"7229_CR26","unstructured":"Carter, W. and Schneider, P., Design of dynamically checked computers, Proceedings of IFIP Congress 68, Edinburgh,\u00a01968, pp. 878\u2013883."},{"key":"7229_CR27","unstructured":"Parkhomenko, P.P. and Sogomonyan, E.S., Osnovy tekhnicheskoi diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnye sredstva) (Fundamentals of Technical Diagnostics (Optimization of Diagnostic Algorithms, Hardware), Moscow: Energoatomizdat, 1981."},{"key":"7229_CR28","doi-asserted-by":"publisher","first-page":"15","DOI":"10.15407\/emodel.39.02.015","volume":"39","author":"V.V. Sapozhnikov","year":"2017","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., Efanov, D.V., and Pivovarov, D.V., The Boolean complement method based on the constant-weight 1-out-of-4 code for constructing fully self-checking structures of functional control systems, Elektron. Model., 2017, vol. 39, no. 2, pp. 15\u201334.","journal-title":"Elektron. Model."},{"key":"7229_CR29","doi-asserted-by":"publisher","first-page":"481","DOI":"10.3103\/S014641161906004X","volume":"53","author":"D.V. Efanov","year":"2019","unstructured":"Efanov, D.V., Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Pivovarov, D.V., Synthesis of built-in self-test control circuits based on the method of Boolean complement to constant-weight 1-out-of-n codes, Autom. Control Comput. Sci., 2019, vol. 53, pp. 481\u2013491.","journal-title":"Autom. Control Comput. Sci."},{"key":"7229_CR30","unstructured":"Aksenova, G.P., Necessary and sufficient conditions for constructing fully verifiable convolution schemes modulo 2, Avtom. Telemekh., 1979, no. 9, pp. 126\u2013135."},{"key":"7229_CR31","volume-title":"V., Samoproveryaemye diskretnye ustroistva (Self-Checking Discrete Devices)","author":"V.V. Sapozhnikov","year":"1992","unstructured":"Sapozhnikov, V.V. and Sapozhnikov, Vl.V., Samoproveryaemye diskretnye ustroistva (Self-Checking Discrete Devices), St. Petersburg: Energoatomizdat, 1992."},{"key":"7229_CR32","doi-asserted-by":"publisher","first-page":"27","DOI":"10.15407\/emodel.41.01.027","volume":"41","author":"D.V. Efanov","year":"2019","unstructured":"Efanov, D.V., Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Pivovarov, D.V., Restrictions on the structure of components of fully self-checking integrated control circuits synthesized by the method of Boolean complement to the constant-weight 1-out-of-3 code, Elektron. Model., 2019, vol. 41, no. 1, pp. 27\u201342.","journal-title":"Elektron. Model."},{"key":"7229_CR33","doi-asserted-by":"publisher","first-page":"1609","DOI":"10.1134\/S0005117918090060","volume":"79","author":"D.V. Efanov","year":"2018","unstructured":"Efanov, D.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Synthesis of self-checking combination devices based on allocating special groups of outputs, Autom. Remote Control, 2018, vol. 79, pp. 1609\u20131620.","journal-title":"Autom. Remote Control"},{"key":"7229_CR34","unstructured":"Gavzov, D.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Security methods for discrete systems, Avtom. Telemekh., 1994, no. 8, pp. 3\u201350."},{"key":"7229_CR35","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60960-212-3","volume-title":"Design and Test Technology for Dependable Systems-on-Chip","author":"R. Ubar","year":"2011","unstructured":"Ubar, R., Raik, J., and Vierhaus, H.-T., Design and Test Technology for Dependable Systems-on-Chip, New York: IGI Global, 2011."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411620020042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411620020042","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411620020042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:03:08Z","timestamp":1773612188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411620020042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["7229"],"URL":"https:\/\/doi.org\/10.3103\/s0146411620020042","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3]]},"assertion":[{"value":"13 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}