PowerPro Automatic Power Optimization

PowerPron peräkkäinen optimointi perustuu Siemens EDA: n patentoituun syväsekvenssianalyysimoottoriin, joka suorittaa monisyklisen analyysin rekistereille ja muistiille löytääkseen optimaaliset mahdolliset olosuhteet kelloporttien ja muistiporttien asettamiselle. Syvä peräkkäinen analyysi on yhdistelmä havaittavuusanalyysimoottoria ja stabiilisuusanalyysimoottoria. Havaitsemisanalyysimoottori suorittaa syvän peräkkäisen analyysin logiikasta, jonka tulosta ei ole havaittavissa. Vakauteen perustuva analyysi suorittaa kuitenkin syvän peräkkäisen analyysin logiikasta, jonka tuotos on vakaa. Syvä peräkkäinen analyysi kulkee useita jaksoja löytääkseen mahdollisen tilan, jota voidaan soveltaa useiden rekisterien porttiin, ja sammuttaa näiden rekistereiden ohjaaman tietopolun logiikan, mikä tuottaa merkittäviä etuja.

PowerPron huippuluokan, tuotannossa todistettu RTL-kirjoitusmoottori kirjoittaa automaattisesti tehooptimoidun RTL:n peräkkäisten optimointitekniikoidensa, kelloporttien ja muistiporttien avulla. Se lisää sallitut olosuhteet aina -lohkon ”jos” -haaraan ja lisää kommentteja käyttäjän RTL: ään, jotta PowerPron lisätyt aktiivit voidaan helposti tunnistaa. Se ylläpitää myös RTL: n täyden luettavuuden pitämällä koodin sisennyksen ja koskemattoman alkuperäisen RTL: n ”sellaisenaan”. Automaattisesti toteutettu käyttöönotto-logiikka tallennetaan erillisiin moduuleihin ja uusi tiedostoluettelo, jossa on automaattisesti luotu RTL, on käytettävissä työhakemistossa. Write RTL -moottori voidaan määrittää kirjoittamaan tehooptimoitu RTL monin tavoin määrittämällä sen asetukset. Käyttäjät voivat myös valita mahdollisuuksia, jotka he haluavat työkalun automaattisesti toteuttavan.

Slec-Pro on peräkkäinen logiikan ekvivalenssitarkastustyökalu, joka toimitetaan PowerPron automaattisen optimointiratkaisun mukana. SLEC-Pro pystyy varmistamaan logiikan vastaavuuden käyttäjien alkuperäisen RTL: n ja PowerPron automaattisesti generoidun pienitehoisen RTL: n välillä. Koska PowerPro löytää optimointimahdollisuuksia, jotka ovat luonteeltaan monisyklisiä, sen todentamiseen tarvitaan peräkkäinen LEC-työkalu. Käyttäjän ei tarvitse asentaa Slec-Proa. PowerPro luo automaattisesti komentosarjan, jossa on kaikki tarvittavat asetukset, jotka voidaan yksinkertaisesti suorittaa SLEC-Pron suorittamiseksi ja muodollisen vahvistuksen suorittamiseksi. RTL-suunnittelijan ei tarvitse investoida automaattisesti optimoidun pienitehoisen RTL: n viralliseen todentamiseen.