Логическое проетирование СБИС - Киносита К. (Мир, 1988)