Автомати&#10 проектир&#10 техн

Рассмотрены вопросы проектирования аппаратно-программных систем с ориентацией на их реализацию в микросхемах типа Системы-на-Кристалле (System on a chip). Обсуждаются вопросы структурной декомпозиции задач с примерами из различных областей, в частности цифровой обработки сигналов и шифрации информации. Особенное внимание уделяется проблемам верификации и тестирования проектов с использованием языков верификации аппаратуры, прежде всего, языка SystemVerilog.