전술 한 실시 예 에 따르 면 , 디지털 시스템 을 구현 함 에 있 어 상위 프로그래밍 언어 로 작성 된 프로그램 을 토대 로 알고리즘 을 검증 하 고 , 하위 프로그래밍 언어 로 프로그램 을 작성 하 기 전 중간 단계 로 상위 프로그래밍 언어 로 하드웨어 가 갖 는 특성 을 이용 한 프로그래밍 을 수행 함 으로써 , 하위 프로그래밍 언어 로 의 변환 을 용이 하 게 수행 할 수 있 다 .