"Автоматизация проектирования цифровых вычислительных систем" - читать интересную книгу автора (Батанов Л.А.)