Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.
Печатное издание имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. Гарантийное обязательство также прилагается. Действует дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет преставлена более исчерпывающая информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Практикум по проектированию на языках VerilogHDL и SystemVerilog. Учебное пособие
Представлены основные этапы проектирования дискретных устройств с использованием языков проектирования и верификации VerilogHDL и SystemVerilog: создание описания, моделирование, имплементация в реальную…
-
Проектирование информационных систем. Методы и средства структурно-функционального проектирования
Практикум содержит теоретические положения и практические указания по проектированию информационных систем с использованием технологии автоматизированного проектирования. Основное внимание уделено методическим основам…
-
Проектирование информационных систем. Технология автоматизированного проектирования
Лабораторный практикум содержит ряд теоретических и практических указаний по проектированию информационных систем средствами, поддерживающими компьютерную реализацию алгоритмического подхода и позволяющими комплексно…
-
Логические основы проектирования дискретных устройств
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются…
-
Проектирование встраиваемых систем на ПЛИС
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных…
-
Проектирование информационных систем. Учебное пособие
В учебном пособии рассмотрены особенности проектирования информационных систем (ИС), участвующих в реализации CALS-технологий: MRP/MRPII/ERP-систем, систем электронной коммерции (В2В), управления цепочками поставок…
-
Проектирование информационных систем. Учебное пособие
Учебное пособие по дисциплине "Проектирование информационных систем" предназначено для студентов, обучающихся по направлению "Прикладная информатика". В пособии раскрываются основы проектирования экономических…
-
Теория проектирования распределенных информационных систем
В монографии предложен подход к проектированию системы прикладной распределенной информационной системы. В работе исследованы принципиальные возможности решения поставленных задач. Выполнено сравнение…
-
Проектирование конструктивных систем перекрытий и покрытий
Изложены результаты длительных исследований взаимодействия элементов сборных железобетонных конструкций перекрытий и покрытий зданий. Представлены исследования конструктивных элементов перекрытий и покрытий. Проанализировано…