ICSC(InCheon Silicon Compiler)를 위한 상태 합성알고리즘에 대한 연구