PowerPro Automatic Power Optimization

PowerPro secīgā optimizācija ir balstīta uz Siemens EDA patentēto dziļās secīgās analīzes dzinēju, kas veic reģistru un atmiņu daudzciklu analīzi, lai atrastu optimālākos apstākļus pulksteņa vārtu un atmiņas vārtu noteikšanai. Dziļa secīgā analīze ir novērojamības analīzes dzinēja un stabilitātes analīzes dzinēja kombinācija. Novērojamības analīzes dzinējs veic dziļu secīgu loģikas analīzi, kuras rezultāts nav novērojams. Tomēr uz stabilitāti balstīta analīze veic dziļu secīgu loģikas analīzi, kuras rezultāts ir stabils. Dziļā secīgā analīze šķērso vairākus ciklus, lai atrastu iespējošu nosacījumu, ko var izmantot, lai izveidotu vairākus reģistrus un izslēgtu šo reģistru vadīto datu bāzes loģiku, dodot ievērojamus ieguvumus.

PowerPro vismodernākais, ražošanā pārbaudītais RTL rakstīšanas dzinējs automātiski izraksta jaudu optimizēto RTL tā secīgās optimizācijas metodēm, pulksteņa vārtu noteikšanai un atmiņas vārtu noteikšanai. Tas ievieto iespējošanas nosacījumus vienmēr bloka “ja” filiālē un pievieno komentārus lietotājam RTL, lai PowerPro ievietotos iespējojumus varētu viegli identificēt. Tas arī saglabā pilnīgu RTL lasāmību, saglabājot koda ievilkumu un neskarto oriģinālo RTL “tādu, kāds ir”. Automātiski ieviestā loģika iespējošana tiek saglabāta atsevišķos moduļos, un jaunais failu saraksts ar automātiski ģenerētu RTL ir pieejams darba direktorijā. Write RTL dzinēju var konfigurēt, lai rakstītu jaudai optimizētu RTL daudzos veidos, konfigurējot tā iespējas. Lietotāji var arī izvēlēties iespējas, kuras viņi vēlas, lai rīks automātiski ieviestu.

SLEC-Pro ir secīgas loģikas ekvivalences pārbaudes rīks, kas tiek piegādāts kopā ar PowerPro automātiskās optimizācijas risinājumu. SLEC-Pro spēj pārbaudīt loģisko ekvivalenci starp lietotāju oriģinālo RTL un PowerPro automātiski ģenerēto mazjaudas RTL. Tā kā PowerPro atrod optimizācijas iespējas, kurām ir daudzciklu raksturs, tā pārbaudei ir nepieciešams secīgs LEC rīks. Lietotājam nav nepieciešams iestatīt SLEC-Pro. PowerPro automātiski ģenerē skriptu ar visiem nepieciešamajiem iestatījumiem, ko var vienkārši izpildīt, lai palaistu SLEC-Pro un veiktu oficiālu pārbaudi. RTL dizainerim nav nepieciešams ieguldīt automātiski optimizēta mazjaudas RTL oficiālā pārbaudē.