Основы тестирования и верификации программного обеспечения — Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения.

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