연역적 방식을 이용한 게이트 레벨 논리 고장 시뮬레이션 ( A Study on Gate Level Logic Fault Simulation using Deductive Method )