Автоматизированное проектирование цифровых устройств - Бадулин, С. С. (Проектирование радиоэлектронной аппаратуры на интегральных микросхемах, 1981)