Рассматриваются следующие темы: Экспертная помощь в проектировании цифровых схем; использование средства доказательства теорем для трансформационного синтеза; обзор технологий синтеза высокого уровня для цифровых ASIC; синтез блоков быстрого дискретного косинусного преобразования на основе моделирования отжига; экспертные системы, основанные на знаниях, в тестировании и проектировании с учетом тестируемости; планирование стратегии тестирования на основе знаний; HIT: иерархическая методология интегрированного тестирования; использование расширенных функций для автоматического формирования тестовых таблиц; макротест: метод тестируемого проектирования СБИС; экспертный системный подход к компоновке аналоговых СБИС; обеспечение оптимальности безсеточного маршрутизатора с использованием методов искусственного интеллекта. Авторы Гордон Рассел и Гейнор Тейлор