Построение тестов микропроцессоров. I. Общая модель. Проверка обработки данных

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