Ввод проекта и его формальное описание — создание логической модели СБИС с использованием языка описания аппаратуры (HDL).