978-5-9710-3937-2
Книга: Моделирование и верификация цифровых систем на языке VHDL
В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. В книгу включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании.
Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.
Другие книги автора Бибило П.Н. Авдеев Н.А.
-
-
Задачи по проектированию логических схем с использованием языка VHDL
товар в наличии
отгрузка: 28.041 446 руб. -
Задачи по проектированию логических схем с использованием языка VHDL
товар в наличии
отгрузка: 28.04918 руб. -
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
товар в наличии
отгрузка: 28.04823 руб. -
