{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:15Z","timestamp":1775053215688,"version":"3.50.1"},"reference-count":7,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"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":[[2011,5]]},"DOI":"10.1134\/s0361768811030017","type":"journal-article","created":{"date-parts":[[2011,5,23]],"date-time":"2011-05-23T19:48:10Z","timestamp":1306180090000},"page":"147-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Survey of modern technologies of simulation-based verification of hardware"],"prefix":"10.1134","volume":"37","author":[{"given":"A. S.","family":"Kamkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Chupilko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2011,5,25]]},"reference":[{"key":"6101_CR1","unstructured":"IEEE Standard VHDL Language Reference Manual, IEEE Std 1076-1987."},{"key":"6101_CR2","unstructured":"IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language, IEEE Std 1364-1995."},{"key":"6101_CR3","unstructured":"IEEE Standard SystemC Language Reference Manual, IEEE Std 1666-2005."},{"key":"6101_CR4","unstructured":"IEEE Standard for SystemVerilog\u2014Unified Hardware Design, Specification, and Verification Language, IEEE Std 1800-2005."},{"key":"6101_CR5","unstructured":"Rose, A., Fitzpatrick, T., Rich, D., and Foster, H., Advanced Verification Methodology Cookbook, Mentor Graphics Corporation, 2008. http:\/\/www.mentor.com\/go\/cookbook"},{"key":"6101_CR6","unstructured":"OVM Whitepaper, Mentor Graphics Corporation, Cadence, 2007. http:\/\/www.ovmworld.org"},{"key":"6101_CR7","unstructured":"Ivannikov, V.P., Kamkin, A.S., Kuliamin, V.V., and Petrenko, A.K., Applying UniTESK Technology to Functional Testing of Hardware Models, Preprint of Inst. of System Programming RAN, Moscow, 2005 http:\/\/citforum.ru\/SE\/testing\/unitesk_hard\/."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030017.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768811030017","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030017.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:06:34Z","timestamp":1775009194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768811030017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["6101"],"URL":"https:\/\/doi.org\/10.1134\/s0361768811030017","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5]]},"assertion":[{"value":"15 September 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2011","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}