{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:54:17Z","timestamp":1773615257683,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"5","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[2012,9]]},"DOI":"10.3103\/s0146411612050057","type":"journal-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T06:44:20Z","timestamp":1351061060000},"page":"191-199","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Investigation of simulation-based verification methods for descriptions with functional indeterminacy"],"prefix":"10.3103","volume":"46","author":[{"given":"D. Ya.","family":"Novikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. D.","family":"Cheremisinova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,10,25]]},"reference":[{"key":"6202_CR1","volume-title":"Standardized Functional Verification","author":"A. Wiemann","year":"2008","unstructured":"Wiemann, A., Standardized Functional Verification, San Carlos, CA: Springer-Verlag, 2008."},{"key":"6202_CR2","doi-asserted-by":"crossref","unstructured":"Kuehlmann, A. and Cornelis, A.J., Combinational and Sequential Equivalence Checking, in Logic Synthesis and Verification, Hassoun, S., Sasao, T., and Brayton, R.K., Eds., Kluwer, 2002, pp. 343\u2013372.","DOI":"10.1007\/978-1-4615-0817-5_13"},{"key":"6202_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-69167-1","volume-title":"SAT-Based Scalable Formal Verification Solutions","author":"M. Ganai","year":"2007","unstructured":"Ganai, M. and Gupta, A., SAT-Based Scalable Formal Verification Solutions, New York: Springer-Verlag, 2007."},{"key":"6202_CR4","doi-asserted-by":"crossref","unstructured":"Kunz, W., Marques-Silva, J., and Malik, S., SAT and ATPG: Algorithms for Boolean Decision Problems, in Logic Synthesis and Verification, Hassoun, S., Sasao, T., and Brayton, R.K., Eds., Kluwer, 2002, pp. 309\u2013341.","DOI":"10.1007\/978-1-4615-0817-5_12"},{"key":"6202_CR5","doi-asserted-by":"crossref","unstructured":"Goldberg, E. and Novikov, Y., BerkMin: A Fast and Robust SAT-Solver, Proc. Europ. Design Test Conf., 2002, pp. 142\u2013149.","DOI":"10.1109\/DATE.2002.998262"},{"key":"6202_CR6","doi-asserted-by":"crossref","unstructured":"Een, N. and Sorensson, N., An Extensible SAT-Solver, Proc. Int. Conf. on Theory and Applications of Satisfiability Testing, Vancouver, 2004, pp. 502\u2013518.","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"6202_CR7","unstructured":"Cheremisinova, L.D. and Novikov, D.Ya., Verification of Scheme Realization of Partial Boolean Functions, Vestn. Tomsk. Gos. Univ. Upravl., Vychisl. Tekhn. Inform., 2008, no. 4(5), pp. 102\u2013111."},{"key":"6202_CR8","volume-title":"Logicheskie osnovy proektirovaniya diskretnykh ustroistv","author":"A.D. Zakrevskii","year":"2007","unstructured":"Zakrevskii, A.D., Pottosin, Yu.V., and Cheremisinova, L.D., Logicheskie osnovy proektirovaniya diskretnykh ustroistv (Logical Fundamentals of Discrete Device Design), Moscow: Fizmatlit, 2007."},{"issue":"3","key":"6202_CR9","first-page":"218","volume":"15","author":"L.D. Cheremisinova","year":"2008","unstructured":"Cheremisinova, L.D. and Novikov, D., Simulation-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy, Int. J. Inform. Theor. Appl., 2008, vol. 15, no. 3, pp. 218\u2013224.","journal-title":"Int. J. Inform. Theor. Appl."},{"key":"6202_CR10","first-page":"308","volume":"2","author":"P.N. Bibilo","year":"2011","unstructured":"Bibilo, P.N., Romanov, V.I., and Cheremisinova, L.D., Organization of Complex for Automated Design of Logical Schemes with Low-Power Consumption, Materialy 5 Belorusskii kosmicheskii kongress (Proc. 5th Belarus. Space Congress), Minsk, 2011, vol. 2, pp. 308\u2013312.","journal-title":"Materialy 5 Belorusskii kosmicheskii kongress"},{"key":"6202_CR11","unstructured":"Sentovich, E.M., Singh, K.J., Lavagno, et al., SIS: A System for Sequential Circuit Synthesis, 1992. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/1992\/ERL-92-41.pdf"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612050057.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411612050057","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612050057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612050057.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:57:30Z","timestamp":1773611850000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411612050057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["6202"],"URL":"https:\/\/doi.org\/10.3103\/s0146411612050057","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]},"assertion":[{"value":"19 July 2012","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 October 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}