моделирование на уровне логических элементов