Главная / Книги / Компьютерная литература / Разработка ПО / Языки и среды программирования, технологии и т.п. / Прочие издания
Логическое проектирование и верификация систем на SystemVerilog
- Автор: Томас Д.
- Издательство: ДМК Пресс
- Год издания: 2019
- Обложка: мягкая обложка
- Страниц: 384
- Томов: 1
- Вес: 400 г.
- ISBN: 978-5-97060-619-3
Описание
Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации.
Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров.
Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog.
Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.
Товар прошел сертификацию качества, безопасности и гигиены. К любой покупке прилагается гарантия. Предлагается накопительная система скидок, зависящая от объема покупок, совершавшихся ранее. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Исчерпывающую информацию о сроках доставки и величине скидки можно будет узнать в процессе оформления заказа. Приятных покупок.
Возможно, Вам будет интересно
-
Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузовАвтор: Аверина Т.А.Издательство: Юрайт638 р.в корзину
-
1162 р.в корзину
-
Информационные технологии. Анализ и проектирование информационных системАвтор: Рочев К.В.Издательство: Лань1033 р.в корзину
-
1074 р.в корзину
-
21721738 р.в корзину20%
-
548 р.в корзину
-
Проектирование информационных систем. Учебник и практикум для СПОАвтор: Грекул В.И.Издательство: Юрайт1151 р.в корзину
-
Проектирование информационных систем. Учебное пособие для вузовАвтор: Григорьев М.В.Издательство: Юрайт1009 р.в корзину
-
Проектирование информационных систем. Учебное пособие для СПОАвтор: Григорьев М.В.Издательство: Юрайт1009 р.в корзину
-
Расчет и проектирование магнитных систем с постоянными магнитамиАвтор: Арнольд Р.Р.Издательство: ЁЁ Медиа1592 р.в корзину
-
Проектирование информационных систем. Учебник и практикум для СПОАвтор: Чистов Д.В.Издательство: Юрайт1039 р.в корзину
-
Проектирование информационных систем. Начальные этапыАвтор: Л.А. ХодоровскийИздательство: Нобель Пресс388 р.в корзину