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