BDD를 이용한 논리 검증 시스템의 설계 ( Design of a Logic Verification System Using BBD )