ce vine in sprijinul proiectantilor de circuite integrate
Platforma Mentor Graphics Questa 6.3 asigură noi nivele de verificare funcţională a circuitelor integrate şi oferă funcţionalităţi specifice proiectelor cu consum redus de energie
Mentor Graphics a anunţat extinderea soluţiei complexe de verificare Questa™, care include instrumente, metodologii şi parteneri, oferindu-le proiectanţilor un nou nivel de eficienţă şi productivitate în domeniul verificării. Noua platformă de verificare funcţională Questa 6.3 se adresează proiectelor cu consum scăzut şi conţine funcţii puternice de gestiune a verificării, ce permit raportarea, analiza şi documentarea gestiunii în buclă închisă. Platforma include un instrument de depanare îmbunătăţit şi versiunea 3.0 a primei metodologii AVM (Advanced Verification Methodology) din industrie bazate pe standarde open-source.
"Consumul şi complexitatea proiectelor au un impact esenţial asupra fluxurilor de verificare actuale", declară Robert Hum, vicepreşedinte şi director general al diviziei Design Verification and Test din cadrul Mentor Graphics. "Cu platforma de verificare funcţională Questa 6.3 noi am soluţionat aceste probleme, furnizând noi funcţii esenţiale necesare proiectanţilor actuali, eliminând în acelaşi timp multe dintre instrumentele şi problemele de integrare care complică fluxurile actuale. Echipele beneficiază astfel de o creştere a productivităţii, ceea ce le permite să obţină proiecte optimizate".
Verificarea funcţionalităţii legată de aspectele privind consumul redus în codul RTL
Gestiunea eficientă a consumului de energie reprezintă o problemă critică în multe domenii. Creşterea dimensiunii proiectelor moderne a făcut inutilizabile tehnicile tradiţionale de proiectare şi de verificare în cazul aspectelor specifice consumului scăzut.
Platforma de verificare funcţională Questa 6.3 include o nouă tehnologie de simulare care permite verificarea logicii de control al consumului la nivel RTL(Register Transfer Level) înaintea operaţiei de sinteză deoarece validarea şi corectarea problemelor de implementare a arhitecturii de alimentare a sistemului sunt mai simple.
Folosind Questa 6.3, proiectanţii pot să precizeze că un proiect este cu consum redus fără să îi modifice codul RTL – reducând reverificările costisitoare ale blocurilor IP (intellectual property) existente.
Questa 6.3 simulează cu precizie comportamentul în cazul opririlor/pornirilor pentru a verifica dacă cipul funcţionează cum este prevăzut în toate configuraţiile de alimentare. Pentru a accepta folosirea obişnuită a memorării în proiectele actuale, Questa 6.3 permite specificarea cu uşurinţă într-un proiect RTL a facilităţilor de memorare folosind circuite flip-flop (basculante bistabile) şi zăvoare (latches), precum şi memorii. Aceste facilităţi permit identificarea erorilor dificile, cum sunt cele de interacţiune între ceasul registrului şi semnalele de reiniţializare cu stările salvate, restaurate şi memorate la începutul ciclului de proiectare.
Mentor Graphics susţine formatul UPF (Unified Power Format) de la Accellera. Fişierul Questa Power Configuration care a fost furnizat Accellera a fost folosit la dezvoltarea acestui nou standard industrial care oferă portabilitatea datelor proiectelor cu consum redus şi interoperabilitatea instrumentelor dintr-un flux de proiectare cu consum redus.
Gestiunea completă a verificării în buclă închisă generează metrici utilizabile
Instrumentele de verificare generează volume impresionante de date. Elementul cheie al productivităţii activităţii de verificare constă în găsirea informaţiilor utilizabile din acest munte de date. Platforma de verificare funcţională Questa 6.3 conţine o gamă de instrumente pentru gestiunea verificării care include o bază de date UCDB (Unified Coverage Database) care colectează şi gestionează toate datele de verificare, importul automat al planurilor de verificare scrise în Microsoft Word, Excel şi XML, precum şi un sistem de urmărire şi de raportare care închide bucla de verificare furnizând informaţii de acoperire mapate pe planul de verificare.
Questa Verification Manager optimizează procesul de verificare identificând testele redundante, testele care servesc unui obiectiv anumit (acoperirea optimă într-un timp de simulare dat sau teste care vizează zone de acoperire specifice) şi zonele funcţionale care nu au fost încă verificate. Aceste măsuri utilizabile permit echipelor de verificare să îmbunătăţească eficienţa şi să reducă durata ciclului de acoperire.
Îmbunătăţirea depanării reduce tipul de reparare
Timpul necesar analizei şi soluţionării defectelor încetineşte substanţial ciclul de verificare. Questa 6.3 introduce noi funcţionalităţi de accelerare a procesului de depanare, care include trasabilitatea grafică şi textuală a rezultatelor incorecte până la cauza care le-a produs şi o o funcţie inovatoare de depanare a aserţiunilor.
Aserţiunea Thread Viewer din Questa furnizează o imagine grafică a evaluării unei aserţiuni sau a unei proprietăţi de acoperire de la activarea iniţială până la rezultatul final (reuşit sau eşec). Această funcţionalitate furnizează toate informaţiile necesare pentru a înţelege reuşita sau eşecul unei aserţiuni pentru a ameliora calitatea aserţiunilor prin identificarea proprietăţilor redactate prost susceptibile a avea un impact grav asupra performanţelor simulării.
AVM 3.0 extinde prima metodologie de verificare open-source
AVM (Advanced Verification Methodology) este prima metodologie de verificare reală complet utilizabilă la nivelul sistemului până la implementarea RTL. Ea integrează tehnici avansate de verificare, cum sunt stimulii aleatorii sub constrângere (constrained-random stimulus), o acoperire funcţională şi aserţiuni într-un unic mediu de lucru bazat pe modelarea nivelului tranzacţional (TLM – Transaction Level Modeling) implementat atât în SystemVerilog cât şi în SystemC. Toate bibliotecile AVM sunt disponibile în cod sursă SystemVerilog şi SystemC. Versiunea AVM 3.0 include funcţii îmbunătăţite de gestiune şi raportare, mai multe medii de nivel ridicat de integrare a blocurilor IP de la terţi şi un ghid de utilizare (AVM Verification Cookbook) îmbogăţit cu informaţii despre programarea orientată obiect şi despre utilizarea modulelor.
Disponibilitatea produsului
Platforma de verificare Questa 6.3 va fi disponibilă spre vânzare în trimestrul 2/2007 şi include acces la portalul Advanced Verification Methodology. AVM 3.0 va fi disponibil gratuit din trimestrul 2/2007 cu licenţă standard open-source. Informaţii detaliate despre produs sunt disponibile la adresa //www.mentor.com/questa
{mosloadposition user10}
