Отправить по sms: A computer-aided testing framework for field programmable gate arrays: From verification to configuration