В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL'2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. В книгу включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.
V nastojaschem izdanii rassmatrivajutsja podgotovka testirujuschikh programm, modelirovanie i verifikatsija VHDL-opisanij proektov tsifrovykh sistem, realizuemykh na elementnoj baze sverkhbolshikh integralnykh skhem i sistem na kristalle. Privodjatsja poshagovye marshruty vypolnenija razlichnykh vidov modelirovanija v sisteme Questa Sim. Opisyvajutsja standart VHDL'2008 jazyka VHDL i orientirovannyj na verifikatsiju jazyk PSL (jazyk assertov) dlja zapisi utverzhdenij o svojstvakh povedenija proektiruemykh tsifrovykh sistem. V knigu vkljucheno bolshoe chislo primerov, kotorye mogut byt ispolzovany dlja sovershenstvovanija navykov prakticheskoj raboty v sisteme Questa Sim pri promyshlennom proektirovanii. Dlja studentov, magistrantov i aspirantov, izuchajuschikh jazyki VHDL i PSL i ikh primenenie v sistemakh avtomatizirovannogo proektirovanija, a takzhe dlja spetsialistov, zanimajuschikhsja proektirovaniem tsifrovykh sistem.
