📒 Изложены основы функционально-логического проектирования цифровых БИС. Особое внимание уделено информационным и лингвистическим проблемам автоматизации функционально-логического проектирования БИС, составляющим ядро интегрированной САПР. Рассмотрена методология разработки логического проекта БИС и его аттестации, приведены примеры проектирования различных функциональных узлов БИС.