В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов. Ключевые слова: модель сложных цифровых систем, отладка методом моделирования на ЭВМ, проектирование систем на кристалле, логическое моделирование, логико-временной анализ, алгебраические модели, модель программного обеспечения, программа как полугруппа операторов.
