검증부(116)는 검증 세트를 이용해서 실시간 모듈을 검증하고, 검증된 결과를 디스플레이부(130)를 통해서 출력하여 보고할 수 있다.
The verification unit 116 may verify the real-time module using the verification set, and output and report the verified result through the display unit 130.