Text this: Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования