AHPL로 기술된 디지탈시스템에 대한 시험벡터의 생성 알고리즘 ( A Test Generation Algorithm for The Digital System Described by AHPL )