أرسل هذا في رسالة قصيرة: A computer-aided testing framework for field programmable gate arrays: From verification to configuration