PowerPro를 이용한 Arm사의 입력파일 완성도 검증 방법론

이 백서에서는 IC Design 구축과 프로토타입 단계에서 다양한 데이터 무결성 검사를 수행하는 Siemens EDA의 PowerPro™ 소프트웨어 포트폴리오를 이용해 Arm사에서 적용한 새로운 자동 입력파일 완성도 검증 방법론을 제안합니다. 이 방법을 따르면 양질의 입력 데이터를 얻었는지 더 빠르게 반복 체크할 수 있고, 결과적으로 상관관계가 잘 정립된 전력 수치를 확보할 수 있습니다. 반복을 여러 번 해야 하는 경우, 체크포인트 데이터베이스 방식을 시행하여 툴 실행 중 정리 단계를 우회합니다. 이렇게 하면 전력 위반이 발생한 부분에만 국한하여 심층 분석을 실시하면 되기 때문에 반복 과정을 미세 조정하는 속도가 빨라집니다.

PowerPro에는 이미 액티비티 주석(FSDB/SAIF/STW/QWAVE), 테크놀로지 라이브러리(.lib)와 물리정보 매핑(SPEF) 등과 관련된 다양한 검사가 포함되어 있습니다. Arm사와 같이 이런 다양한 검증을 위해 PowerPro의 입력파일 완성도 검증 방법론을 적용하면 안정적인 전력 수치를 얻으면서 프로젝트 시간을 최대 88%까지 절약할 수 있습니다.