Логическое проектирование и верификация систем на SystemVerilog

Автор: Томас Д.
Год: 2019
Издательство: ДМК Пресс
ISBN: 978-5-97060-619-3

Купить (проверить наличие)
эту книгу в интернет-магазинах:
» Озон

Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации.

Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров.

Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog.

Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.

Томас Д. - Логическое проектирование и верификация систем на SystemVerilog

Для комментирования материалов с сайта и получения полного доступа к нашему форуму Вам необходимо зарегистрироваться.
Имя

Публикации по теме:

Проектирование встраиваемых систем на ПЛИСПроектирование встраиваемых систем на ПЛИС
Заиналабедин Наваби
Проектирование систем на микросхемах с программируемой структуройПроектирование систем на микросхемах с программируемой структурой
Р. Грушвицкий, А. Мурсаев, Е. Угрюмов
Проектирование встраиваемых микропроцессорных систем на основе ПЛИС фирмы XILINXПроектирование встраиваемых микропроцессорных систем на основе ПЛИС фирмы XILINX
В. Ю. Зотов
Проектирование и расчет структурированных кабельных систем и их компонентовПроектирование и расчет структурированных кабельных систем и их компонентов
А. Б. Семенов
Проектирование устройств и систем на поверхностной электромагнитной волнеПроектирование устройств и систем на поверхностной электромагнитной волне
А. А. Копылов