VHDL для моделирования синтеза и формальной верификации аппаратуры

VHDL для моделирования, синтеза и формальной верификации аппаратуры — Книга не ставит целью проведение исчерпывающего анализа текущего состояния по этим важным направлениям развития САПР. Однако авторы, которые являются признанными мировыми авторитетами по этим вопросам, представили результаты своих исследований по ряду актуальных задач, успешное решение которых во многом определяет эффективность применения соответствующих инструментальных средств автоматизации проектирования.
Книга представляет интерес для разработчиков радиоэлектронной аппаратуры, СБИС и средств автоматизации их проектирования, а также может послужить основой для обучения аспирантов и студентов старших курсов по ряду специальностей.