Киносита К., Асада К., Карацу О. Логическое проектирование СБИС

Пер. с япон. под. ред. Л.В. Поспелова. — М.: Мир, 1988. — 309 с.: ил.Книга является переводом четвертого тома 11-томной серии по микроэлектронике, написанной крупными японскими специалистами. Посвящена новейшим методам автоматизированного проектирования БИС и СБИС, позволяющим получать наилучшие технические характеристики. Основное внимание уделяется математической теории логического проектирования, проблемам упрощения логических функций и языкам описания, которые используются для автоматизации процессов проектирования и моделирования. Рассматриваются способы создания тестов для обнаружения неисправностей и методы создания легкотестируемых схем. Приводятся примеры проектирования БИС и СБИС.
Для научных работников и инженеров, проектирующих интегральные схемы, а также студентов соответствующих специальностей вузов.От редактора перевода.
Предисловие.
Булева алгебра.
Основы логического проектирования.
Языки описания.
Логическое моделирование.
Способы генерации тестовых последовательностей.
Проектирование легкотестируемых схем.
Предметный указатель.