오류정정부호 부호기 및 복호기의 하드웨어 가속기 설계 및 자동 검증 프레임워크