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

Курс описывает авторскую систему чтения невербального языка верификации лжи.