Автоматизация логического синтеза цифровых устройств / В. А. Скляров. Ч. 1. — 20 с.