{"id":294204,"date":"2019-09-03T09:00:49","date_gmt":"2019-09-03T09:00:49","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=294204"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=294204","title":{"rendered":"\u041f\u043e\u043b\u0438\u0442\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u043d\u0438\u043a\u0430\u0435\u0442 \u0432 \u0420\u043e\u0441\u0441\u0438\u044e \u0447\u0435\u0440\u0435\u0437 \u043a\u043d\u0438\u0433\u0438 \u043f\u0440\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0447\u0438\u043f\u043e\u0432 \u043d\u0430 SystemVerilog \u0434\u043b\u044f \u043d\u0435-\u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0449\u0438\u0445"},"content":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\">\u041d\u0430\u043a\u043e\u043d\u0435\u0446-\u0442\u043e \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u0432\u044b\u0448\u0435\u043b <a href=\"https:\/\/dmkpress.com\/catalog\/electronics\/cad\/978-5-97060-619-3\/\">\u0443\u0447\u0435\u0431\u043d\u0438\u043a \u043f\u043e SystemVerilog \u0443\u0440\u043e\u0432\u043d\u0435\u043c \u0432\u044b\u0448\u0435 \u0447\u0435\u043c \u0434\u043b\u044f \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0449\u0438\u0445<\/a>. \u0423\u0447\u0435\u0431\u043d\u0438\u043a \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0438 \u043f\u0440\u0438\u0435\u043c\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u044e\u0442 \u043d\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e \u0432 NVidia, Intel, AMD, Apple \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438: \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 concurrent assertions \u0438 functional coverage, \u0447\u0442\u043e \u0441\u0435\u0439\u0447\u0430\u0441 \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043e\u0432 \u043f\u043e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438, \u043d\u043e \u0438 \u043e\u0442 \u0434\u0438\u0437\u0430\u0439\u043d\u0435\u0440\u043e\u0432 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c; \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430 \u0441 \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u0430\u043c\u0438; \u0432\u043c\u0435\u043d\u044f\u0435\u043c\u043e\u0435 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u0435 static timing analysis; \u0441\u0445\u0435\u043c\u044b \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u043a\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u0431\u043b\u043e\u043a\u043e\u0432 \u0447\u0435\u0440\u0435\u0437 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0435 \u043e\u0447\u0435\u0440\u0435\u0434\u0438; \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u044d\u0442\u0438\u0445 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u043a\u0430\u0446\u0438\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0441 \u0442\u0440\u0430\u043a\u0442\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0442.\u0434.<\/p>\n<p>  \u0412 \u0433\u043b\u0430\u0432\u0435 \u043f\u0440\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u043c\u043e\u0436\u0435\u0442 \u043e\u0437\u0430\u0434\u0430\u0447\u0438\u0442\u044c \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043d\u0438\u0435 \u00ab\u043f\u043e\u043b\u0438\u0442\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b\u00bb. \u0427\u0442\u043e \u0431\u044b \u044d\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u043b\u043e? \u042d\u0442\u043e \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043d\u0430\u043c\u0435\u043a \u043d\u0430 <a href=\"http:\/\/edition.cnn.com\/2003\/TECH\/ptech\/11\/26\/master.term.reut\/index.html\">\u043a\u0430\u0437\u0443\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0438\u0437\u043e\u0448\u0435\u043b \u0432 \u043e\u043a\u0440\u0443\u0433\u0435 \u041b\u043e\u0441-\u0410\u043d\u0436\u0435\u043b\u0435\u0441<\/a> \u0432 2003 \u0433\u043e\u0434\u0443. \u0427\u0438\u043d\u043e\u0432\u043d\u0438\u043a\u0438 \u041b\u043e\u0441-\u0410\u043d\u0434\u0436\u0435\u043b\u0435\u0441\u0430 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u043b\u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u0435\u0439, \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u043e\u0432 \u0438 \u043f\u043e\u0434\u0440\u044f\u0434\u0447\u0438\u043a\u043e\u0432 \u043f\u0440\u0435\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u00abmaster\/slave\u00bb (\u00ab\u0445\u043e\u0437\u044f\u0438\u043d\u00bb \u0438 \u00ab\u0440\u0430\u0431\u00bb) \u0432 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u0434\u043d\u043e\u043c\u0443 \u0438\u0437 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432 \u043e\u043a\u0440\u0443\u0433\u0430 \u044d\u0442\u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u043d\u0430\u043f\u043e\u043c\u043d\u0438\u043b\u0438 \u043f\u0440\u043e \u0440\u0430\u0431\u043e\u0432\u043b\u0430\u0434\u0435\u043b\u044c\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0448\u043b\u043e\u0435.<\/p>\n<p>  \u0421\u0435\u0439\u0447\u0430\u0441 \u0430\u0432\u0442\u043e\u0440\u044b \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u044b \u0438\u0437\u0431\u0435\u0433\u0430\u044e\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 master\/slave. \u0412 \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0410\u043c\u0435\u0440\u0438\u043a\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0438 \u0430\u0444\u0440\u043e-\u0430\u043c\u0435\u0440\u0438\u043a\u0430\u043d\u0441\u043a\u0438\u0435 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u044b (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0421\u043e\u0444\u0438\u044f \u041c\u0432\u043e\u043a\u0430\u043d\u0438 \u0438\u0437 \u041a\u0430\u043c\u0435\u0440\u0443\u043d\u0430 \u2014 \u043d\u0430 \u0444\u043e\u0442\u043e \u0441\u043b\u0435\u0432\u0430), \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u0442\u0430\u0440\u044b\u0445 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0430\u0440\u0445\u0430\u0438\u0447\u043d\u043e, \u043a\u0430\u043a \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b\u0438 \u0431\u044b \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u00ab\u043f\u0430\u043d\/\u0445\u043e\u043b\u043e\u043f\u00bb \u0432 \u0443\u043a\u0440\u0430\u0438\u043d\u0441\u043a\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0435 \u0432\u043c\u0435\u0441\u0442\u043e \u043f\u0440\u0438\u043d\u044f\u0442\u044b\u0445 \u00ab\u043f\u0440\u043e\u0432\u0456\u0434\u043d\u0438\u0439\/\u0432\u0435\u0434\u0435\u043d\u0438\u0439\u00bb (\u0440\u0443\u0441. \u00ab\u0432\u0435\u0434\u0443\u0449\u0438\u0439\/\u0432\u0435\u0434\u043e\u043c\u044b\u0439\u00bb).<\/p>\n<p>  \u042d\u0442\u043e \u043d\u0435 \u043f\u0435\u0440\u0432\u044b\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u043c \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u043e\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u0435\u043c\u0430 \u0431\u043e\u0440\u044c\u0431\u044b \u0430\u0444\u0440\u043e-\u0430\u043c\u0435\u0440\u0438\u043a\u0430\u043d\u0446\u0435\u0432 \u0437\u0430 \u0433\u0440\u0430\u0436\u0434\u0430\u043d\u0441\u043a\u0438\u0435 \u043f\u0440\u0430\u0432\u0430. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0422\u0430\u0442\u044c\u044f\u043d\u0430 \u0412\u043e\u043b\u043a\u043e\u0432\u0430, \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442 \u043f\u043e \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044e \u0432 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u0438\u043a\u0435, \u043d\u043e\u0441\u0438\u0442 \u043c\u0430\u0435\u0447\u043a\u0443 \u0441 \u044d\u043c\u0431\u043b\u0435\u043c\u043e\u0439 \u00ab\u0427\u0435\u0440\u043d\u044b\u0445 \u041f\u0430\u043d\u0442\u0435\u0440\u00bb, \u043a\u0430\u043b\u0438\u0444\u043e\u0440\u043d\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432 \u0441\u0432\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0441\u043e\u0447\u043b\u043e \u043c\u0438\u0440\u043d\u044b\u0439 \u043f\u0440\u043e\u0442\u0435\u0441\u0442 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u044b\u043c, \u0438 \u0437\u0430\u043d\u044f\u043b\u043e\u0441\u044c \u0432\u043e\u043e\u0440\u0443\u0436\u0435\u043d\u043d\u044b\u043c \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u043e\u043c.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/e44\/fc8\/a9b\/e44fc8a9b5614dd32d1a56b95b59d0c0.png\"><\/p>\n<p>  \u041f\u043e\u043b\u043d\u043e\u0435 \u0438\u0437\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u044d\u043c\u0431\u043b\u0435\u043c\u044b \u043f\u043e\u0434 \u043a\u043e\u0436\u0430\u043d\u043a\u043e\u0439 \u0422\u0430\u0442\u044c\u044f\u043d\u044b \u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u043e\u0432\u043d\u044b \u2014 \u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c, \u043d\u043e \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c \u044f \u0431\u0443\u0434\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043f\u0440\u043e \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u044b \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u044b:<br \/>  <a name=\"habracut\"><\/a><br \/>  \u041d\u0438\u0436\u0435 \u0441\u043a\u0440\u0438\u043d\u0448\u043e\u0442 \u0441\u0442\u0430\u0442\u044c\u0438 \u043f\u0440\u043e master \/ slave \u0438 \u043e\u0431\u0435\u0449\u0430\u043d\u043d\u0430\u044f \u044d\u043c\u0431\u043b\u0435\u043c\u0430 \u00ab\u0427\u0435\u0440\u043d\u044b\u0445 \u043f\u0430\u043d\u0442\u0435\u0440\u00bb, \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u043c\u044b \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a \u043a\u043d\u0438\u0436\u043a\u0435 \u043a\u0430\u043a \u0442\u0430\u043a\u043e\u0432\u043e\u0439.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/104\/787\/ae1\/104787ae1b99067326d842310345408d.png\"><\/p>\n<p>  \u041f\u0440\u0435\u0436\u0434\u0435 \u0432\u0441\u0435\u0433\u043e, \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441, \u0430\u0432\u0442\u043e\u0440 \u043a\u043d\u0438\u0433\u0438 <a href=\"https:\/\/www.labirint.ru\/books\/706782\">\u00ab\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0441\u0438\u0441\u0442\u0435\u043c \u043d\u0430 SystemVerilog\u00bb<\/a> (2019 \u0433\u043e\u0434 \u043d\u0430 \u0440\u0443\u0441\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u043e\u0442 \u0414\u041c\u041a-\u041f\u0440\u0435\u0441\u0441, 2016 \u0433\u043e\u0434 \u043d\u0430 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u043c) \u2014 \u044d\u0442\u043e \u0442\u043e\u0442 \u0436\u0435 \u0441\u0430\u043c\u044b\u0439 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432 \u0441\u043e\u0430\u0432\u0442\u043e\u0440\u0441\u0442\u0432\u0435 \u0441 \u0424\u0438\u043b\u0438\u043f\u043f\u043e\u043c \u041c\u0443\u0440\u0431\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u043a\u043d\u0438\u0436\u043a\u0443 1991 \u0433\u043e\u0434\u0430 \u00abThe Verilog Hardware Description Language\u00bb by Donald Thomas and Philip Moorby. \u0422\u043e\u0433\u0434\u0430, \u0432 1991 \u0433\u043e\u0434\u0443, \u043c\u043d\u043e\u0433\u0438\u0435 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438 \u0435\u0449\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c\u044b \u043f\u043e \u0441\u0442\u0430\u0440\u0438\u043d\u043a\u0435, \u0440\u0438\u0441\u0443\u044f \u0438\u0445 \u043c\u044b\u0448\u043a\u043e\u0439 \u043d\u0430 \u044d\u043a\u0440\u0430\u043d\u0435; \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0442\u043e\u043b\u044c\u043a\u043e-\u0442\u043e\u043b\u044c\u043a\u043e \u0432\u044b\u0448\u043b\u0438 \u0438\u0437 \u043b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u0438\u0438 \u043d\u0430 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0441\u0442\u0432\u043e; \u044f\u0437\u044b\u043a\u0438 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u0441\u0447\u0438\u0442\u0430\u043b\u0438\u0441\u044c \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u043c\u0438 \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0435\u0439 \u0438 \u0442\u0435\u0441\u0442\u043e\u0432, \u0430 \u043d\u0435 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a\u0430\u043c\u0438 \u0434\u043b\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u043e\u043a\u043e\u043d\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0441\u0445\u0435\u043c; \u043f\u043e\u043c\u0438\u043c\u043e VHDL \u0438 \u0437\u0430\u043a\u0440\u044b\u0442\u043e\u0433\u043e \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f Verilog-\u0430 \u0431\u044b\u043b\u043e \u043c\u043d\u043e\u0433\u043e \u043c\u0435\u043b\u043a\u0438\u0445 \u0438 \u043f\u0440\u043e\u043f\u0440\u0438\u0435\u0442\u0430\u0440\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u0442\u0438\u043f\u0430 Abel, CUPL, PALASM; \u0430 \u0443 Intel \u0438 MIPS \u0431\u044b\u043b\u0438 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u044f\u0437\u044b\u043a\u0438 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b.<\/p>\n<p>  \u0412\u043e\u0442 \u0432 \u0442\u0430\u043a\u043e\u0439 \u043e\u0431\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0435 \u0432\u044b\u0448\u043b\u0430 \u043a\u043d\u0438\u0436\u043a\u0430 \u0422\u043e\u043c\u0430\u0441\u0430 \u0438 \u041c\u0443\u0440\u0431\u0438, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u0442\u0430\u043b\u0430 \u0434\u043b\u044f \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u043e\u0432 \u0446\u0438\u0444\u0440\u043e\u0432\u044b\u0445 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c 1990-\u0445 \u0442\u0435\u043c \u0436\u0435, \u0447\u0435\u043c \u0434\u043b\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u043e\u0432 \u043d\u0430 \u0421\u0438 \u0441\u0442\u0430\u043b\u0430 \u043a\u043d\u0438\u0436\u043a\u0430 \u041a\u0435\u0440\u043d\u0438\u0433\u0430\u043d-\u0420\u0438\u0447\u0438, \u0430 \u0434\u043b\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u043e\u0432 \u043d\u0430 C++ \u2014 \u043a\u043d\u0438\u0433\u0438 \u0411\u044c\u044f\u0440\u043d\u0438 \u0421\u0442\u0440\u0430\u0443\u0441\u0442\u0440\u0443\u043f\u0430. \u041a\u043d\u0438\u0436\u043a\u0430 \u0432\u044b\u0434\u0435\u0440\u0436\u0430\u043b\u0430 \u043f\u044f\u0442\u044c \u0438\u0437\u0434\u0430\u043d\u0438\u0439 \u2014 \u043e\u0442 1991 \u0433\u043e\u0434\u0430 \u0434\u043e 2002, \u043d\u043e \u0434\u043b\u044f \u044d\u043f\u043e\u0445\u0438 \u0410\u0439\u0444\u043e\u043d\u043e\u0432 \u0431\u044b\u043b\u0430 \u044f\u0432\u043d\u043e \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u0430. \u0418 \u0432\u043e\u0442 \u0432 2016 \u0433\u043e\u0434\u0443 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u0440\u0435\u0448\u0438\u043b \u043d\u0430\u0432\u0435\u0440\u0441\u0442\u0430\u0442\u044c \u0438 \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b \u043d\u043e\u0432\u0443\u044e \u043a\u043d\u0438\u0436\u043a\u0443, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043e\u043f\u0438\u0441\u0430\u043b \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0435 \u043d\u043e\u0432\u043e\u0432\u0432\u0435\u0434\u0435\u043d\u0438\u044f \u0432 \u044f\u0437\u044b\u043a \u0438 \u043c\u0435\u0442\u043e\u0434\u043e\u043b\u043e\u0433\u0438\u0438 \u0437\u0430 25 \u043b\u0435\u0442. \u0422\u0435 \u0441\u0430\u043c\u044b\u0435 25 \u043b\u0435\u0442, \u0432 \u0442\u0435\u0447\u0435\u043d\u0438\u0435 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 Verilog \u0441\u0442\u0430\u043b \u043e\u0431\u0449\u0435\u0439 \u0431\u0430\u0437\u043e\u0439 \u0434\u043b\u044f \u0432\u0441\u0435\u0439 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u0438, \u043d\u0430 \u043d\u0435\u043c \u043f\u0438\u0448\u0443\u0442\u0441\u044f \u0441\u0445\u0435\u043c\u044b \u0434\u043b\u044f \u0432\u0441\u0435\u0433\u043e \u2014 \u043e\u0442 \u043f\u0440\u0435\u0441\u043b\u043e\u0432\u0443\u0442\u044b\u0445 \u0430\u0439\u0444\u043e\u043d\u043e\u0432 \u0438 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u0438\u0440\u0443\u044e\u0449\u0438\u0445 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0430\u0445 \u0432 \u0422\u0435\u0441\u043b\u0430\u0445 \u0434\u043e \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u0438\u0445 \u0432\u043e\u0435\u043d\u043d\u044b\u0445 \u0432\u0435\u0440\u0442\u043e\u043b\u0435\u0442\u043e\u0432.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/ed9\/5cf\/d8c\/ed95cfd8c3790757cd7d549273dd75a4.png\"><\/p>\n<p>  \u0414\u0430\u043b\u0435\u0435 \u044f \u0431\u0443\u0434\u0443 \u0432\u044b\u0434\u0435\u043b\u044f\u0442\u044c \u0441\u0432\u043e\u0438 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438 \u0441\u0438\u043d\u0438\u043c \u0442\u0435\u043a\u0441\u0442\u043e\u043c, \u0447\u0442\u043e\u0431\u044b \u043e\u0442\u0434\u0435\u043b\u0438\u0442\u044c \u0438\u0445 \u043e\u0442 \u043a\u0430\u0440\u0442\u0438\u043d\u043e\u043a \u0438\u0437 \u043a\u043d\u0438\u0433\u0438.<\/p>\n<p>  <font color=\"blue\">\u0415\u0449\u0435 \u043f\u0435\u0440\u0435\u0434 \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u043c \u0442\u0435\u043a\u0441\u0442\u043e\u043c \u043a\u043d\u0438\u0433\u0438 \u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0430 \u043f\u0440\u0435\u0434-\u0433\u043b\u0430\u0432\u0430 \u00ab\u041a\u043e\u043d\u0442\u0435\u043a\u0441\u0442: \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u043e\u0432\u044b\u0445 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u00bb, \u0447\u0442\u043e\u0431\u044b \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e \u0432\u0437\u044f\u0432\u0448\u0438\u0439 \u0441 \u043f\u043e\u043b\u043a\u0438 \u044d\u0442\u0443 \u043a\u043d\u0438\u0436\u043a\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442, \u0448\u043a\u043e\u043b\u044c\u043d\u0438\u043a \u0438\u043b\u0438 \u0441\u043a\u0430\u0436\u0435\u043c \u043b\u044e\u0431\u0438\u0442\u0435\u043b\u044c \u0443\u043f\u0440\u0430\u0436\u043d\u044f\u0442\u044c\u0441\u044f \u0441 \u043c\u0430\u043a\u0435\u0442\u043d\u044b\u043c\u0438 \u043f\u043b\u0430\u0442\u0430\u043c\u0438 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u043d\u044f\u043b\u0438, \u043e \u0447\u0435\u043c \u0438\u0434\u0435\u0442 \u0440\u0435\u0447\u044c \u0438 \u043a\u0430\u043a \u043e\u043d\u0438 \u043c\u043e\u0433\u0443 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u043a\u043d\u0438\u0436\u043a\u0443. \u0412 \u043d\u0435\u0439 \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u0441\u044f:<\/font><\/p>\n<blockquote><p>\u0421\u0435\u0438\u0306\u0447\u0430\u0441 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u044f\u0442\u0441\u044f \u0446\u0438\u0444\u0440\u043e\u0432\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0441 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u0430\u043c\u0438 \u0442\u0440\u0430\u043d\u0437\u0438\u0441\u0442\u043e\u0440\u043e\u0432 \u043d\u0430 \u043a\u0440\u0438\u0441\u0442\u0430\u043b\u043b\u0435. \u041b\u044e\u0431\u0438\u0442\u0435\u043b\u044c, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043c\u043e\u0436\u0435\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 (\u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043d\u0430 \u043c\u0430\u043a\u0435\u0442\u043d\u043e\u0438\u0306 \u043f\u043b\u0430\u0442\u0435) \u043d\u0430\u0440\u0438\u0441\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0432\u0435\u043d\u0442\u0438\u043b\u0435\u0438\u0306 \u0438 \u0441\u043e\u0435\u0434\u0438\u043d\u0438\u0442\u044c \u0438\u0445 \u043f\u0440\u043e\u0432\u043e\u0434\u0430\u043c\u0438, \u043d\u043e \u0434\u043b\u044f \u043a\u043e\u043c\u043c\u0435\u0440\u0447\u0435\u0441\u043a\u0438\u0445 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u0432 \u044d\u0442\u043e \u0434\u0440\u0435\u0432\u043d\u044f\u044f \u0438\u0441\u0442\u043e\u0440\u0438\u044f.\u2026 \u0421\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u043d\u0430 \u044f\u0437\u044b\u043a\u0430\u0445 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b, \u0442\u0430\u043a\u0438\u0445 \u043a\u0430\u043a SystemVerilog.   <\/p><\/blockquote>\n<p>  <font color=\"blue\">\u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u043e\u0442 \u0442\u0430\u043a\u0430\u044f \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u043d\u0430\u044f \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0430 \u0434\u043b\u044f \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u0438, \u043a\u0430\u043a \u0442\u0435\u043a\u0441\u0442 \u043d\u0430 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0435 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0432 \u0434\u043e\u0440\u043e\u0436\u043a\u0438 \u0438 \u0442\u0440\u0430\u043d\u0437\u0438\u0441\u0442\u043e\u0440\u044b \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c\u044b \u043d\u0430 \u0444\u0430\u0431\u0440\u0438\u043a\u0435:<\/p>\n<p>  <img decoding=\"async\" width=\"400\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/da7\/45e\/179\/da745e179c2d2239202a224fd8428d8d.png\"><\/p>\n<p>  \u041f\u0435\u0440\u0432\u043e\u0435 \u0441\u043b\u043e\u0432\u043e \u0432 \u043a\u043d\u0438\u0436\u043a\u0435 \u043f\u043e\u0441\u043b\u0435 \u043f\u0440\u0435\u0434\u0438\u0441\u043b\u043e\u0432\u0438\u0439 \u2014 \u00ab\u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u00bb. \u0414\u043b\u044f \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u044f\u0437\u044b\u043a\u043e\u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u043d\u0443\u0436\u043d\u043e \u0447\u0435\u0442\u043a\u043e \u043e\u0442\u0434\u0430\u0432\u0430\u0442\u044c \u0441\u0435\u0431\u0435 \u043e\u0442\u0447\u0435\u0442, \u0447\u0442\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0438\u0440\u0443\u0435\u043c\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0430 \u2014 \u044d\u0442\u043e \u043d\u0435 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0430 \u044f\u0437\u044b\u043a \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u044d\u043b\u0435\u043a\u0442\u0440\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0445\u0435\u043c. \u0422\u0430\u043a \u0436\u0435 \u043a\u0430\u043a \u0441\u043a\u0430\u0436\u0435\u043c HTML \u2014 \u043d\u0435 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0430 \u044f\u0437\u044b\u043a \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0432\u0435\u0431-\u0441\u0442\u0440\u0430\u043d\u0438\u0446. \u0412 \u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043a\u0430\u043a \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d \u0434\u043b\u044f \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438 \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0443 \u043a\u043e\u043c\u0430\u043d\u0434 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430, \u044f\u0437\u044b\u043a \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d \u0434\u043b\u044f \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u044f (\u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438) \u0432 \u0436\u0435\u043b\u0435\u0437\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430 \u043a\u0430\u043a \u0442\u0430\u043a\u043e\u0432\u043e\u0433\u043e. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0434\u043e \u043e\u0442\u043b\u0438\u0442\u0438\u044f \u0432 \u0436\u0435\u043b\u0435\u0437\u043e \u043a\u043e\u0434 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0434\u043b\u044f \u0447\u0435\u0433\u043e \u0441\u043b\u0443\u0436\u0438\u0442 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0439 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u043e\u043c.<\/p>\n<p>  \u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u043a\u043d\u0438\u0433\u0438 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u043d\u0443\u044e \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0443 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430, \u0430 \u0432 \u043a\u043e\u043d\u0446\u0435 \u043a\u043d\u0438\u0433\u0438 \u0435\u0435 \u0443\u0442\u043e\u0447\u043d\u044f\u0435\u0442 \u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u044f\u0435\u0442:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/9ae\/c23\/cce\/9aec23cce03c84424f268adc5baf4742.png\"><\/p>\n<p>  \u0412 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0435 \u0435\u0441\u0442\u044c \u043e\u0447\u0435\u0440\u0435\u0434\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u0439 \u0438 \u0441\u0438\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u043c\u043e\u0435 \u0432\u0440\u0435\u043c\u044f:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/d88\/f4c\/882\/d88f4c88260895554e428c63d6bac46d.png\"><\/p>\n<p>  \u0421\u043e\u0431\u044b\u0442\u0438\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043d\u043e\u0432\u043e\u0435 \u0441\u043e\u0431\u044b\u0442\u0438\u0435, \u043a\u0430\u043a \u0432 \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u043c\u043e\u043c\u0435\u043d\u0442 \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438 (\u0432 \u0442\u0435\u043a\u0443\u0449\u0435\u043c \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u0435), \u0442\u0430\u043a \u0438 \u0432 \u0431\u0443\u0434\u0443\u0449\u0435\u043c \u0432\u0440\u0435\u043c\u0435\u043d\u0438. \u0412 \u0442\u0435\u043a\u0443\u0449\u0435\u043c \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u0435 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0432\u0441\u0435 \u0441\u043e\u0431\u044b\u0442\u0438\u044f, \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u044b\u0435 \u0442\u0430\u043a \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u043c\u0438 \u0431\u043b\u043e\u043a\u0438\u0440\u0443\u044e\u0449\u0438\u043c\u0438 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u044f\u043c\u0438, \u0430 \u043f\u043e\u0442\u043e\u043c \u2014 \u0441\u043e\u0431\u044b\u0442\u0438\u044f, \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u044b\u0435 \u043d\u0435\u0431\u043b\u043e\u043a\u0438\u0440\u0443\u044e\u0449\u0438\u043c\u0438 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u044f\u043c\u0438. \u042d\u0442\u043e \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0434\u043b\u044f \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e\u0439 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0438 \u0440\u0430\u0441\u043f\u043e\u0441\u0442\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u044d\u043b\u0435\u043a\u0442\u0440\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0438\u0433\u043d\u0430\u043b\u043e\u0432 \u0432 \u0436\u0435\u043b\u0435\u0437\u0435:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/4c7\/d0b\/26c\/4c7d0b26c6be8b118d89daad8630164f.png\"><\/p>\n<p>  \u041a\u0440\u043e\u043c\u0435 \u0441\u0438\u043d\u0442\u0435\u0437\u0438\u0440\u0443\u0435\u043c\u043e\u0433\u043e \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0430 \u0435\u0441\u0442\u044c \u0435\u0449\u0435 \u043d\u0435\u0441\u0438\u043d\u0442\u0435\u0437\u0438\u0440\u0443\u0435\u043c\u043e\u0435 \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e. \u041e\u043d\u043e \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043e \u0434\u043b\u044f \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0442\u0435\u0441\u0442\u043e\u0432\u043e\u0433\u043e \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u0438 \u0442\u0435\u0441\u0442\u043e\u0432, \u0438 \u0432\u043e\u0442 \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u043a\u0430\u043a \u0441\u0432\u043e\u0435\u0433\u043e \u0440\u043e\u0434\u0430 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0414\u043b\u044f \u0441\u043e\u0431\u044b\u0442\u0438\u0439 \u0442\u0435\u0441\u0442\u043e\u0432\u043e\u0433\u043e \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u0438 \u043c\u043e\u043d\u0438\u0442\u043e\u0440\u043e\u0432 \u0432\u0432\u043e\u0434\u044f\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0448\u0430\u0433\u0438 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/364\/724\/1cb\/3647241cbc77d4b796f323e41489bf81.png\"><\/p>\n<p>  \u0422\u043e\u0447\u043d\u043e\u0435 \u0437\u043d\u0430\u043d\u0438\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u043e, \u0447\u0442\u043e\u0431\u044b \u0438\u0437\u0431\u0435\u0436\u0430\u0442\u044c \u0440\u0430\u0437\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u044b\u0445 \u0431\u0430\u0433\u043e\u0432, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u0442\u0430\u043a \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u043c\u0438 \u0433\u043e\u043d\u043a\u0430\u043c\u0438 (race condition). \u041a\u043e\u0433\u0434\u0430 \u044f \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u0438\u0440\u0443\u044e \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043e\u0432, \u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u043f\u0440\u043e\u0448\u0443 \u0438\u0445 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u0440 race condition \u0432 \u044f\u0437\u044b\u043a\u0435 Verilog. \u041f\u0440\u0438\u0447\u0435\u043c \u0435\u0441\u043b\u0438 \u0434\u043b\u044f \u044e\u043d\u044b\u0445 RTL Design \u0438 Design Verification Engineers \u0442\u0430\u043a\u043e\u0435 \u0437\u043d\u0430\u043d\u0438\u0435 \u043e\u0447\u0435\u043d\u044c \u0436\u0435\u043b\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043d\u043e \u043d\u0435 \u0432\u043e \u0432\u0441\u0435\u0445 \u0430\u0441\u043f\u0435\u043a\u0442\u0430\u0445 100% \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0442\u043e \u0435\u0441\u0442\u044c \u043f\u0440\u043e\u0444\u0435\u0441\u0441\u0438\u0438, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0437\u0430 \u044d\u0442\u043e \u0437\u043d\u0430\u043d\u0438\u0435 \u043f\u043b\u0430\u0442\u044f\u0442 \u0434\u0435\u043d\u044c\u0433\u0438 \u043d\u0435\u043f\u043e\u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u042f \u0433\u043e\u0432\u043e\u0440\u044e \u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u0430\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0432 \u043a\u043e\u043c\u0430\u043d\u0434\u0430\u0445 Synopsys VCS, Cadence IES \u0438 Mentor ModelSim.<\/p>\n<p>  Synopsys \u0438 Cadence \u2014 \u044d\u0442\u043e \u0434\u0432\u0435 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u0441\u044f \u0432 \u041a\u0430\u043b\u0438\u0444\u043e\u0440\u043d\u0438\u0438 \u0432 15 \u043c\u0438\u043d\u0443\u0442\u0430\u0445 \u0435\u0437\u0434\u044b \u0434\u0440\u0443\u0433 \u043e\u0442 \u0434\u0440\u0443\u0433\u0430. \u0412 \u043d\u0438\u0445 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0432\u0441\u0435\u0433\u043e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0442\u044b\u0441\u044f\u0447 \u0447\u0435\u043b\u043e\u0432\u0435\u043a, \u043d\u043e \u043e\u043d\u0438 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u0438\u0440\u0443\u044e\u0442 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c \u0432\u043e \u0432\u0441\u0435\u043c \u043c\u0438\u0440\u0435 \u2014 \u0432 Intel, Apple, Samsung, Huawei, \u0434\u0430\u0436\u0435 \u0432 \u0441\u0435\u043a\u0440\u0435\u0442\u043d\u044b\u0445 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u0438\u0445 \u0438\u043d\u0441\u0442\u0438\u0442\u0443\u0442\u0430\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u0435\u043b\u0430\u044e\u0442 \u0447\u0438\u043f\u044b \u0434\u043b\u044f \u0432\u043e\u0435\u043d\u043d\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438.<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0442\u043e\u0432\u0430\u0440\u0438\u0449\u0438 \u041f\u0443\u0442\u0438\u043d, \u0420\u043e\u0433\u043e\u0437\u0438\u043d \u0438 \u0412\u0435\u043a\u0441\u0435\u043b\u044c\u0431\u0435\u0440\u0433 \u0440\u0435\u0430\u043b\u044c\u043d\u043e \u0445\u043e\u0442\u044f\u0442 \u0432\u0432\u0435\u0441\u0442\u0438 \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u0438\u043c\u043f\u043e\u0440\u0442\u043e\u0437\u0430\u043c\u0435\u0449\u0435\u043d\u0438\u0435, \u0442\u043e \u043e\u043d\u0438 \u043c\u043e\u0433\u043b\u0438 \u0431\u044b \u0441\u0444\u0438\u043d\u0430\u043d\u0441\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0443 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0430 Synopsys VCS (\u0434\u043b\u044f \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0430), Synopsys Design Compiler (\u0434\u043b\u044f \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0430) \u0438 Synopsys IC Compiler (\u0434\u043b\u044f \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0449\u0435\u043d\u0438\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u0438\u043d\u0442\u0435\u0437\u0430). \u0412\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0442\u044b\u0441\u044f\u0447 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438-\u043f\u043e\u0434\u043a\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u043e\u0432 \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u043d\u0430\u0439\u0434\u0435\u0442\u0441\u044f.<\/p>\n<p>  \u0425\u043e\u0442\u044f \u043b\u0438\u0446\u0435\u043d\u0437\u0438\u0438 \u043d\u0430 \u044d\u0442\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u044b\u0435 \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u044b \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043b\u0435\u0433\u043a\u043e \u043b\u043e\u043c\u0430\u0442\u044c, \u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0438\u0445 \u0431\u0435\u0437 \u0441\u0443\u043f\u043f\u043e\u0440\u0442\u0430 \u0442\u044f\u0436\u0435\u043b\u043e. \u0415\u0441\u043b\u0438 Huawei \u043e\u0442\u043a\u043b\u044e\u0447\u0430\u0442 \u043e\u0442 Synopsys \u0438 Cadence, \u0438\u043c \u043f\u0440\u0438\u0439\u0434\u0435\u0442\u0441\u044f \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435 \u0445\u0443\u0436\u0435, \u0447\u0435\u043c \u043f\u0440\u0438 \u043e\u0442\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0438 \u043e\u0442 Android-\u0430 \u0438 \u0434\u0430\u0436\u0435 \u044f\u0434\u0435\u0440 ARM.<\/p>\n<p>  \u0414\u0430, \u0442\u0430\u043a \u0432\u043e\u0442 \u0443\u0442\u043e\u0447\u043d\u0435\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0432 \u043a\u043e\u043d\u0446\u0435 \u043a\u043d\u0438\u0436\u043a\u0438 \u0414\u043e\u043d\u0430\u043b\u044c\u0434\u0430 \u0422\u043e\u043c\u0430\u0441\u0430. \u0415\u0441\u043b\u0438 \u0432\u044b \u043d\u0435 \u0432\u044b\u0443\u0447\u0438\u0442\u0435 \u0435\u0433\u043e \u043d\u0430\u0437\u0443\u0431\u043e\u043a, \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0432 \u0433\u0440\u0443\u043f\u043f\u044b \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438 \u0432 Synopsys, Cadence, Siemens\/Mentor, Xilinx \u0438\u0442\u0434 \u0431\u0435\u0441\u043f\u043e\u043b\u0435\u0437\u043d\u043e \u2014 \u0442\u0430\u043c \u043e\u0442 \u0432\u0430\u0441 \u043f\u043e\u043f\u0440\u043e\u0441\u044f\u0442 \u043d\u0430\u0440\u0438\u0441\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u043e \u043d\u0430 \u0434\u043e\u0441\u043a\u0435 \u0438 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0430\u0442 \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u0442\u044c, \u043a\u0430\u043a \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u0430\u043a\u043e\u0439-\u043d\u0438\u0431\u0443\u0434\u044c \u0447\u0430\u0441\u0442\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/eaa\/35e\/e8f\/eaa35ee8f5df3ecc02cee34319b1ff4d.png\"><\/p>\n<p>  \u041f\u043e\u0441\u043b\u0435 \u043f\u0440\u043e\u044f\u0441\u043d\u0435\u043d\u0438\u044f \u0441 \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0435\u0439 \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u043a\u043d\u0438\u0436\u043a\u0438 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u044f\u0437\u044b\u043a SystemVerilog \u043a\u0430\u043a \u0442\u0430\u043a\u043e\u0432\u043e\u0439. \u042d\u0442\u043e\u0442 \u044f\u0437\u044b\u043a \u0432\u043e\u0437\u043d\u0438\u043a \u043a\u0430\u043a \u0441\u0443\u043f\u0435\u0440\u0441\u0435\u0442 Verilog-\u0430 \u0432 2002 \u0433\u043e\u0434\u0443, \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0441\u043b\u0438\u044f\u043d\u0438\u044f \u044f\u0437\u044b\u043a\u043e\u0432 Verilog-2001, Vera \u0438 Superlog, \u0438 \u0441 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f\u043c\u0438 \u0438\u0434\u0435\u0439 \u043e\u0442 Property Specification Language (PSL), \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043b\u0438\u0441\u044c \u0432 SystemVerilog Assertions (SVA).<\/p>\n<p>  \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u0441\u0447\u0438\u0442\u0430\u0435\u0442, \u0447\u0442\u043e \u0432\u044b \u0443\u0436\u0435 \u0433\u0434\u0435-\u0442\u043e \u0432\u044b\u0443\u0447\u0438\u043b\u0438 \u043e\u0441\u043d\u043e\u0432\u044b \u0446\u0438\u0444\u0440\u043e\u0432\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u043f\u043b\u0435\u0442\u0430\u0435\u0442 \u0432 \u0442\u043a\u0430\u043d\u044c \u043f\u043e\u0432\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f \u0440\u0430\u0437\u043d\u044b\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0435 \u0448\u0442\u0443\u043a\u0438 \u0442\u0438\u043f\u0430 \u043a\u0430\u0440\u0442 \u041a\u0430\u0440\u043d\u043e. \u041a\u0430\u0440\u0442\u044b \u041a\u0430\u0440\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0438 \u0434\u043b\u044f \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0445\u0435\u043c \u0432 1960-\u0435 \u0433\u043e\u0434\u044b, \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u044d\u0442\u043e\u0442 \u043c\u0435\u0442\u043e\u0434 \u0437\u0430\u043c\u0435\u043d\u0438\u043b\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u043b\u043e\u0433\u0438\u043a\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u041a\u0443\u0430\u0439\u043d\u0430 \u2014 \u041c\u0430\u043a-\u041a\u043b\u0430\u0441\u043a\u0438 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u043c \u043b\u043e\u0433\u0438\u043a\u0438 Espresso. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043a\u0430\u0440\u0442\u044b \u041a\u0430\u0440\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 \u0432\u043e \u0432\u0441\u0435\u0445 \u0432\u0443\u0437\u043e\u0432\u0441\u043a\u0438\u0445 \u0443\u0447\u0435\u0431\u043d\u0438\u043a\u0430\u0445 \u043f\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e \u0446\u0438\u0444\u0440\u043e\u0432\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438, \u043d\u043e \u043a\u0430\u043a-\u0431\u044b \u0432\u0438\u0441\u044f\u0442 \u0432 \u0432\u043e\u0437\u0434\u0443\u0445\u0435. \u0418 \u0432\u043e\u0442 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u043f\u0440\u0438\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u043a\u0430\u0440\u0442\u044b \u041a\u0430\u0440\u043d\u043e \u043a \u0436\u0438\u0437\u043d\u0438 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u0430 \u043d\u0430 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0435 21-\u0433\u043e \u0432\u0435\u043a\u0430:<\/p>\n<p>  <img decoding=\"async\" width=\"500\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/52c\/9e1\/21d\/52c9e121d8f25d78b989c6f506220b30.png\"><\/p>\n<p>  \u0414\u0430\u043b\u0435\u0435 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u043f\u0438\u0448\u0435\u0442 \u043f\u0440\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u044b, \u043f\u0440\u0438\u0447\u0435\u043c \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 1) \u0441\u0442\u0440\u043e\u0433\u043e\u0435 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435; 2) \u0434\u0438\u0430\u0433\u0440\u0430\u043c\u043c\u044b; 3) \u043a\u043e\u0434; 4) \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u0438\u0445 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0442\u044c \u0434\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0441 \u0442\u0440\u0430\u043a\u0442\u043e\u043c \u0434\u0430\u043d\u043d\u044b\u0445 \u2014 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u043f\u043e\u0442\u043e\u043a\u043e\u0432; 5) \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u044d\u0442\u0438 \u043f\u043e\u0442\u043e\u043a\u0438 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442 \u0443 \u043d\u0435\u0433\u043e \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c, \u043a\u0430\u043a \u043f\u043e \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u00ab\u043f\u043e\u043b\u0438\u0442\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u043c\u00bb (\u0441\u043c. \u0432\u044b\u0448\u0435) \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u043c, \u0442\u0430\u043a \u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u043e\u0447\u0435\u0440\u0435\u0434\u0435\u0439.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/f15\/fc4\/f9e\/f15fc4f9e341beb44e5dd43186d07e33.png\"><br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/5a8\/b9b\/4d9\/5a8b9b4d9804354d029d66ab0b93e55e.png\"><\/p>\n<p>  \u0412\u043e\u0442 \u043a\u043e\u0434 \u043f\u0440\u043e\u0441\u0442\u043e\u0433\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430 \u0441 \u0442\u0440\u0430\u043a\u0442\u043e\u043c \u0434\u0430\u043d\u043d\u044b\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0422\u043e\u043c\u0430\u0441 \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u0430:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/64a\/bc8\/4d8\/64abc84d89ea080b40877f71e258d5e7.png\"><br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/a25\/63b\/052\/a2563b052a3fc77a6d0f94f9bbfeb3b1.png\"><\/p>\n<p>  \u0414\u0430\u043b\u0435\u0435 \u0443 \u0422\u043e\u043c\u0430\u0441\u0430 \u0438\u0434\u0435\u0442 \u0433\u043b\u0430\u0432\u0430 \u043f\u0440\u043e \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0442\u0430\u0439\u043c\u0438\u043d\u0433\u0430. \u041d\u0438\u0447\u0435\u0433\u043e \u043e\u0441\u043e\u0431\u043e\u0433\u043e, \u043d\u043e \u0447\u0438\u0449\u0435, \u0447\u0435\u043c \u043d\u0430 \u043c\u043d\u043e\u0433\u0438\u0445 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0445 \u0438\u043d\u0434\u0438\u0439\u0441\u043a\u0438\u0445 \u0441\u0430\u0439\u0442\u0430\u0445 \u00ab\u041a\u0430\u043a \u043f\u0440\u043e\u0439\u0442\u0438 VLSI \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e\u00bb. \u0410 \u0442\u0430\u043a\u0436\u0435 \u0431\u043e\u043b\u0435\u0435 \u043f\u043e\u043b\u043d\u043e, \u0447\u0435\u043c \u0432 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043a\u043d\u0438\u0433\u0430\u0445 \u043f\u043e \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0443, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0443\u0434\u043d\u043e \u0440\u0430\u0437\u0436\u0435\u0432\u044b\u0432\u0430\u044e\u0442 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u044f\u0437\u044b\u043a\u0430, \u043d\u043e \u043d\u0435 \u043e\u0447\u0435\u043d\u044c \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442, \u043a\u0430\u043a \u0435\u0433\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c.<\/p>\n<p>  \u0417\u0430\u0447\u0435\u043c \u043d\u0443\u0436\u0435\u043d \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u0442\u0430\u0439\u043c\u0438\u043d\u0433\u0430? \u0412 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u043c \u0436\u0435\u043b\u0435\u0437\u0435, \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0438\u043b\u043b\u044e\u0437\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u0443, \u043a\u0430\u0436\u0434\u043e\u0435 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0447\u0435\u0440\u0435\u0437 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b, \u043a\u043e\u0433\u0434\u0430 \u043d\u0430 \u043f\u0440\u043e\u0432\u043e\u0434\u0430\u0445 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u0441\u044f\u043a\u0438\u0439 \u043c\u0443\u0441\u043e\u0440 \u2014 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0435\u0442\u043a\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0435 \u043d\u0443\u043b\u0438 \u0438 \u0435\u0434\u0438\u043d\u0438\u0446\u044b, \u043d\u043e \u0438 \u0432\u0441\u044f\u043a\u0438\u0435 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0435 \u0433\u043b\u044e\u043a\u0438, \u0442\u043e \u0431\u0438\u0448\u044c glitch-\u0438, \u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435-\u0446\u0438\u0444\u0440\u043e\u0432\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0432 \u0437\u0430\u043f\u0440\u0435\u0449\u0435\u043d\u043d\u043e\u043c \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u0435 (forbidden zone). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0435\u0441\u043b\u0438 \u0443 \u0432\u0430\u0441 \u0432\u0441\u0435 \u043d\u0430\u043f\u0440\u044f\u0436\u0435\u043d\u0438\u044f \u0432\u044b\u0448\u0435 0.7 \u0432\u043e\u043b\u044c\u0442 \u0441\u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u0446\u0438\u0444\u0440\u043e\u0432\u043e\u0439 \u0435\u0434\u0438\u043d\u0438\u0446\u0435\u0439, \u0430 \u0432\u0441\u0435 \u043d\u0430\u043f\u0440\u044f\u0436\u0435\u043d\u0438\u044f \u043d\u0438\u0436\u0435 0.3 \u0432\u043e\u043b\u044c\u0442 \u2014 \u0446\u0438\u0444\u0440\u043e\u0432\u044b\u043c \u043d\u0443\u043b\u0435\u043c, \u0442\u043e \u043d\u0430 \u043f\u0440\u043e\u0432\u043e\u0434\u0435 \u043c\u043e\u0436\u0435\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f 0.4 \u0432\u043e\u043b\u044c\u0442\u0430.<\/p>\n<p>  \u0412 \u043a\u043e\u043d\u0446\u0435-\u043a\u043e\u043d\u0446\u043e\u0432 \u0432\u0441\u0435 \u0441\u0438\u0433\u043d\u0430\u043b\u044b \u0432 \u0441\u0445\u0435\u043c\u0435 \u043f\u0440\u043e\u0445\u043e\u0434\u044f\u0442 \u0441\u0432\u043e\u0439 \u043f\u0443\u0442\u044c \u0438 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f \u0443\u0441\u0442\u0430\u043a\u0430\u043d\u0438\u0432\u0430\u0435\u0442\u0441\u044f, \u043d\u043e \u044d\u0442\u043e \u00ab\u0432 \u043a\u043e\u043d\u0446\u0435 \u043a\u043e\u043d\u0446\u043e\u0432\u00bb \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u043c\u0435\u043d\u044c\u0448\u0435 \u0446\u0438\u043a\u043b\u0430 \u0442\u0430\u043a\u0442\u043e\u0432\u043e\u0433\u043e \u0441\u0438\u0433\u043d\u0430\u043b\u0430 (clock). \u042d\u0442\u043e\u0442 \u0446\u0438\u043a\u043b \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u043f\u0440\u043e\u043f\u043e\u0440\u0446\u0438\u043e\u043d\u0430\u043b\u0435\u043d \u0447\u0430\u0441\u0442\u043e\u0442\u0435, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441\u0445\u0435\u043c\u0430 (\u0433\u0438\u0433\u0430\u0433\u0435\u0440\u0446\u044b, \u043c\u0435\u0433\u0430\u0433\u0435\u0440\u0446\u044b).<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0443\u0441\u0442\u0430\u043a\u0430\u043d\u0438\u0432\u0448\u0438\u0439\u0441\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u0438\u043b\u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 \u043d\u0435 \u043f\u043e\u043f\u0430\u0434\u0435\u0442 \u0432 D-\u0442\u0440\u0438\u0433\u0433\u0435\u0440 (\u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043f\u0430\u043c\u044f\u0442\u0438) \u0432 \u043c\u043e\u043c\u0435\u043d\u0442 \u0430\u043f\u0435\u0440\u0442\u0443\u0440\u044b (\u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u0432\u043e\u043a\u0440\u0443\u0433 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0432\u043e\u0433\u043e \u0441\u0438\u0433\u043d\u0430\u043b\u0430), \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0441\u0445\u0435\u043c\u044b \u0441\u0442\u0430\u043d\u0435\u0442 \u043c\u0443\u0441\u043e\u0440\u043d\u044b\u043c \u2014 \u0441\u043f\u0443\u0442\u043d\u0438\u043a \u0438\u043b\u0438 \u0440\u0435\u0430\u043a\u0442\u043e\u0440 \u0432\u0437\u043e\u0440\u0432\u0435\u0442\u0441\u044f, \u0430\u0439\u0444\u043e\u043d \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043d\u0435\u0442 \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c \u043d\u0430 \u0437\u0432\u043e\u043d\u043a\u0438. \u0412\u0441\u044e \u044d\u0442\u0443 \u0442\u0435\u043c\u0443 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0448\u0438\u043a\u0443 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u043d\u0443\u0436\u043d\u043e \u0437\u043d\u0430\u0442\u044c \u043d\u0435 \u043c\u0435\u043d\u0435\u0435 \u0436\u0435\u043b\u0435\u0437\u043d\u043e, \u0447\u0435\u043c \u043b\u043e\u0433\u0438\u043a\u0443.<\/p>\n<p>  \u041f\u043e\u0447\u0435\u043c\u0443 \u0430\u043d\u0430\u043b\u0438\u0437 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439? \u0412 1980-\u0435 \u0433\u043e\u0434\u044b \u043e\u043d \u0431\u044b\u043b \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u2014 \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u0438 \u0432\u044b\u044f\u0441\u043d\u044f\u043b\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438. \u042d\u0442\u043e \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c \u043d\u0435\u043d\u0430\u0434\u0435\u0436\u043d\u044b\u043c \u0434\u043b\u044f \u0441\u0445\u0435\u043c \u0441 \u0441\u043e\u0442\u043d\u044f\u043c\u0438 \u0442\u044b\u0441\u044f\u0447, \u043c\u0438\u043b\u043b\u0438\u043e\u043d\u0430\u043c\u0438 \u0438 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u0430\u043c\u0438 \u0442\u0440\u0430\u043d\u0437\u0438\u0441\u0442\u043e\u0440\u043e\u0432, \u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0441\u0435 \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u0438 \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u044b\u0432\u0430\u044e\u0442 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043f\u0443\u0442\u0435\u0439 \u0441\u0438\u0433\u043d\u0430\u043b\u043e\u0432 \u043f\u043e\u0441\u043b\u0435 \u0441\u0438\u043d\u0442\u0435\u0437\u0430.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/19f\/88a\/31a\/19f88a31afeb1014b5ab54b08bb471ba.png\"><\/p>\n<p>  \u0422\u0430\u043a\u0442\u043e\u0432\u044b\u0439 \u0441\u0438\u0433\u043d\u0430\u043b \u0442\u043e\u0436\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u044c \u0432 \u0440\u0430\u0437\u043d\u044b\u0435 \u0447\u0430\u0441\u0442\u0438 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c\u044b \u0441 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u043e\u0439, \u0447\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u0442 \u043a \u044d\u0442\u043e\u0439 \u043a\u0443\u0445\u043d\u0435 \u0435\u0449\u0435 \u043e\u0434\u043d\u0443 \u043d\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0441\u0442\u044c, \u043e\u0442 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043d\u0443\u0436\u043d\u043e \u0438\u0437\u0431\u0430\u0432\u043b\u044f\u0442\u044c\u0441\u044f (\u043a \u0441\u0447\u0430\u0441\u0442\u044c\u044e \u043d\u0435 \u0432\u0440\u0443\u0447\u043d\u0443\u044e, \u0430 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u0434\u0435\u0440\u0435\u0432\u0430 \u0442\u0430\u043a\u0442\u043e\u0432\u044b\u0445 \u0441\u0438\u0433\u043d\u0430\u043b\u043e\u0432 \u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u0432):<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/78e\/928\/0be\/78e9280befef5b4d59ed2ab47cbe09e4.png\"><\/p>\n<p>  \u0412 \u0433\u043b\u0430\u0432\u0435 \u043f\u0440\u043e \u043f\u043e\u0442\u043e\u043a\u0438 \u0422\u043e\u043c\u0430\u0441 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0431\u0430\u0437\u043e\u0432\u044b\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432, \u043a\u0430\u043a \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0435 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u044b \u0441 \u0442\u0440\u0430\u043a\u0442\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u043c\u043e\u0433\u0443\u0442 \u043e\u0431\u043c\u0435\u043d\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0435\u0439, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0431\u0443\u0444\u0435\u0440\u0430 \u0438 \u043e\u0447\u0435\u0440\u0435\u0434\u0438. \u041a\u0430\u043a \u0432 \u0441\u0430\u043c\u043e\u043c \u0434\u0438\u0437\u0430\u0439\u043d\u0435 \/ \u0441\u0445\u0435\u043c\u0435 \u043d\u0443 \u0443\u0440\u043e\u0432\u043d\u0435 \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u043e\u0432\u044b\u0445 \u043f\u0435\u0440\u0435\u0434\u0430\u0447, \u0442\u0430\u043a \u0438 \u0432 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0447\u0435\u0441\u043a\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0438\u043b\u0438 \u0442\u0435\u0441\u0442\u043e\u0432\u043e\u043c \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0438 \u0441\u0445\u0435\u043c\u044b. \u041f\u0440\u0438 \u0447\u0442\u0435\u043d\u0438\u0438 \u0422\u043e\u043c\u0430\u0441\u0430 \u043d\u0435\u043f\u043b\u043e\u0445\u043e \u0441\u0430\u043c\u043e\u043c\u0443 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0438 \u043e\u0442\u043b\u0430\u0434\u0438\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432 \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u0438\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432. \u0414\u0435\u043b\u043e \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043a\u043e\u0434 \u043d\u0430 \u0442\u0430\u043a\u0438\u0435 \u0442\u0435\u043c\u044b (\u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u0438\u0440\u0443\u0449\u0438\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442, \u043f\u043e\u0442\u043e\u043a \u0434\u0430\u043d\u043d\u044b\u0445 \u043c\u0435\u0436\u0434\u0443 \u0434\u0432\u0443\u043c\u044f \u043c\u043e\u0434\u0443\u043b\u044f\u043c\u0438, \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u043d\u044b\u0435 \u0442\u0440\u0430\u043a\u0442\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043a\u043e\u0434 \u0434\u043b\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u043e\u0439 \u043e\u0447\u0435\u0440\u0435\u0434\u0438) \u043b\u044e\u0431\u044f\u0442 \u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0438\u0441\u0430\u0442\u044c \u043d\u0430 \u0434\u043e\u0441\u043a\u0435 \u0438\u043b\u0438 \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f \u0432 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0445 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f\u0445. \u0415\u0441\u043b\u0438 \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0439 \u0438\u0437 \u043e\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u0443 \u0422\u043e\u043c\u0430\u0441\u0430 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439 \u0437\u0430 20 \u043c\u0438\u043d\u0443\u0442 \u0441 \u043a\u043e\u0434\u043e\u043c \u043d\u0430 30-50 \u0441\u0442\u0440\u043e\u043a, \u0442\u043e \u0432\u044b \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u0442\u0435 \u0445\u043e\u0440\u043e\u0448\u0435\u0435 \u0432\u043f\u0435\u0447\u0430\u0442\u043b\u0435\u043d\u0438\u0435. \u0422\u044f\u0436\u0435\u043b\u043e \u0432 \u0443\u0447\u0435\u043d\u0438\u0438 \u2014 \u043b\u0435\u0433\u043a\u043e \u0432 \u0431\u043e\u044e.<\/p>\n<p>  \u0422\u0435\u0441\u0442\u043e\u0432\u043e\u0435 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0440\u043e\u0443\u0442\u0435\u0440\u043e\u0432 (\u0440\u0438\u0441. 8.3) \u0441 \u043e\u0447\u0435\u0440\u0435\u0434\u044f\u043c\u0438 \u0434\u043b\u044f \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u043e\u0440\u0442\u043e\u0432 \u2014 \u044d\u0442\u043e \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0434\u043b\u044f \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u044f \u043c\u0435\u0442\u043e\u0434\u043e\u043b\u043e\u0433\u0438\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u041d\u0430\u0432\u0435\u0440\u043d\u043e\u0435 \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0437 \u044d\u0442\u0438\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u043b\u043e\u0433\u0438\u0439 \u0438\u0437\u043e\u0431\u0440\u0435\u043b\u0438 \u0432 Cisco \u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f\u0445, \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0445 \u0447\u0438\u043f\u044b \u0434\u043b\u044f \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u0445\u0430\u0440\u0434\u0432\u0435\u0440\u0430.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/2ac\/dca\/f87\/2acdcaf87461f42dace506171a9b5b8d.png\"><\/p>\n<p>  \u0412 \u0433\u043b\u0430\u0432\u0435 6.2.2. \u0422\u043e\u043c\u0430\u0441 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u043e\u0434\u0438\u043d \u0438\u0437 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u2014 \u043f\u043e\u0448\u0430\u0433\u043e\u0432\u0443\u044e \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044e (Lock-step). \u041e\u0434\u043d\u043e \u0438\u0437 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0439 lock-step \u2014 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0432\u044b\u0441\u043e\u043a\u043e\u0439 \u043d\u0430\u0434\u0435\u0436\u043d\u043e\u0441\u0442\u0438, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0432 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u0438\u043a\u0435. \u0427\u0430\u0441\u0442\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439: \u0434\u0432\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430 \u043c\u043e\u0433\u0443\u0442 \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0442\u044c \u043e\u0434\u043d\u0443 \u0438 \u0442\u0443 \u0436\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443 \u0441 \u0437\u0430\u0434\u0435\u0440\u0436\u043a\u043e\u0439 \u0432 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0446\u0438\u043a\u043b\u043e\u0432, \u0438 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u044d\u0442\u043e\u0433\u043e \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u0430\u044f \u0441\u0445\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c, \u0447\u0442\u043e \u0443 \u043d\u0438\u0445 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u044e\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b.<\/p>\n<p>  <img decoding=\"async\" width=\"500\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/025\/8c4\/9d4\/0258c49d4062e138ba35c9b95ea22203.png\"><br \/>  <img decoding=\"async\" width=\"500\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/71a\/469\/9a4\/71a4699a4785bf19d020223cae755fd9.png\"><\/p>\n<p>  \u0422\u043e\u043c\u0430\u0441 \u044f\u0432\u043d\u043e \u0437\u0430\u043d\u0438\u043c\u0430\u043b\u0441\u044f \u043d\u0430\u0434\u0435\u0436\u043d\u043e\u0441\u0442\u044c\u044e, \u0442\u0430\u043a \u043a\u0430\u043a \u043f\u043e\u043c\u0438\u043c\u043e lock-step \u043e\u043d \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 CRC, \u0446\u0438\u043a\u043b\u0438\u0447\u0435\u0441\u043a\u0438 \u0438\u0437\u0431\u044b\u0442\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435 \u0434\u0430\u043d\u043d\u044b\u0445. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0422\u043e\u043c\u0430\u0441 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u043a\u0430\u043a \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c CRC \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e LFSR \u2014 \u0440\u0435\u0433\u0438\u0441\u0442\u0440 \u0441\u0434\u0432\u0438\u0433\u0430 \u0441 \u043b\u0438\u043d\u0435\u0439\u043d\u043e\u0439 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u0441\u0432\u044f\u0437\u044c\u044e. \u0418 \u0442\u043e, \u0438 \u0434\u0440\u0443\u0433\u043e\u0435 \u043d\u0443\u0436\u043d\u043e \u0443\u043c\u0435\u0442\u044c \u043c\u043e\u043b\u043e\u0434\u043e\u043c\u0443 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0443. \u0412 \u044d\u0442\u043e\u043c \u0434\u043e\u0441\u0442\u043e\u0438\u043d\u0441\u0442\u0432\u043e \u043a\u043d\u0438\u0436\u043a\u0438 \u0422\u043e\u043c\u0430\u0441\u0430 \u2014 \u0445\u043e\u0442\u044f \u043e\u043d\u0430 \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u043a\u043e\u043f\u0430\u0435\u0442 \u0433\u043b\u0443\u0431\u043e\u043a\u043e, \u043e\u043d\u0430 \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f \u043c\u043d\u043e\u0433\u0438\u0445 \u0442\u0435\u043c \u0438 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u0433\u0434\u0435 \u043d\u0430\u0434\u043e \u043a\u043e\u043f\u0430\u0442\u044c:<\/p>\n<p>  <img decoding=\"async\" width=\"500\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/f09\/6ce\/00c\/f096ce00c923d579fbf5248873633338.png\"><br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/641\/e42\/c1c\/641e42c1cea5c43b4f347ea571e1c497.png\"><\/p>\n<p>  \u041f\u0440\u0438 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 CRC \u0422\u043e\u043c\u0430\u0441 \u0441\u0441\u044b\u043b\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u043e\u0447\u0435\u043d\u044c \u0437\u0430\u043d\u044f\u0442\u043d\u0443\u044e \u0438 \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u043e\u043d\u044f\u0442\u0443\u044e \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u043a\u043d\u0438\u0436\u043a\u0443 <a href=\"http:\/\/www.silicon-russia.com\/2018\/02\/05\/hackers-delight-2ed\/\">Hacker\u2019s Delight<\/a>:<\/p>\n<p>  <img decoding=\"async\" width=\"600\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/b74\/43f\/0ff\/b7443f0ffb768250e141a6a62b272bcd.png\"><\/p>\n<p>  \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u0422\u043e\u043c\u0430\u0441 \u0432 \u0441\u0432\u043e\u0435\u0439 \u043d\u043e\u0432\u043e\u0439 \u043a\u043d\u0438\u0436\u043a\u0435 \u0437\u0430\u0442\u0440\u0430\u0433\u0438\u0432\u0430\u0435\u0442 \u0438 \u0442\u0440\u0438 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435 \u0431\u044b\u043b\u043e \u0432 \u0441\u0442\u0430\u0440\u043e\u0439 \u043a\u043d\u0438\u0436\u043a\u0435:<\/p>\n<ol>\n<li>\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044e \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439 \u0441 \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c\u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 (constrained random transactions \/ constraint solvers).<\/li>\n<li>\u0423\u0447\u0435\u0442 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u044e\u0449\u0438\u0445 \u043f\u0440\u0438 \u0431\u043e\u043c\u0431\u0430\u0440\u0434\u0438\u0440\u043e\u0432\u043a\u0435 \u0434\u0438\u0437\u0430\u0439\u043d\u0430 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u043e-\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u043c\u0438 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u044f\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0445 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0435\u0432, \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435 (functional coverage).<\/li>\n<li>\u042f\u0437\u044b\u043a \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439 \u0442\u0435\u043c\u043f\u043e\u0440\u0430\u043b\u044c\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438 (concurrent assertions) \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0435\u0433\u043e \u043a\u0430\u043a \u043f\u0440\u0438 \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438, \u0442\u0430\u043a \u0438 \u043f\u0440\u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0435 \u0441\u0432\u043e\u0439\u0441\u0442\u0432 \u0434\u0438\u0437\u0430\u0439\u043d\u0430 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438.<\/li>\n<\/ol>\n<p>  \u042d\u0442\u0438 \u0442\u0440\u0438 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0432\u043e\u0448\u043b\u0438 \u0432 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u044e \u043f\u043e \u0445\u043e\u0440\u043e\u0448\u0435\u043c\u0443 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 XXI \u0432\u0435\u043a\u0435, \u043d\u043e \u0437\u0430\u0442\u043e \u0432\u043e\u0448\u043b\u0438 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043a\u0440\u0435\u043f\u043a\u043e. \u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u043d\u0438 \u0432\u0441\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u043b\u0438\u0441\u044c \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 \u0441\u0440\u0435\u0434 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u043e\u043d\u043d\u044b\u043c\u0438 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0430\u043c\u0438, \u043d\u043e \u0441\u0435\u0439\u0447\u0430\u0441 \u0437\u043d\u0430\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f \u0438 \u044f\u0437\u044b\u043a\u0430 \u0442\u0435\u043c\u043f\u043e\u0440\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439 (SystemVerilog Assertions \u2014 SVA) \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u0438 \u043e\u0442 \u0434\u0438\u0437\u0430\u0439\u043d\u0435\u0440\u043e\u0432. \u0423 \u0422\u043e\u043c\u0430\u0441\u0430 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u043d\u0435\u043a\u0438\u0439 \u043c\u0438\u043d\u0438\u043c\u0443\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u0432\u0430\u043c \u043d\u0435 \u0437\u0430\u0440\u0443\u0431\u0438\u0442\u044c\u0441\u044f \u043d\u0430 \u0441\u043a\u0430\u0436\u0435\u043c \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u043c \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e, \u043d\u043e \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u0432\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0437\u043d\u0430\u0442\u044c \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u0431\u043e\u043b\u044c\u0448\u0435. \u041f\u0440\u0438\u0447\u0435\u043c \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u044f\u0437\u044b\u043a \u0442\u0435\u043c\u043f\u043e\u0440\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439 \u043a\u0430\u043a \u0442\u0430\u043a\u043e\u0432\u043e\u0439, \u043d\u043e \u0438 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0443 \u043e\u0442\u043b\u0430\u0434\u043a\u0438 \u0441 \u0435\u0433\u043e \u043f\u043e\u043c\u043e\u0449\u0438 \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0435\u043c\u044b\u0445 \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u043e\u043c \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u044b\u0445 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. Assertion-based formal verification \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 \u0433\u043e\u0434\u044b \u0441\u0438\u043b\u044c\u043d\u043e \u0432\u043d\u0435\u0434\u0440\u0438\u043b\u0438 \u0432\u043d\u0443\u0442\u0440\u0438 Apple, AMD \u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u0442\u0430\u043a\u0438\u0445 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0439.<\/p>\n<p>  \u0423 \u043c\u0435\u043d\u044f \u0435\u0441\u0442\u044c \u043f\u0440\u0438\u044f\u0442\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u043a\u0430\u0447\u0430\u043b <a href=\"https:\/\/www.amazon.com\/SystemVerilog-Assertions-Handbook-4th-Verification\/dp\/1518681441\">\u0432\u043e\u0442 \u0442\u0430\u043a\u0443\u044e \u043a\u043d\u0438\u0436\u043a\u0443 \u043f\u043e \u044f\u0437\u044b\u043a\u0443 \u0442\u0435\u043c\u043f\u043e\u0440\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439<\/a> \u0438 \u0438\u0437\u0443\u0447\u0430\u043b \u0435\u0435 \u0432\u0441\u0435 \u043d\u043e\u0432\u043e\u0433\u043e\u0434\u043d\u0438\u0435 \u043a\u0430\u043d\u0438\u043a\u0443\u043b\u044b \u0432\u043c\u0435\u0441\u0442\u043e \u043f\u043e\u0435\u0437\u0434\u043a\u0438 \u043d\u0430 \u0413\u0430\u0432\u0430\u0439\u0438 \u0441 \u0434\u0435\u0432\u0443\u0448\u043a\u0430\u043c\u0438. \u041e\u0442\u0441\u044e\u0434\u0430 \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u043e\u043d\u044f\u0442\u044c \u043d\u0430\u0441\u043a\u043e\u043b\u044c\u043a\u043e SystemVerilog Assertions (SVA) \u0432\u0430\u0436\u043d\u044b \u0434\u043b\u044f \u043a\u0430\u0440\u044c\u0435\u0440\u044b \u0438 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u0438. \u041f\u0440\u0430\u0432\u0434\u0430 \u0434\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0442\u044b \u043a\u0430\u0440\u0442\u0438\u043d\u044b \u044f \u0434\u043e\u043b\u0436\u0435\u043d \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u044c, \u0447\u0442\u043e \u043e\u043d \u0441\u044b\u043d \u044d\u043c\u0438\u0433\u0440\u0430\u043d\u0442\u043e\u0432 \u0438\u0437 \u0422\u0430\u0439\u0432\u0430\u043d\u044f, \u0438 \u0443 \u043d\u0438\u0445 \u0431\u043e\u043b\u0435\u0435 \u0441\u0443\u0440\u043e\u0432\u043e\u0435 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u043a \u0442\u0430\u043a\u0438\u043c \u0432\u0435\u0449\u0430\u043c, \u0447\u0435\u043c \u0443 \u0440\u0443\u0441\u0441\u043a\u0438\u0445.<\/p>\n<p>  \u0412\u043e\u0442 \u043a\u0430\u043a \u0422\u043e\u043c\u0430\u0441 \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u0439 (\u0442\u0440\u0430\u043d\u0437\u0430\u043a\u0446\u0438\u044f \u0441 \u043f\u043e\u043b\u044f\u043c\u0438 rand \u0438 \u0438\u0445 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 constraint):<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/efd\/b59\/285\/efdb59285ac580a1153611e9b1aee3fd.png\"><\/p>\n<p>  \u0410 \u0432\u043e\u0442 \u043a\u0430\u043a \u0422\u043e\u043c\u0430\u0441 \u043a\u0430\u0441\u0430\u0435\u0442\u0441\u044f functional coverage \u2014 covergroup\/coverpoint\/bins, \u0443\u0447\u0435\u0442 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0439 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 (cross), \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 wildcard bins, \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u044b \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u044f \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0432 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0430\u0445: <\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/2aa\/85c\/f2f\/2aa85cf2f04b2dd2b90a386939b2032e.png\"><\/p>\n<p>  \u0412\u043e\u0442 \u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0435\u0433\u043e \u0442\u0435\u043c\u043f\u043e\u0440\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f \u00ab\u0435\u0441\u043b\u0438 \u043d\u0430 \u043f\u043e\u0437\u0438\u0442\u0438\u0432\u043d\u043e\u043c \u0444\u0440\u043e\u043d\u0442\u0435 \u0442\u0430\u043a\u0442\u043e\u0432\u043e\u0433\u043e \u0441\u0438\u0433\u043d\u0430\u043b\u0430 q \u0438\u0441\u0442\u0438\u043d\u043d\u043e, \u0442\u043e \u0447\u0435\u0440\u0435\u0437 \u0446\u0438\u043a\u043b \u0434\u043e\u043b\u0436\u043d\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u0441\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c s2, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0441\u043d\u0430\u0447\u0430\u043b\u0430 \u0438\u0441\u0442\u0438\u043d\u043d\u043e r, \u0430 \u0435\u0449\u0435 \u0447\u0435\u0440\u0435\u0437 \u0442\u0440\u0438 \u0446\u0438\u043a\u043b\u0430 \u2014 s\u00bb:<\/p>\n<p>  <img decoding=\"async\" width=\"350\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/3af\/a3e\/a0d\/3afa3ea0d3de0afc4d93a3a6ee6fb3b4.png\"><\/p>\n<p>  \u0427\u0442\u043e \u0447\u0438\u0442\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u0434 \u0438 \u043f\u043e\u0441\u043b\u0435 \u043a\u043d\u0438\u0433\u0438 \u00ab\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0438 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0441\u0438\u0441\u0442\u0435\u043c \u043d\u0430 SystemVerilog\u00bb \u0414\u043e\u043d\u0430\u043b\u044c\u0434\u0430 \u0422\u043e\u043c\u0430\u0441\u0430?<br \/>  <\/font><\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0432\u044b \u043d\u0435 \u043f\u043e\u043d\u044f\u043b\u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0438\u0447\u0435\u0433\u043e \u0432 \u043c\u043e\u0435\u043c \u043f\u043e\u0441\u0442\u0435, \u0442\u043e \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u043a\u043d\u0438\u0436\u043a\u0443 <a href=\"https:\/\/dmkpress.com\/catalog\/electronics\/circuit_design\/978-5-97060-522-6\/\">\u201c\u0426\u0438\u0444\u0440\u043e\u0432\u0430\u044f \u0441\u0445\u0435\u043c\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0430\u201d \u0414\u044d\u0432\u0438\u0434\u0430 \u0425\u0430\u0440\u0440\u0438\u0441\u0430 \u0438 \u0421\u0430\u0440\u044b \u0425\u0430\u0440\u0440\u0438\u0441<\/a>. \u041a\u043d\u0438\u0436\u043a\u0443 \u0425\u0430\u0440\u0440\u0438\u0441 &amp; \u0425\u0430\u0440\u0440\u0438\u0441 \u043c\u043e\u0433\u0443\u0442 \u043f\u043e\u043d\u044f\u0442\u044c \u0432\u0441\u0435, \u043a\u0442\u043e \u0443\u043c\u0435\u0435\u0442 \u0447\u0438\u0442\u0430\u0442\u044c \u0438 \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u043f\u0440\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0438, \u0447\u0442\u043e \u0443 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u0435\u0441\u0442\u044c \u043c\u043e\u0442\u0438\u0432\u0430\u0446\u0438\u044f. \u041a\u043d\u0438\u0436\u043a\u0430 \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0441 \u0443\u0440\u043e\u0432\u043d\u044f \u0441\u0440\u0435\u0434\u043d\u0435\u0439 \u0448\u043a\u043e\u043b\u044b \u2014 \u043d\u0430\u043f\u0440\u044f\u0436\u0435\u043d\u0438\u0439, \u0434\u0432\u043e\u0438\u0447\u043d\u044b\u0445 \u0447\u0438\u0441\u0435\u043b \u2014 \u0438 \u0437\u0430\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u0430 \u043d\u0430 \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0435.<\/p>\n<p>  \u0421\u043f\u043e\u0439\u043b\u0435\u0440: \u0414\u044d\u0432\u0438\u0434 \u0425\u0430\u0440\u0440\u0438\u0441 \u0438 \u0421\u0430\u0440\u0430 \u0425\u0430\u0440\u0440\u0438\u0441 \u043d\u0435 \u043c\u0443\u0436 \u0438 \u0436\u0435\u043d\u0430 \u0438 \u0434\u0430\u0436\u0435 \u043d\u0435 \u0431\u0440\u0430\u0442 \u0438 \u0441\u0435\u0441\u0442\u0440\u0430. \u041e\u043d\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0434\u043d\u043e\u0444\u0430\u043c\u0438\u043b\u044c\u0446\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e \u0441\u0442\u0430\u043b\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043f\u0440\u0435\u043f\u043e\u0434\u0430\u0432\u0430\u0442\u0435\u043b\u044f\u043c\u0438 \u0432 \u043e\u0434\u043d\u043e\u043c \u0438 \u0442\u043e\u043c \u0436\u0435 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0435, \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0447\u0435\u0433\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u043a\u043d\u0438\u0436\u043a\u0443.<\/p>\n<p>  \u0412\u043e\u0442 \u0441\u043b\u0435\u0432\u0430 \u043d\u0430 \u0444\u043e\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0438 \u0434\u0435\u0432\u0443\u0448\u043a\u0430 \u0418\u0440\u0438\u043d\u0430 \u0438\u0437 \u043d\u043e\u0432\u043e\u0441\u0438\u0431\u0438\u0440\u0441\u043a\u043e\u0433\u043e \u0410\u043a\u0430\u0434\u0435\u043c\u0433\u043e\u0440\u043e\u0434\u043a\u0430 \u0434\u0435\u0440\u0436\u0438\u0442 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u0435 \u0438\u0437\u0434\u0430\u043d\u0438\u0435 \u0425\u0430\u0440\u0440\u0438\u0441 &amp; \u0425\u0430\u0440\u0440\u0438\u0441, \u0430 \u0441\u043f\u0440\u0430\u0432\u0430 \u2014 \u0435\u0435 \u0440\u0443\u0441\u0441\u043a\u043e\u0435 \u0438\u0437\u0434\u0430\u043d\u0438\u0435.<\/p>\n<p>  <a href=\"https:\/\/dmkpress.com\/catalog\/electronics\/circuit_design\/978-5-97060-522-6\/\">dmkpress.com\/catalog\/electronics\/circuit_design\/978-5-97060-522-6<\/a><\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/b26\/a14\/e77\/b26a14e7736c027d09d48a32b98c2abd.png\"><\/p>\n<p>  \u041f\u043e\u0441\u043b\u0435 \u043a\u043d\u0438\u0436\u043a\u0438 \u0414\u043e\u043d\u0430\u043b\u044c\u0434\u0430 \u0422\u043e\u043c\u0430\u0441\u0430 \u044f \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0441\u043a\u0430\u0447\u0430\u0442\u044c \u0441\u0442\u0430\u0442\u044c\u0438 \u041a\u043b\u0438\u0444\u0444\u0430 \u041a\u0430\u043c\u043c\u0438\u043d\u0433\u0441\u0430. \u041e\u043d \u0441\u0430\u043c\u044b\u0439 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0442\u0440\u0435\u043d\u0435\u0440 \u043f\u043e \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0443 \u043a\u0430\u043a \u0434\u043b\u044f \u0441\u0438\u043d\u0442\u0435\u0437\u0430, \u0442\u0430\u043a \u0438 \u0434\u043b\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. \u041f\u0440\u0438 \u0447\u0442\u0435\u043d\u0438\u0438 \u043a\u043d\u0438\u0433\u0438 \u0414\u043e\u043d\u0430\u043b\u044c\u0434\u0430 \u0422\u043e\u043c\u0430\u0441\u0430 \u0443 \u043c\u0435\u043d\u044f \u043c\u043d\u043e\u0433\u043e \u0440\u0430\u0437 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u043b\u0430 \u043c\u044b\u0441\u043b\u044c \u00ab\u0430 \u0432\u043e\u0442 \u0442\u0443\u0442 \u0445\u043e\u0440\u043e\u0448\u043e \u0431\u044b \u0432\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0434\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0442\u044b \u0442\u0430\u043a\u043e\u0439-\u0442\u043e \u043a\u0443\u0441\u043e\u043a \u0438\u0437 \u041a\u043b\u0438\u0444\u0444\u0430 \u041a\u0430\u043c\u043c\u0438\u043d\u0433\u0441\u0430\u00bb. \u041a\u043b\u0438\u0444\u0444 \u0431\u0435\u0440\u0435\u0442 \u043d\u0430 \u0441\u0435\u043c\u0438\u043d\u0430\u0440\u0430\u0445 \u043f\u043e $1000-$3000 \u0437\u0430 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0441\u043b\u0443\u0448\u0430\u0442\u0435\u043b\u044f, \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0441\u0435\u043c\u0438\u043d\u0430\u0440\u0430 (\u043e\u0442 \u0434\u043d\u044f \u0434\u043e \u043d\u0435\u0434\u0435\u043b\u0438), \u0438 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438 \u043f\u043b\u0430\u0442\u044f\u0442, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0432\u044b\u0441\u0438\u0442\u044c \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u043e \u0441\u0432\u043e\u0438\u0445 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043e\u0432, \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0432\u044b\u0443\u0447\u0435\u043d\u043d\u044b\u0445 \u0432 \u0432\u0443\u0437\u0430\u0445. \u0414\u0430\u0436\u0435 \u0432 \u0421\u0442\u0435\u043d\u0444\u043e\u0440\u0434\u0435 \u0443\u0432\u044b, \u043d\u0435 \u0432\u0441\u0435 \u044d\u0442\u043e \u0443\u0447\u0430\u0442 \u2014 \u0443 \u043c\u0435\u043d\u044f \u0431\u044b\u043b \u0438\u043d\u0442\u0435\u0440\u043d \u0438\u0437 \u0421\u0442\u0435\u043d\u0444\u043e\u0440\u0434\u0430, \u043e\u0442 \u043d\u0435\u0433\u043e \u044f \u044d\u0442\u043e \u0437\u043d\u0430\u044e. \u0415\u0441\u043b\u0438 \u0432\u044b \u0441\u043a\u0430\u0447\u0430\u0435\u0442\u0435 \u0432\u0441\u0435 \u0431\u0435\u0441\u043f\u043b\u0430\u0442\u043d\u044b\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u041a\u043b\u0438\u0444\u0444\u0430 \u041a\u0430\u043c\u043c\u0438\u043d\u0433\u0441\u0430 \u043f\u043e\u0441\u043b\u0435 \u0447\u0442\u0435\u043d\u0438\u044f \u0414\u043e\u043d\u0430\u043b\u044c\u0434\u0430 \u0422\u043e\u043c\u0430\u0441\u0430, \u0442\u043e \u0432\u044b \u0441\u044a\u044d\u043a\u043e\u043d\u043e\u043c\u0438\u0442\u0435 \u0432\u0441\u0435 \u044d\u0442\u0438 \u0434\u0435\u043d\u044c\u0433\u0438.<\/p>\n<p>  \u0412\u043e\u0442 \u044d\u0442\u0438 \u0434\u0432\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b \u2014 \u044d\u0442\u043e \u043b\u044e\u0431\u044f\u0442 \u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u0442\u044c \u0432\u0435\u0437\u0434\u0435 \u043d\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e:<\/p>\n<p>  <a href=\"http:\/\/www.sunburst-design.com\/papers\/CummingsSNUG2008Boston_CDC.pdf\">Clock Domain Crossing (CDC) Design &amp; Verification Techniques Using SystemVerilog<\/a><\/p>\n<p>  <a href=\"http:\/\/www.sunburst-design.com\/papers\/CummingsSNUG2002SJ_FIFO2.pdf\">Simulation and Synthesis Techniques for Asynchronous FIFO Design with Asynchronous Pointer Comparisons<\/a><\/p>\n<p>  \u0412\u043e\u0442 \u044d\u0442\u0438 \u0434\u0432\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0436\u0435\u043b\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u043f\u0440\u043e \u0441\u043d\u044f\u0442\u0438\u0435 \u0430\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u0433\u043e \u0440\u0435\u0441\u0435\u0442\u0430, \u043f\u0435\u0440\u0435\u043a\u043e\u0434\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439 FSM \u0438 c\u0442\u0438\u043b\u044c FSM \u00abcase (1&#8217;b1) \/\/ synopsys parallel_case\u00bb, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u0430\u0432\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0441\u044f \u0432 \u0432\u044b\u0441\u043e\u043a\u043e\u0441\u043a\u043e\u0440\u043e\u0441\u0442\u043d\u044b\u0445 \u0447\u0438\u043f\u0430\u0445, \u0435\u0449\u0435 \u0432 Sun Microsystems, \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u0441\u0435\u0439\u0447\u0430\u0441:<\/p>\n<p>  <a href=\"http:\/\/www.sunburst-design.com\/papers\/CummingsSNUG2003Boston_Resets.pdf\">Asynchronous &amp; Synchronous Reset Design Techniques \u2014 Part Deux<\/a><\/p>\n<p>  <a href=\"http:\/\/www.sunburst-design.com\/papers\/CummingsSNUG2000Boston_FSM.pdf\">Coding And Scripting Techniques For FSM Designs With Synthesis-Optimized, Glitch-Free Outputs<\/a><\/p>\n<p>  \u0410 \u0432\u043e\u0442 \u043b\u044e\u0431\u043e\u043f\u044b\u0442\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f, \u0433\u0434\u0435 \u0432\u044b \u0443\u0432\u0438\u0434\u0438\u0442\u0435 \u043d\u0435\u0434\u043e\u0434\u0443\u043c\u0430\u043d\u043d\u043e\u0441\u0442\u044c \u0432\u0435\u0440\u0438\u043b\u043e\u0433\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043e\u0441\u0442\u0430\u043b\u0430\u0441\u044c \u0441 1980-\u0445 \u0433\u043e\u0434\u043e\u0432. \u0425\u043e\u0442\u044f \u0441\u0435\u0439\u0447\u0430\u0441, \u0432 \u044d\u043f\u043e\u0445\u0443 static timing analysis, \u044d\u0442\u043e \u043d\u0435 \u0442\u0430\u043a \u0430\u043a\u0442\u0443\u0430\u043b\u044c\u043d\u043e, \u043d\u043e inertial \u0438 transport delays \u0438\u043d\u043e\u0433\u0434\u0430 \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0432 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0435 \u0438 \u043a\u043e\u0434\u0435, \u0438 \u0441\u0442\u043e\u0438\u0442 \u0437\u043d\u0430\u0442\u044c, \u043a\u0430\u043a \u0438\u0445 \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c:<\/p>\n<p>  <a href=\"http:\/\/www.sunburst-design.com\/papers\/CummingsHDLCON1999_BehavioralDelays_Rev1_1.pdf\">Correct Methods For Adding Delays To Verilog Behavioral Models<\/a><\/p>\n<p>  \u042d\u0442\u043e \u044f \u0441 \u041a\u043b\u0438\u0444\u0444\u043e\u043c \u041a\u0430\u043c\u043c\u0438\u043d\u0433\u0441\u043e\u043c:<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/c8b\/2a3\/f34\/c8b2a3f34b423c695917e5ded854127e.jpg\"><\/div>\n<p>               <script class=\"js-mediator-script\">!function(e){function t(t,n){if(!(n in e)){for(var r,a=e.document,i=a.scripts,o=i.length;o--;)if(-1!==i[o].src.indexOf(t)){r=i[o];break}if(!r){r=a.createElement(\"script\"),r.type=\"text\/javascript\",r.async=!0,r.defer=!0,r.src=t,r.charset=\"UTF-8\";var d=function(){var e=a.getElementsByTagName(\"script\")[0];e.parentNode.insertBefore(r,e)};\"[object Opera]\"==e.opera?a.addEventListener?a.addEventListener(\"DOMContentLoaded\",d,!1):e.attachEvent(\"onload\",d):d()}}}t(\"\/\/mediator.mail.ru\/script\/2820404\/\",\"_mediator\")}(window);<\/script>     <br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/465969\/\"> https:\/\/habr.com\/ru\/post\/465969\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\">\u041d\u0430\u043a\u043e\u043d\u0435\u0446-\u0442\u043e \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u0432\u044b\u0448\u0435\u043b <a href=\"https:\/\/dmkpress.com\/catalog\/electronics\/cad\/978-5-97060-619-3\/\">\u0443\u0447\u0435\u0431\u043d\u0438\u043a \u043f\u043e SystemVerilog \u0443\u0440\u043e\u0432\u043d\u0435\u043c \u0432\u044b\u0448\u0435 \u0447\u0435\u043c \u0434\u043b\u044f \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0449\u0438\u0445<\/a>. \u0423\u0447\u0435\u0431\u043d\u0438\u043a \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0438 \u043f\u0440\u0438\u0435\u043c\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u044e\u0442 \u043d\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e \u0432 NVidia, Intel, AMD, Apple \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438: \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 concurrent assertions \u0438 functional coverage, \u0447\u0442\u043e \u0441\u0435\u0439\u0447\u0430\u0441 \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043e\u0432 \u043f\u043e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438, \u043d\u043e \u0438 \u043e\u0442 \u0434\u0438\u0437\u0430\u0439\u043d\u0435\u0440\u043e\u0432 \u043c\u0438\u043a\u0440\u043e\u0441\u0445\u0435\u043c; \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u0438\u043c\u0443\u043b\u044f\u0442\u043e\u0440\u0430 \u0441 \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u0430\u043c\u0438; \u0432\u043c\u0435\u043d\u044f\u0435\u043c\u043e\u0435 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u0435 static timing analysis; \u0441\u0445\u0435\u043c\u044b \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u043a\u0430\u0446\u0438\u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u0431\u043b\u043e\u043a\u043e\u0432 \u0447\u0435\u0440\u0435\u0437 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0435 \u043e\u0447\u0435\u0440\u0435\u0434\u0438; \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e \u044d\u0442\u0438\u0445 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u043a\u0430\u0446\u0438\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432 \u0441 \u0442\u0440\u0430\u043a\u0442\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u0438 \u0442.\u0434.<\/p>\n<p>  \u0412 \u0433\u043b\u0430\u0432\u0435 \u043f\u0440\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u043c\u043e\u0436\u0435\u0442 \u043e\u0437\u0430\u0434\u0430\u0447\u0438\u0442\u044c \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043d\u0438\u0435 \u00ab\u043f\u043e\u043b\u0438\u0442\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b\u00bb. \u0427\u0442\u043e \u0431\u044b \u044d\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u043b\u043e? \u042d\u0442\u043e \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e \u043d\u0430\u043c\u0435\u043a \u043d\u0430 <a href=\"http:\/\/edition.cnn.com\/2003\/TECH\/ptech\/11\/26\/master.term.reut\/index.html\">\u043a\u0430\u0437\u0443\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0438\u0437\u043e\u0448\u0435\u043b \u0432 \u043e\u043a\u0440\u0443\u0433\u0435 \u041b\u043e\u0441-\u0410\u043d\u0436\u0435\u043b\u0435\u0441<\/a> \u0432 2003 \u0433\u043e\u0434\u0443. \u0427\u0438\u043d\u043e\u0432\u043d\u0438\u043a\u0438 \u041b\u043e\u0441-\u0410\u043d\u0434\u0436\u0435\u043b\u0435\u0441\u0430 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u043b\u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u0435\u0439, \u043f\u043e\u0441\u0442\u0430\u0432\u0449\u0438\u043a\u043e\u0432 \u0438 \u043f\u043e\u0434\u0440\u044f\u0434\u0447\u0438\u043a\u043e\u0432 \u043f\u0440\u0435\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u00abmaster\/slave\u00bb (\u00ab\u0445\u043e\u0437\u044f\u0438\u043d\u00bb \u0438 \u00ab\u0440\u0430\u0431\u00bb) \u0432 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u0434\u043d\u043e\u043c\u0443 \u0438\u0437 \u0440\u0430\u0431\u043e\u0442\u043d\u0438\u043a\u043e\u0432 \u043e\u043a\u0440\u0443\u0433\u0430 \u044d\u0442\u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u043d\u0430\u043f\u043e\u043c\u043d\u0438\u043b\u0438 \u043f\u0440\u043e \u0440\u0430\u0431\u043e\u0432\u043b\u0430\u0434\u0435\u043b\u044c\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0448\u043b\u043e\u0435.<\/p>\n<p>  \u0421\u0435\u0439\u0447\u0430\u0441 \u0430\u0432\u0442\u043e\u0440\u044b \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u044b \u0438\u0437\u0431\u0435\u0433\u0430\u044e\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 master\/slave. \u0412 \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0410\u043c\u0435\u0440\u0438\u043a\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0438 \u0430\u0444\u0440\u043e-\u0430\u043c\u0435\u0440\u0438\u043a\u0430\u043d\u0441\u043a\u0438\u0435 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u044b (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0421\u043e\u0444\u0438\u044f \u041c\u0432\u043e\u043a\u0430\u043d\u0438 \u0438\u0437 \u041a\u0430\u043c\u0435\u0440\u0443\u043d\u0430 \u2014 \u043d\u0430 \u0444\u043e\u0442\u043e \u0441\u043b\u0435\u0432\u0430), \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u0442\u0430\u0440\u044b\u0445 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0430\u0440\u0445\u0430\u0438\u0447\u043d\u043e, \u043a\u0430\u043a \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u043b\u0438 \u0431\u044b \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u00ab\u043f\u0430\u043d\/\u0445\u043e\u043b\u043e\u043f\u00bb \u0432 \u0443\u043a\u0440\u0430\u0438\u043d\u0441\u043a\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0435 \u0432\u043c\u0435\u0441\u0442\u043e \u043f\u0440\u0438\u043d\u044f\u0442\u044b\u0445 \u00ab\u043f\u0440\u043e\u0432\u0456\u0434\u043d\u0438\u0439\/\u0432\u0435\u0434\u0435\u043d\u0438\u0439\u00bb (\u0440\u0443\u0441. \u00ab\u0432\u0435\u0434\u0443\u0449\u0438\u0439\/\u0432\u0435\u0434\u043e\u043c\u044b\u0439\u00bb).<\/p>\n<p>  \u042d\u0442\u043e \u043d\u0435 \u043f\u0435\u0440\u0432\u044b\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432 \u0440\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u043e\u043c \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u043e\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u0435\u043c\u0430 \u0431\u043e\u0440\u044c\u0431\u044b \u0430\u0444\u0440\u043e-\u0430\u043c\u0435\u0440\u0438\u043a\u0430\u043d\u0446\u0435\u0432 \u0437\u0430 \u0433\u0440\u0430\u0436\u0434\u0430\u043d\u0441\u043a\u0438\u0435 \u043f\u0440\u0430\u0432\u0430. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0422\u0430\u0442\u044c\u044f\u043d\u0430 \u0412\u043e\u043b\u043a\u043e\u0432\u0430, \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442 \u043f\u043e \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u044e \u0432 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u0438\u043a\u0435, \u043d\u043e\u0441\u0438\u0442 \u043c\u0430\u0435\u0447\u043a\u0443 \u0441 \u044d\u043c\u0431\u043b\u0435\u043c\u043e\u0439 \u00ab\u0427\u0435\u0440\u043d\u044b\u0445 \u041f\u0430\u043d\u0442\u0435\u0440\u00bb, \u043a\u0430\u043b\u0438\u0444\u043e\u0440\u043d\u0438\u0439\u0441\u043a\u043e\u0433\u043e \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432 \u0441\u0432\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0441\u043e\u0447\u043b\u043e \u043c\u0438\u0440\u043d\u044b\u0439 \u043f\u0440\u043e\u0442\u0435\u0441\u0442 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u044b\u043c, \u0438 \u0437\u0430\u043d\u044f\u043b\u043e\u0441\u044c \u0432\u043e\u043e\u0440\u0443\u0436\u0435\u043d\u043d\u044b\u043c \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u043e\u043c.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/e44\/fc8\/a9b\/e44fc8a9b5614dd32d1a56b95b59d0c0.png\"><\/p>\n<p>  \u041f\u043e\u043b\u043d\u043e\u0435 \u0438\u0437\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u044d\u043c\u0431\u043b\u0435\u043c\u044b \u043f\u043e\u0434 \u043a\u043e\u0436\u0430\u043d\u043a\u043e\u0439 \u0422\u0430\u0442\u044c\u044f\u043d\u044b \u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u043e\u0432\u043d\u044b \u2014 \u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c, \u043d\u043e \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c \u044f \u0431\u0443\u0434\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043f\u0440\u043e \u0434\u0435\u043b\u044c\u0442\u0430-\u0446\u0438\u043a\u043b\u044b \u0438 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u044b:  <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-294204","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/294204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=294204"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/294204\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=294204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=294204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=294204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}