Общая модель и синтез тестов для механизмов управления межрегистровым обменом данными в микропроцессорах

Рассматривается общая модель механизмов управления межрегистровым обменом данными в микропроцессорах, приводится классификация этих механизмов, формулируются их функциональные неисправности. Определяются тестовые наборы и строятся общие процедуры синтеза тестов. Конкретизируется один из механизмов и приводится тестовая процедура для варианта этого механизма, имеющегося в составе микропроцессора К180IBM1.