함수 벡터를 사용할 수 있는 RTL 초기 단계에서 PowerPro의 마이크로 아키텍처 및 복합 이중화는 사용자가 전력 버그를 식별하고 정량화하고 해결하는 데 도움이 돼요.파워프로의 기능 분석 엔진이 전력 낭비로 이어질 수 있는 설계의 중복 토글을 찾아내고 이러한 중복 토글의 소스를 차단하거나 토글 낭비를 방지하기 위해 로직을 재구성하기 위한 수정 사항을 제안해요.

파워프로의 초기 설계 검사는 RTL의 정적 분석을 기반으로 하는 사용 사례에 구애받지 않는 검사로 설계 주기 초기에 수행할 수 있어요.RTL에서 파워 린트를 수행하면 자주 발생하는 문제를 미리 잡아서 고칠 수 있어요.초기 설계 검사에는 설계 레지스터, 메모리, 매크로, 데이터 연산자 등의 게이트 범위를 결정하는 커버리지 검사가 포함돼요.RTL 설계자는 통합된 클록 게이팅 또는 ICG 검사를 통해 설계에 있는 기존 ICG 셀이 구조적 또는 기능적 관점에서 중복되는지 평가할 수 있어요.또한 연결 검사는 사용자가 유동적이거나 사용하지 않을 수 있는 원치 않는 로직을 제거하는 데 도움이 돼요.

초기 디자인 검사는 매우 빠르게 실행되고 디자인 팀을 위한 저전력 코딩 가이드라인을 개발하는 데 사용할 수 있어요.회귀까지 쉽게 확장할 수 있고 RTL 변경이 전력 선결에 미칠 수 있는 잠재적인 부정적인 영향을 발견하는 데 도움이 될 수 있어요.

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

파워프로의 순차 최적화 기술에는 클럭 게이팅하고 메모리 게이팅이 포함돼요.각 활성화 조건에 대한 완전한 정보가 제공돼요. 소스 레퍼런스와 함께 게이트할 레지스터 체인, RTL 디자이너가 구현해야 하는 정확한 인에이블 표현식, 클럭 게이팅 효율 향상에 미치는 영향, 전력 감소, 영역 패널티, 활성화 조건에 관련된 신호에 대한 세부 정보 (예: 로직 깊이, 계층적 깊이, 신호 수 등).