Название: VHDL для моделирования, синтеза и формальной верификации аппаратуры Автор: Мермье Ж.(ред.) Издательство: М.: Радио и связь Год: 1995 Страниц: 357 ISBN: 5-256-01271-1 Формат: PDF Размер: 24.8 Мб Книга не ставит целью проведение исчерпывающего анализа текущего состояния по этим важным направлениям развития САПР. Однако авторы, которые являются признанными мировыми авторитетами по этим вопросам, представили результаты своих исследований по ряду актуальных задач, успешное решение которых во многом определяет эффективность применения соответствующих инструментальных средств автоматизации проектирования.