{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:14Z","timestamp":1773655874968,"version":"3.50.1"},"reference-count":7,"publisher":"Pleiades Publishing Ltd","issue":"7","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"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":["Autom Remote Control"],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1134\/s0005117913070084","type":"journal-article","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T10:28:41Z","timestamp":1374488921000},"page":"1164-1177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Detection of false paths in logical circuits by joint analysis of the AND\/OR trees and SSBDD-graphs"],"prefix":"10.1134","volume":"74","author":[{"given":"A. Yu.","family":"Matrosova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Ostanin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2013,7,23]]},"reference":[{"key":"9902_CR1","volume-title":"Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits","author":"ML Bushnell","year":"2000","unstructured":"Bushnell, M.L. and Agrawal, V., Essentials of Electronic Testing for Digital, Memory, and Mixed-Signal VLSI Circuits, New York: Kluwer, 2000."},{"issue":"6","key":"9902_CR2","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/BF02973460","volume":"19","author":"S Majumder","year":"2004","unstructured":"Majumder, S., Bhattachary, B.B., Agrawal, V.D., and Bushnell, M.L., A New Classification of Path Delay Fault Testability in Terms of Stuck-at Faults, Comput. Sci. Technol., 2004, vol. 19, no. 6, pp. 955\u2013964.","journal-title":"Comput. Sci. Technol."},{"key":"9902_CR3","first-page":"164","volume-title":"Proc. EWDTS\u201910","author":"A Matrosova","year":"2010","unstructured":"Matrosova, A., Lipsky, V., Melnikov, A., and Singh, V., Path Delay Faults and ENF, in Proc. EWDTS\u201910, St. Petersburg, 2010, pp. 164\u2013167."},{"issue":"1","key":"9902_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/PGEC.1966.264376","volume":"15","author":"DB Armstrong","year":"1966","unstructured":"Armstrong, D.B., On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets, IEEE Trans. Electron. Comput., 1966, vol. 15, no. 1, pp. 66\u201373.","journal-title":"IEEE Trans. Electron. Comput."},{"key":"9902_CR5","volume-title":"Algoritmicheskie metody sinteza testov","author":"AYu Matrosova","year":"1990","unstructured":"Matrosova, A.Yu., Algoritmicheskie metody sinteza testov (Algorithmic Methods of Test Design), Tomsk: Tomsk. Univ., 1990."},{"key":"9902_CR6","first-page":"356","volume-title":"Proc. EWDTS\u201908","author":"A Matrosova","year":"2008","unstructured":"Matrosova, A., Andreeva, V., Melnikov, A., and Nikolaeva, E., Multiple Stuck-at Fault and Path Delay Fault Testable Circuit, in Proc. EWDTS\u201908, Lviv, 2008, pp. 356\u2013364."},{"key":"9902_CR7","first-page":"141","volume":"4","author":"R Ubar","year":"1998","unstructured":"Ubar, R., Multi-Valued Simulation of Digital Circuits with Structurally Synthesized Binary Decision Diagrams, Multiple Valued Logic, 1998, vol. 4, pp. 141\u2013157.","journal-title":"Multiple Valued Logic"}],"container-title":["Automation and Remote Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117913070084.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0005117913070084","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117913070084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117913070084.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:22:36Z","timestamp":1773613356000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0005117913070084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":7,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["9902"],"URL":"https:\/\/doi.org\/10.1134\/s0005117913070084","relation":{},"ISSN":["0005-1179","1608-3032"],"issn-type":[{"value":"0005-1179","type":"print"},{"value":"1608-3032","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"27 July 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}