Text this: Формализованное описание цифрового устройства и его модель