Verificarea formală este implementată mai des și în mai multe locuri în designul de cipuri, pe măsură ce numărul de interacțiuni posibile crește și pe măsură ce aceste cipuri sunt utilizate în aplicații mai critice.
În trecut, o mare parte din verificarea formală sa concentrat pe dacă un cip va funcționa corect. Dar, pe măsură ce proiectele devin mai complexe și mai eterogene și pe măsură ce cazurile de utilizare se schimbă, verificarea formală este utilizată în orice, de la evaluarea impactului partiționării până la urmărirea sursei corupției silențioase a datelor. Este folosit chiar pentru a identifica posibili vectori pentru atacuri cibernetice și pentru a urmări modul în care este furnizată și utilizată puterea într-un dispozitiv.
„Designul cu putere redusă există de foarte mult timp, dar a fost o abordare adoptată în cea mai mare parte pentru cipurile mobile”, potrivit Sean Safarpour, director de grup R&D în Sinopsis Grupul EDA. „Acum este peste tot. În mod similar, vedem mai multe AI/ML folosite în acceleratoare, iar cantitatea de muncă pe care o puteți face per putere este un factor major. Așa că acum pentru toată lumea, orice ar face, designul cu putere redusă este o preocupare atât de mare. Ceea ce are de-a face cu verificarea formală este că există moduri specifice în care verificarea formală poate fi utilizată pentru a rezolva unele dintre aceste probleme.”
Nu mai este vorba doar despre asta poarta ceasului optimizare, care implică reluarea regresiilor de simulare pentru a vă asigura că totul este corect. Astăzi, puterea trebuie luată în considerare în contextul altor componente dintr-un sistem și, uneori, între sisteme. Fără formală, asta ar dura mult mai mult timp, dacă s-ar putea face deloc. De asemenea, trebuie examinat în contextul diferitelor cazuri de utilizare și sarcini de lucru, în care puterea trebuie urmărită de la livrare până la utilizare.
„Dacă faceți ceas, putem face analiza cu și fără ceas și vă spunem definitiv dacă funcționalitatea este aceeași sau dacă aveți o eroare și ceva s-a stricat pe parcurs”, a spus Safarpour. „Pe baza solicitărilor utilizatorilor, acum este posibil să se țină cont de intenția de putere printr-un fișier UPF. Acum cinci sau șase ani, nu aveam astfel de cereri. Acum sunt atât de proeminente, încât oamenii spun: „Eu fac verificarea proprietății. Am afirmațiile mele. Dar acum vreau să verific acele afirmații în prezența UPF-ului meu. Fac verificarea conectivității la nivel de SoC”, care este o altă aplicație specifică. Dar acest lucru este incomplet dacă nu luați în considerare întregul UPF al designului. Formal este capabil să intre în aceste zone foarte specifice, astfel încât utilizatorii să poată spune: „Așteaptă o secundă, nu trebuie să refacem întreaga suită de regresii. Putem lua aceste probleme specifice și le putem rezolva exhaustiv.' Aceasta este valoarea reală a formalului. Este de natură exhaustivă, așa că atunci când te uiți la întregul tău plan de testare și te uiți la unele dintre aceste aspecte, fie că este vorba de putere redusă sau de securitate, putem aborda toate acestea. Veți avea elemente rând specifice pentru acestea în planul dvs. de testare. Unele dintre ele pe care le puteți rezolva în mod exhaustiv prin verificare formală, acesta fiind unul dintre motivele pentru care acesta crește în proeminență în zilele noastre, pe măsură ce spațiul cu probleme devine mai mare.”
Mai simplu spus, decalajele de acoperire care erau acceptabile în trecut când erau mai puține caracteristici și ciclurile de viață erau mai scurte sunt inacceptabile în multe aplicații de astăzi.
„Toată lumea vorbește mereu despre o complexitate din ce în ce mai mare și mulți oameni o vor folosi pe bună dreptate ca pe un motiv pentru a face lucrurile diferit”, a spus Chris Giles, șeful departamentului de management al produselor pentru soluții statice și formale la Siemens EDA. „Când ne uităm la succesul pieței și la procesul general de dezvoltare, ceea ce vedem este că, în ciuda unei creșteri de mai multe decenii a investițiilor în verificare, aceasta nu ține pasul cu creșterea complexității. Deci, deși recunoaștem cu toții că există o creștere constantă a complexității, modul în care am răspuns la aceasta ca industrie nu este atât de eficient pe cât trebuie să fie. Schimbarea observată în ultimii câțiva ani este în ceea ce lumea cere siliciului și aici verificarea formală devine o cerință absolută. Ceea ce lumea cere astăzi de la siliciu este o abordare diferită de verificare. Ceea ce cerem noi nu mai tine de complexitate. Este vorba de siguranță. Este vorba de securitate. Este vorba despre încredere. Este vorba de asigurare. Și toate aceste lucruri sunt foarte greu de demonstrat cu o metodologie de simulare liniară.”
Aceasta, la rândul său, a creat o explozie a cererii de verificare formală. „Aici este locul în care excelează formal”, a spus Giles. „Din cauza naturii sale exhaustive, verificarea formală poate dovedi în mod concludent că un design este sigur, sigur sau de încredere. Se lucrează mult în industrie pentru a certifica aceste proprietăți, așa că este esențial să existe un flux care generează acea certificare. Aici formal este absolut esențial. Dacă te uiți la industria IP, companiile de IP nu știu neapărat în ce produs final vor fi IP-ul lor, așa că trebuie să planifice pentru aceste tipuri de întrebări. De unde știu că acesta este un design sigur? De unde știu că acesta este un design de încredere? De unde știu că este sigur să pun vieți omenești sub controlul ei? Acestea sunt lucruri de care chiar și echipele IP trebuie să își facă griji astăzi.”
Pete Hardee, director de management al produsului în grupul System & Verification la Cadenţă, a spus că a înregistrat o creștere fenomenală a utilizării verificărilor formale în ultimul deceniu. „Fără îndoială că a „trecut prăpastia” pentru a fi utilizat pe scară largă. Este un instrument indispensabil în arsenalul de verificare pentru marea majoritate a companiilor de semiconductori de top.”
Creșterea complexității, atât pentru SoC-uri cu noduri avansate, cât și pentru asamblarea eterogenă într-un pachet, necesită o verificare mai mare. „Nevoia de verificare tinde să se extindă exponențial odată cu complexitatea designului”, a spus Hardee. „Efectele cheie au fost duble. În primul rând, cu verificarea ierarhică bazată pe IP, împărțirea și cucerirea a fost un factor major în succesul verificării – verificați cu atenție blocul sau subsistemul IP, apoi verificați integrarea corectă și nimic nu s-a rupt la nivelul următor. Pentru verificarea bazată pe IP, verificarea formală sa extins pentru a obține aprobarea formală pentru multe, dar nu pentru toate tipurile de IP. Spațiul de stat poate fi încă o problemă, în ciuda progreselor majore în scalabilitatea formală. De exemplu, protocoalele seriale complexe rămân dificile pentru verificarea formală – adâncimea secvenţială este adesea prea mare. Unele tehnici formale se pot scala la nivel de cip, dar numai în unele moduri limitate – aprobarea formală completă pentru SoC-uri digitale mari rămâne prea dificilă.”
Proiectele bazate pe procesoare au fost întotdeauna provocatoare, dar sunt deosebit de dificil de verificat atunci când folosesc arhitecturi specifice domeniului. „Există o creștere uriașă a proiectelor programabile masiv – arhitecturi cu mai multe procesoare care folosesc multe rețele omogene sau eterogene de nuclee de procesor, în funcție de aplicația verticală”, a menționat el. „Pentru procesoarele de aplicații, lupta Arm versus x86 ISA a fost acum deschisă de RISC-V. GPU-urile există de mult timp, dar multe alte tipuri de co-procesoare și acceleratoare matematice sunt obișnuite, mai ales acum conduse de revoluția AI/ML. Fiecare își proiectează propria variantă de aplicații și nuclee matematice optimizate pentru puterea, performanța și nevoile lor.” Cadence se referă la acest fenomen ca arhitecturi specifice domeniului (DSA).
Preocupările legate de fiabilitate se răspândesc și la dispozitivele necritice. „Fiecare design poate avea o soluție formală de verificare, inclusiv modele dominate de aritmetică”, a declarat Ashish Darbari, CEO al Axiozați. „Designul dominat de aritmetică beneficiază de soluții avansate de la cei mai mari furnizori de instrumente de verificare formală, toate având soluții care se adresează verificării aritmetice, în special pe partea virgulă mobilă. În marea schemă a lucrurilor, acesta nu este neapărat un volum major de muncă, dar este suficient de semnificativ și important pentru ca noi să nu privim în altă parte.”
Acest lucru a deschis ușa pentru ca formalul să fie folosit mult mai devreme în flux, unde poate fi folosit pentru a preveni întârzierile legate de proiectare și într-o zonă mai largă a comunității inginerilor. Dar a creat și o lipsă de talente, pentru că nu toată lumea este bine versată în scris afirmații într-o varietate de aplicații diferite.
„Toată lumea cu un nume rezonabil în afacerea cu siliciu, fie că este vorba de un GPU sau o companie de procesoare, sau o companie de țesături, utilizează formal”, a spus Darbari. „Toți giganții care construiesc hardware folosesc formal. Și unii dintre ei își doresc atât de multe formalități, dar pur și simplu nu au suficient talent.”
Ratele de adopție variază, de asemenea. „Unii sunt foarte familiarizați și confortabil cu verificarea formală, înțeleg ce poate face și o provoacă”, a menționat Giles de la Siemens. „Alții sunt puțin mai ezitant, pentru că uneori se poate simți ca un proiect științific sau este necesar un efort educațional. Când cineva care nu este familiarizat cu formalitățile aude pentru prima dată verificarea formală este recomandată, primul său gând este: „Acum trebuie să am un doctorat în personalul meu. Trebuie să ne punem în practică proiectul. Cum voi face vreodată asta? Și acest lucru duce la diferite grade de adopție.”
În unele companii, formala a devenit doar una dintre multele abilități necesare. Aceasta este o schimbare semnificativă. În primele zile ale verificării oficiale, se presupunea că un grup mic de ingineri va dobândi competențe în utilizarea instrumentelor.
„Ne-am dat seama că proiectanții, inginerii de verificare, inginerii din toate categoriile sociale pot folosi tehnologia”, a spus Safarpour de la Synopsys. „Și dezvoltatorii de instrumente EDA le-a revenit să o facă mai intuitivă pentru acel utilizator. Avem persoane diferite, pălării diferite. Acum, dacă sunteți designer, este posibil să aveți nevoie de o interfață puțin diferită. Vii la asta dintr-un unghi diferit față de centura ta neagră formală, iar clopotele și fluierele pe care le cauți sunt destul de diferite. În calitate de dezvoltatori de instrumente, am învățat și de la utilizatorii noștri care pot profita la maximum de instrumente. Și din acest aspect, ștacheta a fost coborâtă. Astăzi, când primesc întrebări sau vorbesc cu clienții, există tot atâtea experți care fac cereri de îmbunătățiri sau ne oferă feedback despre instrument decât experții formali tradiționali.”
Emulare vs. formală vs. simulare
Alți pionieri ai unui flux de verificare includ simularea și emularea. Dar pentru anumite modele, fiecare instrument de verificare poate să nu fie necesar.
„Există unele lucruri care sunt potrivite pentru verificarea formală, care nu sunt la fel de potrivite pentru simulare și invers”, a spus Giles de la Siemens. „Un bun exemplu în acest sens este verificarea conectivității. Trecerea prin procesul de simulare a faptului că toate interconexiunile, bit cu bit, sunt corecte, este un proces serial destul de lung. Dacă o puteți face exhaustiv într-o singură rulare, atunci puteți lua acele cicluri de simulare și le puteți utiliza pentru ceea ce simularea face cel mai bine. Deci este o joacă de productivitate. Un alt lucru care este clar pe măsură ce industria trece de la un model de globalizare la un model de regionalizare sau naționalizare - și trebuie să replicăm ecosistemul de proiectare, dezvoltare și producție de siliciu, de mai multe ori în întreaga lume - este că există deficit de forță de muncă. prezis aproape peste tot în lume. Și asta nu are nimic de-a face cu complexitatea designului. Are de-a face cu realitățile geopolitice și macroeconomice ale lumii. Acest lucru creează oportunități peste tot. Și realitatea este că, pentru a reuși în acel mediu, avem nevoie de mai multă productivitate din partea oamenilor noștri. Utilizarea verificării oficiale sau eficiente, eliberarea ciclurilor de simulare pentru a face ceea ce simularea face cel mai bine, este o parte critică a dezvoltării acum și în viitor. Așadar, acele două lucruri – partea de productivitate, precum și răspunsul la cerințele a ceea ce lumea pune astăzi pe siliciu și în ceea ce privește siguranța și asigurarea, încrederea și securitatea – acestea sunt motivele pentru care consider că verificarea formală este absolut necesară pentru orice dezvoltare."
În unele cazuri, este necesar mai mult de un tip de instrument. Darbari indică o suprapunere bazată pe cerințele de acoperire, precum și pe capacitățile diferitelor instrumente de la diferiți furnizori. „Există încă variații”, a spus el. „Depanarea este cea mai interesantă. Depanarea este locul în care pot ajunge la cauza principală a eșecului în cel mai scurt timp și este, de asemenea, un domeniu în care am petrecut mult timp pentru a stabili cauza principală a lucrurilor.”
Există, de asemenea, o interacțiune între verificarea formală și simulare pentru a reduce ciclurile de simulare, cu verificarea formală care este mai costisitoare pentru echipa de inginerie.
„Nu poți face niciodată suficientă simulare, astfel încât cererea este nelimitată”, a spus Safarpour. „Toată lumea vrea să facă simulare, dar nu au suficient calcul pentru asta. Cu toate acestea, tehnologiile de simulare și verificare formală sunt de natură destul de complementară și vedem acest lucru în mai multe domenii. În acoperire, cu simulare, poți ajunge foarte ușor la o acoperire de 80%, 85%, poate 90% și atunci ceea ce se întâmplă este că ajungi rapid la un platou în curbă. Apoi mai sunt și celelalte 5%. În funcție de criteriile pentru a face semnarea, există încă 5% sau cam așa ceva și există atât de multă randomizare pe care o poți face, încât încă nu le putem atinge. Acel 5% se întâmplă să fie punctul ideal pentru formal, pentru că sunt șanse ca 5% să fie fie lucruri greu de lovit, cum ar fi cazurile de colț, la care formal este bun, fie sunt cod mort, ceea ce înseamnă că, indiferent cât de mult simulare pe care o faci nu poți să-l lovești. Acest lucru vă lasă cu un semn de întrebare, iar apoi un inginer ar trebui să intervină pentru a examina acel cod și să spună: „Cred că nu este accesibil”. Deci, este o intervenție manuală. Modul în care o facem este simularea și instrumentele noastre formale care funcționează din aceeași bază de date și se ajută reciproc.”
Același scenariu are loc pentru aplicațiile de siguranță funcțională. „Puteți acoperi cât de mult puteți pentru siguranța funcțională și toleranța la erori, apoi pași formali. Este aceeași poveste cu securitatea, iar această abordare continuă să se repete în diferite domenii. Faceți lucrurile ușoare prin simulare, ajungeți la acel platou și apoi faceți ultima milă oficială”, a explicat Safarpour.
Arhitecturile specifice domeniului adaugă propriile probleme unice. „Spre deosebire de ASIC-urile neprogramabile, DSA-urile sunt diferite pentru că nu poți prezice nenumăratele moduri în care un programator va folosi procesorul”, a spus Hardee de la Cadence. „Orice eventualitate trebuie acoperită, inclusiv cele complet neprevăzute. Formala este singura cale. Liderii tehnologiei procesoarelor precum Arm și Intel știu acest lucru și au investit de mult în verificarea formală. Fiecare companie care își implementează propria RISC-V trebuie să facă același lucru. Iar creșterea co-procesoarelor matematice și a motoarelor AI/ML conduce la tehnici formale mai noi, cum ar fi verificarea echivalenței secvențiale C/C++ la RTL.”
Limitele formale
La fel ca toate instrumentele EDA, totuși, formale are unele limitări. „Formal are reputația de a fi ceva care rulează mai bine pe un modul sau bloc decât un SoC complet”, a menționat Giles de la Siemens. „Formal are provocări atunci când vine vorba de probleme lungi, secvențiale. Un bun exemplu în acest sens ar fi faptul că este dificil să folosiți formale pentru a verifica funcțiile de înmulțire sau împărțire într-o unitate în virgulă mobilă. Cea mai bună cale de acțiune este să lăsați formalul să facă ceea ce formalul face cel mai bine și să lăsați simularea să facă ceea ce simularea face cel mai bine. Dacă luați un design în virgulă mobilă, puteți verifica totul, dar funcționalitatea de înmulțire și împărțire este cel mai bine realizată cu simulare, astfel încât sunteți mult mai eficient în utilizarea funcțiilor de simulare și verificați lucrurile care trebuie să fie făcut acolo. Atunci nu trebuie să faci o unitate completă în virgulă mobilă prin simulare.”
Ca și în cazul tuturor instrumentelor, este, de asemenea, un domeniu în care se lucrează mult pentru a depăși aceste limitări, atât prin abstracții, cât și prin cercetări noi. „Deocamdată, se alimentează în mesajul că există unele lucruri pe care formale le face bine și altele pe care simularea le face bine”, a spus Giles. „Nu aș vedea niciodată un scenariu în care formalul elimină complet simularea. La fel ca ani de zile, mi-am dorit întotdeauna să nu mai fac simulări la nivel de poartă, dar asta nu s-a întâmplat niciodată. Vom vedea asta și cu formale și simulare.”
Metodele formale de verificare pot fi exhaustive și minuțioase, dar ar trebui să fie o cerință generală?
Chiar înainte de achiziționarea de către Cadence în 2014, Jasper a fost pionier în proliferarea mai largă prin introducerea de aplicații formale - folosind verificarea modelelor, adesea cu afirmații generate automat, pentru a rezolva problemele comune de verificare într-un mod mai accesibil, necesitând un nivel mult mai scăzut de expertiză formală, spuse Hardee.
În plus, „Conectivitatea este un exemplu grozav și unul dintre cele mai ușor de adoptat – generați afirmații dintr-o hartă de conectivitate într-o foaie de calcul sau IP-XACT formă. Același lucru se poate face cu simularea, dar este plictisitor. Această metodă formală se scalează cu ușurință la nivel de cip, deoarece cea mai mare parte a funcționalității blocului de bază poate fi abstractizată. În unele cazuri, aceste aplicații pot descărca sarcinile de lucru de simulare, iar valoarea este în găsirea erorilor din colț, deoarece stimulul de intrare aleator generat de instrumente este mai exhaustiv decât sunt de obicei bancurile de testare de simulare. Deși aceste aplicații sunt utile pentru a-i determina pe inginerii de verificare să înceapă cu formale, poate acționând ca o „poartă de acces”, ele sunt vârful aisbergului în ceea ce privește utilizarea. În prezent, constatăm că cea mai mare parte a aisbergului, inclusiv cea mai mare parte a utilizării regresiei a verificării formale, este în verificarea proiectelor DSA bazate pe procesor cu verificarea formală a proprietăților și verificarea echivalenței secvențiale, atât RTL-la-RTL, cât și C/ C++ la RTL”, a adăugat el. „Oricât de mult aș dori să stabilesc verificarea formală ca o cerință generală, există încă exemple în care este necesar și alte exemple în care simularea încă face o treabă mai bună. Dar vedem că tipurile de design în care este necesară verificarea formală cresc într-un ritm mult mai rapid.”
În ceea ce privește modul în care toate acestea evoluează, ecosistemul EDA pare să fie pe punctul de a identifica modul în care verificarea formală poate fi utilizată dincolo de aplicațiile tradiționale.
„Există un set de aplicații care sunt destul de comune pentru orice furnizor care vinde aplicații formale în pachet pentru utilizări finale specifice”, a concluzionat Giles. „Provocările și oportunitățile atât din perspectiva tehnică, cât și din perspectiva de afaceri includ utilizarea formală în moduri care să efectueze verificări care nu au fost posibile înainte, cum ar fi detectarea calului troian în hardware. Mai ales în această lume a hardware-ului open-source, este foarte frumos să poți demonstra că nimic nu este în acel design care să nu fie în acel design. Aceasta nu este de obicei o problemă de verificare care este rezolvată prin simulare, deoarece simularea presupune în general că știți ce căutați și doar încercați să vă asigurați că face asta. Cu detectarea calului troian, acum căutați lucruri care sunt efectiv în afara spațiului de stare cunoscut. Acesta este ceva care are o cantitate enormă de promisiune.”
Citire asemănătoare
Verificare Micro-Arhitecturală RISC-V
Verificarea unui procesor este mult mai mult decât asigurarea faptului că instrucțiunile funcționează, dar industria construiește dintr-o bază limitată de cunoștințe și puține instrumente dedicate.
Sunt necesare concepte noi pentru verificarea securității
De ce este atât de dificil să ne asigurăm că hardware-ul funcționează corect și că este capabil să detecteze vulnerabilitățile care pot apărea pe teren.
- Distribuție de conținut bazat pe SEO și PR. Amplifică-te astăzi.
- PlatoData.Network Vertical Generative Ai. Împuterniciți-vă. Accesați Aici.
- PlatoAiStream. Web3 Intelligence. Cunoștințe amplificate. Accesați Aici.
- PlatoESG. carbon, CleanTech, Energie, Mediu inconjurator, Solar, Managementul deșeurilor. Accesați Aici.
- PlatoHealth. Biotehnologie și Inteligență pentru studii clinice. Accesați Aici.
- Sursa: https://semiengineering.com/formal-verifications-usefulness-widens/
- :are
- :este
- :nu
- :Unde
- $UP
- 2014
- a
- Capabil
- Despre Noi
- Absolut
- absolut
- abstractizată
- acceleratoare
- acceptabil
- accesibil
- Conform
- Cont
- Obține
- achiziție
- peste
- actorie
- Acțiune
- adăuga
- adăugat
- adopta
- Adoptare
- avansat
- în urmă
- AI / ML
- TOATE
- de-a lungul
- de asemenea
- mereu
- am
- sumă
- an
- analiză
- și
- O alta
- telefonic
- Orice
- mai
- nimic
- apare
- aplicație
- aplicatii
- abordare
- Apps
- arhitecturi
- SUNT
- ZONĂ
- domenii
- ARM
- în jurul
- AS
- Asics
- aspect
- aspecte
- Asamblare
- evaluarea
- asumat
- asigurare
- At
- bar
- de bază
- bazat
- Luptă
- BE
- deoarece
- deveni
- devenire
- fost
- înainte
- fiind
- clopote
- beneficiind
- CEL MAI BUN
- Mai bine
- între
- Dincolo de
- Mare
- Pic
- Negru
- centura neagra
- Bloca
- bord
- atât
- Fără margini
- mai larg
- Rupt
- Spart
- Bug
- gandaci
- Clădire
- pachet
- afaceri
- dar
- by
- Cadenţă
- CAN
- Poate obține
- capacități
- capabil
- cazuri
- catering
- Provoca
- CEO
- sigur
- Certificare
- certifica
- contesta
- provocări
- provocare
- șansele
- Schimbare
- verifica
- control
- cip
- Chips
- Chris
- clar
- Ceas
- cod
- vine
- confortabil
- venire
- Comun
- comunitate
- Companii
- companie
- complementar
- complet
- complex
- complexitate
- componente
- Calcula
- Concepte
- Îngrijorare
- încheiat
- Suport conectare
- Lua în considerare
- luate în considerare
- constant
- context
- contrast
- Control
- Colț
- corecta
- corect
- Corupţie
- costisitor
- ar putea
- înscrie-te la cursul
- acoperi
- acoperire
- acoperit
- a creat
- Crearea
- Criteriile de
- critic
- În prezent
- curba
- Vârf
- clienţii care
- atacuri cibernetice
- cicluri
- de date
- Baza de date
- Zi
- mort
- deceniu
- dedicat
- întârzieri
- livrate
- livrare
- Cerere
- cerând
- cererile
- În funcție
- dislocate
- adâncime
- Amenajări
- proiectant
- Designerii
- proiect
- modele
- În ciuda
- Detectare
- Dezvoltatorii
- Dezvoltare
- dispozitiv
- Dispozitive
- diferit
- diferit
- dificil
- digital
- Director
- împărţi
- do
- face
- Nu
- face
- domenii
- făcut
- Dont
- De
- îndoială
- condus
- şofer
- conducere
- fiecare
- Mai devreme
- Devreme
- Cel mai simplu
- cu ușurință
- uşor
- ecosistem
- de învăţământ
- Eficace
- în mod eficient
- efecte
- eficient
- efort
- oricare
- elimină
- îmbrățișat
- emulație
- capăt
- inginer
- Inginerie
- inginerii
- Motoare
- îmbunătățiri
- suficient de
- asigura
- Întreg
- Mediu inconjurator
- echivalenţă
- mai ales
- esenţial
- Eter (ETH)
- Chiar
- EVER
- tot mai mare
- Fiecare
- toata lumea
- toată lumea
- toată lumea e
- tot
- pretutindeni
- evoluează
- exemplu
- exemple
- cuprinzător
- Extinde
- expertiză
- experți
- a explicat
- explozie
- exponențial
- țesătură
- factor
- Eșec
- destul de
- familiar
- mai repede
- DESCRIERE
- feedback-ul
- simţi
- puțini
- mai puține
- camp
- Fișier
- descoperire
- First
- cinci
- plutitor
- debit
- concentrat
- Pentru
- formă
- formal
- din
- Complet
- funcţie
- funcțional
- funcționalitate
- funcții
- viitor
- Câştig
- lacune
- General
- în general
- genera
- generează
- geopolitice
- obține
- devine
- giganți
- Oferirea
- globalizarea
- Go
- merge
- bine
- am
- GPU
- unități de procesare grafică
- mare
- grup
- În creştere
- creste
- Creștere
- se întâmplă
- Greu
- Piese metalice
- Avea
- având în
- he
- cap
- ajutor
- șovăitor
- ierarhic
- Înalt
- Lovit
- Cal
- Cum
- Totuși
- HTTPS
- mare
- uman
- i
- identifica
- identificarea
- if
- Impactul
- implementarea
- important
- in
- include
- Inclusiv
- Crește
- industrie
- intrare
- instrucțiuni
- integrare
- Intel
- scop
- interacţiuni
- interesant
- interfaţă
- intervenţie
- în
- Introducere
- intuitiv
- investit
- investiţie
- implică
- IP
- problema
- probleme de
- IT
- articole
- ESTE
- Loc de munca
- jpg
- doar
- doar unul
- păstrare
- Cheie
- tipurile
- Cunoaște
- cunoştinţe
- cunoscut
- muncă
- mare
- mai mare
- cea mai mare
- Nume
- ultima milă
- Liderii
- Conduce
- învățat
- lăsa
- Nivel
- Viaţă
- cicluri de viață
- ca
- limitări
- Limitat
- Linie
- liniar
- mic
- Locuiește
- Lung
- perioadă lungă de timp
- mai lung
- Uite
- cautati
- Lot
- Jos
- LOWER
- coborât
- Mainstream
- major
- Majoritate
- face
- Efectuarea
- administrare
- manual
- multe
- Hartă
- marca
- Piață
- matematica
- materie
- Mai..
- poate
- sens
- mesaj
- metodă
- Metodologie
- Metode
- milă
- Mobil
- model
- modul
- mai mult
- mai eficient
- cele mai multe
- Mai ales
- mişcă
- mult
- multiplu
- trebuie sa
- my
- imensitate
- nume
- Natură
- în mod necesar
- necesar
- Nevoie
- nevoilor
- nu
- Nou
- mai nou
- următor
- frumos
- Nu.
- neexperti
- notat
- nimic
- acum
- număr
- of
- de pe
- de multe ori
- on
- ONE
- afară
- deschide
- open-source
- deschis
- Oportunităţi
- optimizare
- optimizate
- or
- comandă
- Altele
- al nostru
- afară
- peste
- Învinge
- propriu
- pachet
- parte
- în special
- trecut
- oameni
- pentru
- efectua
- performanță
- perspective
- PhD
- fenomenal
- fenomen
- bucată
- pionier
- Locuri
- plan
- planificare
- Plato
- Informații despre date Platon
- PlatoData
- Joaca
- joacă
- Punct
- puncte
- posibil
- putere
- prezice
- a prezis
- prezenţă
- destul de
- Problemă
- probleme
- proces
- procesor
- procesoare
- Produs
- management de produs
- producere
- productivitate
- Programator
- proiect
- proeminenţă
- proeminent
- promisiune
- cum se cuvine
- proprietăţi
- proprietate
- protocoale
- Dovedi
- furnizori
- Punând
- interogări
- întrebare
- Întrebări
- repede
- cu totul
- C&D
- aleator
- rată
- tarife
- real
- valoare reala
- realități
- Realitate
- realizat
- motiv
- rezonabil
- motive
- recunoaște
- recomandat
- reduce
- se referă
- regres
- încredere
- rămâne
- rămășițe
- reputație
- cereri de
- necesar
- cerință
- Cerinţe
- Necesită
- cercetare
- revizuiască
- Revoluţie
- rădăcină
- Alerga
- s
- sigur
- Siguranţă
- Said
- acelaşi
- Spune
- spunând
- scalabilitate
- Scară
- scalate
- cântare
- scenariu
- schemă
- Ştiinţă
- Sean
- Al doilea
- sigur
- securitate
- vedea
- vedere
- văzut
- De vânzare
- semiconductor
- de serie
- set
- schimbare
- deficit
- penuriei
- cel mai scurt
- să
- Arăta
- parte
- semnificativ
- semnificativ
- Siliciu
- asemănător
- pur şi simplu
- simulare
- întrucât
- SIX
- aptitudini
- ușor diferite
- mic
- So
- soluţie
- soluţii
- REZOLVAREA
- rezolvate
- unele
- Cineva
- ceva
- uneori
- Sursă
- Spaţiu
- specific
- uzat
- Loc
- răspândire
- Spreadsheet
- Personal
- stăruitori
- început
- Stat
- Pas
- paşi
- Încă
- stimul
- Stop
- Poveste
- pași
- reuși
- succes
- astfel de
- suită
- a presupus
- sigur
- dulce
- sistem
- sisteme
- Lua
- TRAINERI
- Vorbi
- vorbesc
- echipă
- echipe
- Tehnic
- tehnici de
- Tehnologii
- Tehnologia
- plictisitor
- spune
- tinde
- termeni
- test
- decât
- acea
- Viitorul
- Sursa
- lumea
- lor
- Lor
- apoi
- Acolo.
- Acestea
- ei
- lucru
- lucruri
- crede
- acest
- complet
- aceste
- gândit
- Prin
- de-a lungul
- timp
- ori
- sfat
- la
- astăzi
- toleranță
- de asemenea
- instrument
- Unelte
- top
- spre
- urmări
- calc
- tradiţional
- extraordinar
- troian
- Cal troian
- Încredere
- demn de încredere
- încercat
- ÎNTORCĂ
- Două
- tip
- Tipuri
- tipic
- în
- care stau la baza
- înţelege
- In curs
- neprevăzut
- unic
- unitate
- dacă nu
- us
- Folosire
- utilizare
- utilizat
- util
- Utilizator
- utilizatorii
- utilizări
- folosind
- obișnuit
- folosi
- utilizate
- valoare
- Variantă
- varietate
- varia
- variabil
- Fixă
- vânzător
- furnizori
- Verificare
- verifica
- verificarea
- versat
- Impotriva
- vertical
- foarte
- viciu
- volum
- vs
- Vulnerabilitățile
- plimbări
- vrea
- dorit
- vrea
- a fost
- Cale..
- modalități de
- we
- BINE
- au fost
- Ce
- indiferent de
- cand
- dacă
- care
- în timp ce
- OMS
- de ce
- mai larg
- pe scară largă
- voi
- cu
- în
- fără
- Apartamente
- fabrică
- lume
- face griji
- ar
- scris
- ani
- tu
- Ta
- zephyrnet