AHPL로 기술된 디지탈시스템에 대한 시험벡터의 생성알고리즘