Zaslat SMS: Автоматизированное проектирование структур цифровых устройств: учебное пособие