Multi-level 함수 표현법을 이용한 논리 설계 검증