프로세스 알제브라를 이용한 하드웨어 논리 회로의 검증