{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T04:52:02Z","timestamp":1782622322748,"version":"3.54.5"},"reference-count":13,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1134\/s036176881201001x","type":"journal-article","created":{"date-parts":[[2012,2,3]],"date-time":"2012-02-03T01:47:02Z","timestamp":1328233622000},"page":"34-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Developing test systems for multi-modules hardware designs"],"prefix":"10.1134","volume":"38","author":[{"given":"M. M.","family":"Chupilko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"137","published-online":{"date-parts":[[2012,2,4]]},"reference":[{"key":"6130_CR1","unstructured":"IEEE 1364-2005, Verilog Standard."},{"key":"6130_CR2","doi-asserted-by":"crossref","unstructured":"Bergeron, J., Writing Testbenches: Functional Verification of HDL Models, Kluwer, 2003.","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"6130_CR3","unstructured":"Tool Called Formality by Synopsys, http:\/\/www.synop-sys.com\/Tools\/Verification\/FormalEquivalence\/Pages\/Formality.aspx)."},{"key":"6130_CR4","doi-asserted-by":"crossref","unstructured":"Chupilko, M. and Kamkin, A., A TLM-based Approach to Functional Verification of Hardware Components at Different Abstraction Levels, 12th Latin-American Test Workshop, 2011.","DOI":"10.1109\/LATW.2011.5985902"},{"key":"6130_CR5","unstructured":"Clarke, E., Grumberg, O., and Peled, D., Model Checking, MIT Press, 1999."},{"key":"6130_CR6","first-page":"1","volume":"3","author":"R. Kneuper","year":"1997","unstructured":"Kneuper, R., Limits of Formal Methods, Formal Aspects Computing, 1997, vol. 3, pp. 1\u2013000.","journal-title":"Formal Aspects Computing"},{"key":"6130_CR7","unstructured":"Iman, S., Step-by-Step Functional Verification with SystemVerilog and OVM, Hansen Brown, 2008."},{"key":"6130_CR8","unstructured":"Ivannikov, V.P., Kamkin, A.S., Kuliamin, V.V., and Petrenko, A.K., Application of the UniTESK Technology to Functional Verification of Hardware Models, Preprint of Inst. of System Programming, Russ. Acad. Sci., Moscow, 2005, no. 8 (in Russian). http:\/\/citfo-rum.ru\/SE\/testing\/unitesk_hard\/, 2006."},{"key":"6130_CR9","unstructured":"Open Verification Methodology, http:\/\/www.ovmworld.org."},{"issue":"3","key":"6130_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1134\/S0361768811030017","volume":"37","author":"A.S. Kamkin","year":"2011","unstructured":"Kamkin, A.S. and Chupilko, M.M., Survey of Modern Technologies of Simulation-Based Verification of Hardware, Programming Comput. Software, 2011, vol. 37,no. 3, pp. 147\u2013152.","journal-title":"Programming Comput. Software"},{"key":"6130_CR11","first-page":"121","volume":"5","author":"A. Barantsev","year":"2004","unstructured":"A. Barantsev et al., UniTesK Approach to Test Development: Achievements and Prospects, Proc. of Inst. of System Programming, Russ. Acad. Sci., 2004, vol. 5., pp. 121\u2013156. http:\/\/citforum.ru\/SE\/testing\/unitesk\/, 2004.","journal-title":"Proc. of Inst. of System Programming, Russ. Acad. Sci."},{"issue":"1","key":"6130_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1023\/B:PACS.0000013436.72070.95","volume":"30","author":"I.B. Bourdonov","year":"2004","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case, Programming Comput. Software, 2004, vol. 30, no. 1, pp. 2\u201317.","journal-title":"Programming Comput. Software"},{"key":"6130_CR13","unstructured":"Demakov, A., Kamkin, A., and Sortov, A., High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration, Proc. of Conf. Cloud Computation. Education. Research. Developments, 2011."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881201001X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176881201001X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881201001X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881201001X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:10:04Z","timestamp":1775009404000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176881201001X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["6130"],"URL":"https:\/\/doi.org\/10.1134\/s036176881201001x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]},"assertion":[{"value":"3 June 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 February 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}