[ 0060 ] 여기 서 기술 된 시스템 들 , 방법 들 , 및 장치 의 몇몇 실시 예 들 은 명령 들 을 저장 하 는 기계 - 판독 가능 한 저장 매체 를 포함 할 수 있 다 . 이 들 명령 들 은 기계 에 의해 실행 될 때 , 기계 로 하여금 전자 설계 자동 화 프로세스 에서 사용 될 수 있 는 집 적 회로 를 위한 모델 표현 들 ( model representations ) 을 생성 하 게 할 수 있 다 .