Realizarea unei închideri mai rapide a verificării proiectului

La proiectele mari de proiectare a cipurilor, efortul de verificare a logicii poate fi mai mare decât efortul de proiectare, luând până la 70% din timpul proiectului pe baza datelor din 2022 Wilson Research Group constatări. Din păcate, rata de succes a primei silicii a scăzut de la 31 la sută la doar 24 la sută în ultimii 8 ani, provocând o nouă întorsătură pentru a corecta defectele, costând companiile timp pierdut pe piață și cu siguranță rănind planurile lor de venituri. O verificare mai bună ar îmbunătăți cu siguranță succesul primului siliciu, dar acest lucru este mai ușor de spus decât de făcut.

Câteva alte cifre serioase din studiul Wilson Research Group:

• ASIC – 24% succes pentru prima dată, 36% termina la timp
• FPGA – 16% realizează zero scăpări de erori, 30% termină la timp

Verificarea designului are multe sarcini dificile: depanare, crearea de teste, apoi rularea motoarelor, dezvoltarea bancului de testare și planificarea testelor. În mod ideal, echipa dvs. dorește să minimizeze timpii de realizare, să ajungă la închiderea verificării cu cei mai puțini oameni și resurse de calcul, să respecte conformitatea cu siguranța și să știe când calitatea designului este suficient de ridicată pentru a opri verificarea, respectând în același timp programul proiectului.

Am primit recent o actualizare de la expertul în verificarea designului, Darron May, de la Siemens EDA, pentru a afla despre ceva ce tocmai a fost anunțat, numit Această verificare IQ. Abordarea lor se referă la verificarea bazată pe date, formată în jurul utilizării trasabilității, colaborării și analizelor bazate pe AI/ML. Analiza tradițională a furnizat productivitate limitată și perspectivă în doar descrierea și diagnosticarea comportamentului logic, în timp ce analiza bazată pe date mari care utilizează AI/ML oferă acțiuni predictive și prescriptive pentru verificare. Echipele de software și hardware devin mai productive prin colaborarea prin utilizarea CI (Integrare continuă), Agilitate metode, ALM (Application Lifecycle Management), proiectare bazată pe cloud și aplicarea tehnicilor AI/ML. Industriile critice pentru siguranță au nevoie de trasabilitate între cerințe, implementare și verificare, așa cum sunt definite în standardele industriale precum ISO 26262 și DO-254.

Iată imaginea de ansamblu a modului în care Quest Verification IQ conectează toate datele de la diferite motoare de verificare într-un flux bazat pe date, împreună cu un instrument ALM.

Datele de acoperire sunt colectate din simularea logică (acest), Emulare și prototipare (Veloce), AMS (Simfonie), formală (OneSpin), Static și FuSa. Caracteristica ML analizează toate aceste date pentru a prezice modele și a dezvălui orice găuri, a indica cauzele principale, apoi a prescrie acțiuni pentru îmbunătățirea acoperirii. ALM afișat este Polarion de la Siemens, deși ai putea folosi un alt ALM, la fel cum poți folosi motoarele de verificare preferate.

Questa Verification IQ este un cadru bazat pe browser, care include un ghid de proces, astfel încât să puteți construi un flux critic de siguranță folosind managementul ciclului de viață pentru a planifica și urmări toate cerințele. Navigatorul de regresie permite echipei dvs. să creeze și să execute teste, să monitorizeze rezultatele și să aibă un istoric complet al verificărilor. Cu analizatorul de acoperire, știți cât de completă este acoperirea dumneavoastră pentru cod, blocuri funcționale și planuri de testare. În cele din urmă, analiza datelor prezentate vă oferă o platformă de metrice, folosind tablouri de bord ale proiectelor și oferind analize încrucișate.

Cadrul bazat pe web se adaptează la orice dimensiune a proiectelor electronice și nu va trebui să instalați niciun software sau să vă îngrijorați să vă mențineți sistemul de operare actualizat. De asemenea, acceptă configurații cloud publice, private sau hibride. Odată cu aplicarea AI/ML, procesul de închidere a verificării este accelerat, în timp ce efortul de remediere a erorilor se accelerează, deoarece analiza cauzei principale ajută la identificarea zonei de îmbunătățire.

I-am adresat lui Darron May câteva întrebări clarificatoare.

Î: Pot combina și potrivi Questa Verification IQ cu orice instrument de furnizor EDA și ALM?

A: Questa Verification IQ acceptă instrumente și motoare ALM printr-o abordare bazată pe standarde. Se interfață cu instrumentele ALM folosind Open Services for Lifecycle Collaboration (OSLC), astfel încât orice instrument care acceptă standardul precum Doors next sau Siemens Polarion și Teamcenter poate fi utilizat. Orice motor poate fi lansat de Questa Verification IQ și, din nou, avem suport pentru acoperire prin Standardul de interoperabilitate al acoperirii unificate (UCIS).

Î: Cum se compară această abordare cu Synopsys DesignDash?

A: Synopsys DesignDash se concentrează pe ML pentru datele de proiectare, în timp ce Questa Verification IQ se concentrează pe verificarea bazată pe date folosind analize, inclusiv ML, pentru a accelera închiderea verificării, pentru a reduce timpii de realizare și pentru a oferi eficiență maximă a procesului. Questa Verification IQ oferă aplicații necesare pentru gestionarea verificării în colaborare în echipă într-un cadru bazat pe browser, cu acces centralizat la date.

Î: Cum se compară această abordare cu Cadence Verisium?

A: Cadence Verisium se concentrează numai pe verificarea asistată ML. În comparație, Siemens Questa Verification IQ oferă o soluție completă de verificare bazată pe date, alimentată de Analytics, colaborare și trasabilitate. Gestionarea verificării este oferită într-un instrument bazat pe browser cu aplicații construite în jurul colaborării. Coverage Analyzer aduce primul instrument colaborativ de închidere a acoperirii din industrie, folosind navigarea analitică asistată de ML. Question Verification IQ interfață cu Siemens Polarion utilizând OSLC și oferă o trasabilitate digitală strânsă a firelor cu Application Lifecycle Management fără modificarea contextului UI, aducând puterea ALM la verificarea hardware.

Rezumat

Sunt întotdeauna impresionat de noile instrumente EDA care fac o sarcină complexă mai ușoară, lucrând mai inteligent, fără a cere inginerilor să depună mai multe ore de efort manual. Cu aprobările timpurii ale Questa Verification IQ de la companii cunoscute precum Arm și Nordic Semiconductor, se pare că Siemens EDA a adăugat ceva convingător pentru echipele de verificare pe care să ia în considerare.

Bloguri înrudite

Distribuie această postare prin:

• Distribuție de conținut bazat pe SEO și PR. Amplifică-te astăzi.
• Platoblockchain. Web3 Metaverse Intelligence. Cunoștințe amplificate. Accesați Aici.
• Sursa: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/