Algebraic Models of Digital System Design Debugging Decomposition

P. 248–251.

Ivannikov A., Kulagin Vladimir, Romanov Aleksandr, Pozdneev B.

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

Ключевые слова: software model, model of digital systems, debugging by simulation, digital system design, semigroup of operators, модель сложных цифровых систем, отладка методом моделирования на ЭВМ, проектирование систем на кристалле, логическое моделирование, логико-временной анализ, алгебраическая модель, модель программного обеспечения, программа как полугруппа операторов

В книге

Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016)

Yerevan: IEEE, 2016.