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

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

#ASTTD# Поисковые запросы: П. Н. Бибило, Н. А. Авдеев , П.Н. Бибило, Н.А. Авдеев , Ленанд , Ленанд , Русский , Рысский , 9785971039372 , 978-5-9710-3937-2 , 885370