실리콘 컴파일러를 위한 논리 합성 시스템의 설계 연구 ( A Study on the Design of a Logic Synthesis System for a Silicon Compiler )