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