PowerPro Guided Power Optimization

În stadiul incipient al RTL când sunt disponibili vectori funcționali, redundanțele micro-arhitecturale și combinaționale ale PowerPro ajută utilizatorii să identifice, să cuantifice și să remedieze erorile de alimentare. Motorul de analiză funcțională PowerPro găsește comutări redundante în proiectare care pot duce la irosirea energiei și sugerează remedieri pentru a porni sursa unor astfel de comutări redundante sau pentru a restructura logica pentru a evita comutările irosite.

Verificările timpurii de proiectare ale PowerPro sunt verificări independente de caz de utilizare bazate pe analiza statică a RTL care pot fi efectuate foarte devreme în ciclul de proiectare. Prin efectuarea scamelor electrice pe RTL, problemele de suspendare joasă pot fi surprinse și remediate în avans. Verificările timpurii de proiectare includ verificări de acoperire care determină cât de mult din registrele de proiectare, memorii, macrocomenzile, operatorii de date etc. sunt închise. Verificările integrate Clock Gating sau ICG permit designerului RTL să evalueze dacă celulele ICG existente în proiectare sunt redundante din punct de vedere structural sau funcțional. În plus, verificările de conectivitate ajută utilizatorii să elimine logica nedorită care poate fi plutitoare sau neutilizată.

Verificările timpurii de proiectare se desfășoară extrem de rapid și pot fi utilizate pentru a dezvolta linii directoare de codare cu putere redusă pentru echipele de proiectare. Acestea pot fi extinse cu ușurință la regresii și pot fi utile în descoperirea potențialului impact negativ pe care îl pot avea modificările RTL asupra puterii în avans.

Optimizarea secvențială a PowerPro se bazează pe motorul de analiză secvențială profundă patentat Siemens EDA, care efectuează analize multi-cicluri pentru registre și memorii pentru a găsi cele mai optime condiții de activare pentru portarea ceasului și portul de memorie. Analiza secvențială profundă este o combinație între un motor de analiză a observabilității și un motor de analiză a stabilității. Motorul de analiză a observabilității efectuează analize secvențiale profunde pe logică a cărei ieșire nu este observabilă. Cu toate acestea, analiza bazată pe stabilitate efectuează o analiză secvențială profundă asupra logicii a cărei ieșire este stabilă. Analiza secvențială profundă traversează mai multe cicluri pentru a găsi condiția de activare care poate fi aplicată pentru a porți mai multe registre și pentru a opri logica căii de date condusă de acele registre, obținând câștiguri semnificative.

Tehnicile de optimizare secvențială PowerPro includ portarea ceasului și portul de memorie. Sunt furnizate informații complete pentru fiecare condiție de activare, inclusiv memoria sau lanțul de registre pe care le va purta împreună cu referința sa sursă, expresia exactă de activare care trebuie implementată de proiectantul RTL, impactul acesteia în ceea ce privește îmbunătățirea eficienței portării ceasului, reducerea puterii, penalizarea zonei și detalii despre semnalele care participă la condiția de activare, cum ar fi adâncimea lor logică, adâncimea ierarhică, numărul de semnale etc.