파워프로 오토매틱 파워 최적화

파워프로의 순차 최적화는 Siemens EDA의 특허 받은 심층 순차 분석 엔진을 기반으로 해요. 이 엔진은 레지스터와 메모리에 대한 다중 사이클 분석을 수행하여 클럭 게이팅과 메모리 게이팅에 가장 적합한 활성화 조건을 찾아냅니다.심층 순차 분석은 옵저버빌리티 분석 엔진과 안정성 분석 엔진의 조합이에요.옵저버빌리티 분석 엔진은 출력을 관찰할 수 없는 로직에 대해 심층적인 순차 분석을 수행해요.하지만 안정성 기반 분석은 출력이 안정적인 로직에 대해 심층적인 순차 분석을 수행해요.심층 순차 분석을 통해 여러 개의 레지스터를 게이트하고 해당 레지스터에 의해 구동되는 데이터경로 로직을 차단하는 데 적용할 수 있는 활성화 조건을 찾아 상당한 이득을 얻어요.

파워프로의 최첨단, 프로덕션에서 검증된 RTL 쓰기 엔진이 순차 최적화 기법, 클럭 게이팅, 메모리 게이팅을 위해 전력에 최적화된 RTL을 자동으로 써줘요.항상 블록의 “if” 분기에 활성화 조건을 삽입하고 PowerPro에서 삽입한 활성화를 쉽게 식별할 수 있도록 사용자 RTL에 주석을 추가해요.또한 코드 들여쓰기와 손길이 닿지 않은 원본 RTL을 “있는 그대로” 유지해서 RTL의 완전한 가독성을 유지해요.자동으로 구현된 활성화 로직은 별도의 모듈에 저장되고 자동 생성된 RTL이 포함된 새 파일 목록은 작업 디렉터리에서 사용할 수 있어요.쓰기 RTL 엔진은 옵션을 구성해서 여러 가지 방법으로 전력에 최적화된 RTL을 작성하도록 구성할 수 있어요.또한 사용자는 도구가 자동으로 구현하기를 원하는 기회를 선택할 수 있어요.

SLEC-PRO는 파워프로 자동 최적화 솔루션과 함께 제공되는 순차 로직 등가 검사 도구예요.SLEC-Pro는 사용자 오리지널 RTL과 파워프로에서 자동으로 생성된 저전력 RTL 간의 로직 동등성을 검증할 수 있어요.파워프로가 여러 사이클의 최적화 기회를 발견함에 따라 검증을 위해 순차적 LEC 툴이 필요해요.사용자는 SLEC-Pro를 설정할 필요가 없어요.PowerPro가 SLEC-Pro를 실행하고 공식 검증을 수행하기 위해 간단히 실행할 수 있는 모든 필수 설정이 포함된 스크립트를 자동으로 생성해요.RTL 설계자가 자동 최적화된 저전력 RTL의 공식 검증에 투자할 필요가 없어요.