"VHDL для моделирования, синтеза и формальной верификации аппаратуры" - читать интересную книгу автора (Мермье Ж.(ред.))