Моделирование и верификация цифровых систем на языке VHDL

Автор:П. Н. Бибило, Н. А. Авдеев

Издательство:Ленанд

Страниц:344

Год:2017

Обложка:Мягкий переплет

Размер:60x90/16

SKU:RU885370

ISBN:9785971039372

Наша цена:US $76.00

Отправляется через 16-24 дня

Описание

В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. В книгу включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.