{"product_id":"donald-tomas-logicheskoe-proektirovanie-i-verifikatsiya-sistem-na-systemverilog","title":"Дональд Томас: Логическое проектирование и верификация систем на SystemVerilog","description":"Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации.\r.Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров.\r.Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog.\r.Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.\r.\r.","brand":"ДМК-Пресс","offers":[{"title":"Default Title","offer_id":50782863589692,"sku":"mikk8ka33rl9fwf7v88m1kd9","price":68.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/donald_tomas_logicheskoe_proektirovanie_i_verifikatsiya_sistem_na_systemverilog_1.jpg?v=1737543664","url":"https:\/\/knizhka.us\/products\/donald-tomas-logicheskoe-proektirovanie-i-verifikatsiya-sistem-na-systemverilog","provider":"Книжка US","version":"1.0","type":"link"}