[an error occurred while processing this directive]
А какая тут теория? Зная алгоритм функционирования аппаратуры, подается на вход тестовые воздействие и сравниваются полученные результаты с требуемыми.
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)