Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной элементной базе сверхбольших интегральных схем и систем-на-кристалле. Под функциональной верификацией понимается проверка соответствия VHDL-описаний проектов спецификациям на проектирование. Основное внимание уделяется верификации VHDL-описаний блоков управляющей логики и сложных функциональных блоков, а также подготовке компактных функциональных тестов. Включено большое число примеров, которые могут быть использованы для совершенствования навыков написания VHDL-программ и навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих язык VHDL и его применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых устройств и систем.
Rassmatrivajutsja problemy funktsionalnoj verifikatsii proektov sinkhronnykh tsifrovykh ustrojstv, predstavlennykh na jazyke VHDL, kotoryj shiroko ispolzuetsja v kachestve jazyka iskhodnogo opisanija proektov pri sozdanii elektronnoj apparatury na sovremennoj elementnoj baze sverkhbolshikh integralnykh skhem i sistem-na-kristalle. Pod funktsionalnoj verifikatsiej ponimaetsja proverka sootvetstvija VHDL-opisanij proektov spetsifikatsijam na proektirovanie. Osnovnoe vnimanie udeljaetsja verifikatsii VHDL-opisanij blokov upravljajuschej logiki i slozhnykh funktsionalnykh blokov, a takzhe podgotovke kompaktnykh funktsionalnykh testov. Vkljucheno bolshoe chislo primerov, kotorye mogut byt ispolzovany dlja sovershenstvovanija navykov napisanija VHDL-programm i navykov prakticheskoj raboty v sisteme Questa Sim pri promyshlennom proektirovanii. Dlja studentov, magistrantov i aspirantov, izuchajuschikh jazyk VHDL i ego primenenie v sistemakh avtomatizirovannogo proektirovanija, a takzhe dlja spetsialistov, zanimajuschikhsja proektirovaniem tsifrovykh ustrojstv i sistem.
