Formalno preverjanje se uporablja pogosteje in na več mestih v zasnovah čipov, saj število možnih interakcij narašča in ker se ti čipi uporabljajo v bolj kritičnih aplikacijah.
V preteklosti veliko uradno preverjanje je bil osredotočen na to, ali bo čip pravilno deloval. Ker pa zasnove postajajo bolj zapletene in heterogene in ko se primeri uporabe spreminjajo, se formalno preverjanje uporablja v vsem, od ocenjevanja vpliva particioniranja do sledenja viru tihe poškodbe podatkov. Uporablja se celo za identifikacijo možnih vektorjev za kibernetske napade in za sledenje, kako se energija dovaja in uporablja v napravi.
"Zasnova z nizko porabo je prisotna že zelo dolgo, vendar je bil to pristop, ki je bil večinoma sprejet za mobilne čipe," je povedal Sean Safarpour, direktor skupine za raziskave in razvoj v Synopsys ' Skupina EDA. »Zdaj je na celi črti. Podobno opažamo, da se v pospeševalnikih uporablja več AI/ML in količina dela, ki ga lahko opravite na moč, je glavno gonilo. Zdaj je za vse, karkoli že počnejo, zasnova z nizko porabo tako velika skrb. Kar ima to opraviti s formalnim preverjanjem, je, da obstajajo posebni načini, kako se lahko formalno preverjanje uporabi za rešitev nekaterih od teh težav.
Tu ne gre več samo za clock gating optimizacijo, ki vključuje ponovno izvajanje simulacijskih regresij, da se prepričamo, da je vse pravilno. Danes je treba moč obravnavati v kontekstu drugih komponent v sistemu in včasih med sistemi. Brez formalnosti bi to trajalo bistveno več časa, če bi se sploh dalo. Prav tako ga je treba preučiti v kontekstu različnih primerov uporabe in delovnih obremenitev, kjer je treba moč slediti od dostave do uporabe.
»Če izvajate časovno krmiljenje, lahko opravimo analizo z in brez časovnega krmiljenja in vam dokončno povemo, ali je funkcionalnost enaka ali pa imate morda napako in se je med tem kaj pokvarilo,« je dejal Safarpour. »Na podlagi zahtev uporabnikov je zdaj možno upoštevati tudi namene napajanja prek datoteke UPF. Pred petimi, šestimi leti takšnih zahtev nismo imeli. Zdaj so tako vidni, da ljudje pravijo: 'Jaz preverjam lastnino. Imam svoje trditve. Zdaj pa želim te trditve preveriti v prisotnosti svojega UPF. Preverjam povezljivost na ravni SoC,« kar je še ena posebna aplikacija. Vendar je to nepopolno, razen če upoštevate celoten UPF zasnove. Formal se lahko poglobi v ta zelo specifična področja, tako da lahko uporabniki rečejo: »Počakajte trenutek, ni nam treba ponovno narediti našega celotnega regresijskega paketa. Te specifične probleme lahko sprejmemo in jih izčrpno rešimo.« To je prava vrednost formalnosti. Po naravi je izčrpen, tako da, ko gledate svoj celoten preskusni načrt in gledate nekatere od teh vidikov, pa naj gre za nizko porabo energije ali varnost, lahko gremo v vse te. Za te v svojem preizkusnem načrtu boste imeli posebne vrstične postavke. Nekatere od teh lahko izčrpno rešite s formalnim preverjanjem, kar je eden od razlogov, zakaj postaja vse pomembnejše v teh dneh, ko se problemski prostor povečuje.«
Preprosto povedano, vrzeli v pokritosti, ki so bile sprejemljive v preteklosti, ko je bilo manj funkcij in so bili življenjski cikli krajši, so danes v mnogih aplikacijah nesprejemljive.
»Vsi vedno govorijo o vedno večji kompleksnosti in veliko ljudi bo to upravičeno uporabilo kot razlog, da stvari počnejo drugače,« je dejal Chris Giles, vodja produktnega upravljanja za statične in formalne rešitve pri Siemens EDA. »Ko pogledamo uspeh na trgu in splošen razvojni proces, vidimo, da kljub večdesetletnemu povečanju vlaganj v preverjanje ne dohaja naraščajoče kompleksnosti. Čeprav vsi priznavamo, da se zapletenost nenehno povečuje, način, kako smo se na to odzvali kot industrija, ni tako učinkovit, kot bi moral biti. Premik, opažen v zadnjih nekaj letih, je v tem, kaj svet zahteva od silicija, in tu formalno preverjanje postaja absolutna zahteva. Današnji svet od silicija zahteva drugačen pristop preverjanja. Pri tem, kar zahtevamo, ne gre več za kompleksnost. Gre za varnost. Gre za varnost. Gre za zaupanje. Gre za zagotovilo. In vse te stvari je zelo težko dokazati z metodologijo linearne simulacije."
To pa je povzročilo eksplozijo povpraševanja po uradnem preverjanju. "Tukaj je formalnost vrhunska," je dejal Giles. »Zaradi svoje izčrpne narave lahko formalno preverjanje dokončno dokaže, da je načrt varen, varen ali vreden zaupanja. Za certificiranje teh lastnosti je v industriji opravljeno veliko dela, zato je tok, ki generira to certificiranje, ključnega pomena. Tukaj je formalnost absolutno bistvena. Če pogledate industrijo intelektualne lastnine, podjetja intelektualne lastnine ne vedo nujno, kateri končni izdelek bo njihov IP, zato morajo načrtovati tovrstna vprašanja. Kako naj vem, da je to varen dizajn? Kako naj vem, da je to zaupanja vreden dizajn? Kako naj vem, da je varno dati človeška življenja pod njegov nadzor? To so stvari, zaradi katerih morajo danes skrbeti celo IP ekipe.«
Pete Hardee, direktor produktnega upravljanja v skupini za sisteme in preverjanje pri Cadence, je dejal, da je v zadnjem desetletju opazil izjemno rast uporabe formalnega preverjanja. »Brez dvoma je 'prestopil prepad' v splošno razširjeno uporabo. Je nepogrešljivo orodje v verifikacijskem orožju za veliko večino vrhunskih polprevodniških podjetij.«
Vse večja kompleksnost, tako za SoC z naprednimi vozlišči kot tudi za heterogeno sestavo v paketu, zahteva več preverjanja. "Potreba po preverjanju se s kompleksnostjo zasnove eksponentno povečuje," je dejal Hardee. »Ključni učinki so bili dvojni. Prvič, pri hierarhičnem preverjanju na podlagi IP je bil princip »deli in vladaj« glavni dejavnik pri uspehu preverjanja – temeljito preverite blok IP ali podsistem, nato preverite pravilno integracijo in nič se ni pokvarilo na naslednji ravni. Za preverjanje, ki temelji na IP-ju, se je formalno preverjanje povečalo, da bi dosegli formalno podpisovanje za številne, vendar ne za vse vrste IP-jev. Prostor držav je lahko še vedno problem, kljub velikim korakom v formalni razširljivosti. Zapleteni serijski protokoli so na primer še vedno zahtevni za formalno preverjanje – zaporedna globina je pogosto previsoka. Nekatere formalne tehnike se lahko prilagodijo ravni čipa, vendar le na nekatere omejene načine – popolna formalna prijava za velike digitalne sisteme na čipu ostaja preveč zahtevna.«
Zasnove, ki temeljijo na procesorju, so bile vedno zahtevne, vendar jih je še posebej težko preveriti, če uporabljajo domensko specifične arhitekture. "Obstaja ogromen porast masivno programabilnih modelov - večprocesorskih arhitektur, ki uporabljajo veliko homogenih ali heterogenih nizov procesorskih jeder, odvisno od vertikalne aplikacije," je opozoril. »Za procesorje aplikacij se je boj Arm proti x86 ISA zdaj končal z RISC-V. Grafični procesorji so prisotni že dolgo, vendar so številne druge vrste matematičnih koprocesorjev in pospeševalnikov običajne, zlasti zdaj, ko jih poganja revolucija AI/ML. Vsakdo oblikuje svojo različico aplikacijskih in matematičnih jeder, ki so optimizirana za njegovo moč, zmogljivost in potrebe območja.« Cadence ta pojav označuje kot domensko specifične arhitekture (DSA).
Zaskrbljenost glede zanesljivosti se širi tudi na nekritične naprave. "Vsak dizajn ima lahko formalno rešitev za preverjanje, vključno z načrti, v katerih prevladuje aritmetika," je dejal Ashish Darbari, izvršni direktor podjetja Aksiomiziraj. »Načrtovanje, v katerem prevladuje aritmetika, ima koristi od naprednih rešitev največjih ponudnikov orodij za formalno preverjanje, ki imajo vsi rešitve, ki skrbijo za preverjanje aritmetike, zlasti na strani plavajoče vejice. V veliki shemi stvari to ni nujno velik obseg dela, je pa dovolj pomemben in pomemben, da ne gledamo stran.”
To je odprlo vrata za formalno uporabo veliko prej v toku, kjer se lahko uporablja za preprečevanje zamud, povezanih z načrtovanjem, in v širšem pasu inženirske skupnosti. Vendar pa je povzročilo tudi pomanjkanje talentov, ker niso vsi dobro vešči pisanja trditve v različnih aplikacijah.
»Vsakdo z razumnim imenom v poslu s silicijem, ne glede na to, ali gre za GPU ali procesorsko podjetje ali podjetje za tkanine, uporablja formalno,« je dejal Darbari. »Vsi velikani, ki gradijo strojno opremo, uporabljajo formalno. In nekateri od njih si želijo toliko formalnega dela, vendar preprosto nimajo dovolj talenta.«
Tudi stopnje posvojitev se razlikujejo. »Nekateri so zelo seznanjeni s formalnim preverjanjem in jim je všeč, razumejo, kaj lahko naredi, in ga izzivajo,« je opozoril Giles iz Siemensa. »Drugi so malo bolj neodločni, ker se včasih zdi, da je to znanstveni projekt ali da je potrebno izobraževalno prizadevanje. Ko nekdo, ki ni seznanjen s formalnostjo, prvič sliši, da se priporoča uradno preverjanje, je njegova prva misel: »Zdaj moram imeti doktorat v svojem osebju. Naš projekt moramo zagnati. Kako bom to sploh naredil?' In to vodi do različnih stopenj posvojitve.«
V nekaterih podjetjih je formalnost postala le ena od mnogih zahtevanih veščin. To je pomemben premik. V zgodnjih dneh formalnega preverjanja se je domnevalo, da bo majhna skupina inženirjev pridobila znanje o uporabi orodij.
"Spoznali smo, da lahko oblikovalci, inženirji za preverjanje, inženirji vseh slojev življenja uporabljajo tehnologijo," je dejal Safarpour iz Synopsysa. »Razvijalci orodij EDA so morali narediti bolj intuitivno za tega uporabnika. Imamo različne osebe, različne klobuke. Zdaj, če ste oblikovalec, boste morda potrebovali nekoliko drugačen vmesnik. Prihajate na to z drugega zornega kota kot vaš formalni črni pas, in zvončki, ki jih iščete, so precej drugačni. Kot razvijalci orodij smo se učili tudi od naših uporabnikov, ki lahko kar najbolje izkoristijo orodja. Tudi s tega vidika je letvica znižana. Danes, ko dobim vprašanja ali se pogovarjam s strankami, je toliko nestrokovnjakov, ki zahtevajo izboljšave ali nam dajejo povratne informacije o orodju, kot tradicionalnih formalnih strokovnjakov.«
Emulacija proti formalni proti simulaciji
Druge prednosti toka preverjanja vključujejo simulacijo in emulacijo. Toda za nekatere modele morda ne bodo potrebna vsa orodja za preverjanje.
"Nekatere stvari so zelo primerne za formalno preverjanje, ki pa niso tako primerne za simulacijo, in obratno," je dejal Giles iz Siemensa. »Dober primer tega je preverjanje povezljivosti. Prehod skozi postopek simulacije, da so vse medsebojne povezave po delih pravilne, je precej dolg serijski proces. Če lahko to naredite izčrpno v enem zagonu, potem lahko vzamete te simulacijske cikle in jih uporabite za tisto, kar je simulacija najboljša. Gre torej za igro produktivnosti. Še ena stvar, ki je jasna, ko se industrija premika od modela globalizacije k modelu regionalizacije ali nacionalizacije - in moramo večkrat posnemati ekosistem oblikovanja, razvoja in proizvodnje silicija po vsem svetu - je, da primanjkuje delovne sile napovedano tako rekoč povsod po svetu. In to nima nobene zveze s kompleksnostjo oblikovanja. Povezano je z geopolitično in makroekonomsko realnostjo sveta. To ustvarja priložnosti povsod. In resničnost je, da za uspeh v tem okolju potrebujemo večjo produktivnost naših ljudi. Uporaba formalnega ali učinkovitega preverjanja, sprostitev simulacijskih ciklov za tisto, kar je simulacija najboljša, je ključni del razvoja zdaj in v prihodnosti. Torej ti dve stvari – produktivnost in izpolnjevanje zahtev, ki jih svet danes postavlja na silicij, ter v smislu varnosti in zagotovila, zaupanja in varnosti – sta razlog, zakaj menim, da je formalno preverjanje absolutno potrebno za kakršno koli razvoj.”
V nekaterih primerih je potrebna več kot ena vrsta orodja. Darbari opozarja na prekrivanje glede na zahteve glede pokritosti, pa tudi na zmogljivosti različnih orodij različnih prodajalcev. "Še vedno obstajajo razlike," je dejal. »Odpravljanje napak je najbolj zanimivo. Odpravljanje napak je tisto, kjer lahko v najkrajšem času pridem do glavnega vzroka napake, in je tudi področje, kjer smo porabili veliko časa za odkrivanje vzroka stvari.«
Obstaja tudi medsebojno delovanje med formalnim preverjanjem in simulacijo, da se zmanjšajo cikli simulacije, pri čemer je formalno preverjanje dražje za inženirsko ekipo.
"Nikoli ne morete narediti dovolj simulacije, tako da je povpraševanje brezmejno," je dejal Safarpour. »Vsi želijo izvajati simulacije, vendar za to nimajo dovolj računalništva. Vendar sta tehnologiji simulacije in formalnega preverjanja precej komplementarni in to vidimo na več področjih. Pri pokritosti lahko s simulacijo zelo enostavno dosežete 80 %, 85 %, morda 90 % pokritost, nato pa se zgodi, da hitro dosežete plato v krivulji. Potem je tu še tistih 5 %. Odvisno od tega, kakšna so merila za odjavo, je na voljo še približno 5 % in obstaja toliko naključnih možnosti, ki jih lahko naredite, da jih še vedno ne moremo doseči. Teh 5 % je najprimernejša točka za formalno, saj obstaja verjetnost, da je 5 % bodisi stvari, ki jih je težko doseči, kot so vogalni primeri, pri katerih je formalno dobro, ali pa so mrtva koda, kar pomeni, da ne glede na to, koliko simulacija, ki jo narediš, je ne moreš zadeti. To vas pusti z vprašajem, nato pa bi se moral vmešati kakšen inženir, ki bi pregledal to kodo in rekel: 'Mislim, da to ni dosegljivo.' Gre torej za ročni poseg. To počnemo tako, da naša simulacija in formalna orodja delujejo na isti bazi podatkov in si med seboj pomagajo.«
Enak scenarij velja za aplikacije za funkcionalno varnost. »Za funkcionalno varnost in toleranco na napake lahko poskrbite, kolikor lahko, nato pa formalni koraki. Ista zgodba je z varnostjo in ta pristop se ponavlja na različnih področjih. Opravite enostavne stvari s simulacijo, pridite na to planoto in nato formalno naredite zadnjo miljo,« je pojasnil Safarpour.
Domensko specifične arhitekture dodajo svoje edinstvene težave. "V nasprotju z neprogramabilnimi ASIC so DSA drugačni, ker ne morete predvideti nešteto načinov, na katere bo programer uporabil procesor," je dejal Hardee iz Cadence. »Zajeti je treba vsako priložnost, tudi povsem nepredvideno. Formalno je edini način. Voditelji procesorske tehnologije, kot sta Arm in Intel, to vedo in že dolgo vlagajo v formalno preverjanje. Vsako podjetje, ki izvaja lastno implementacijo RISC-V, mora storiti enako. Rast matematičnih koprocesorjev in mehanizmov AI/ML spodbuja novejše formalne tehnike, kot je zaporedno preverjanje enakovrednosti C/C++ v RTL.«
Formalne meje
Kot vsa orodja EDA pa ima tudi formalno nekaj omejitev. "Formal ima sloves, da je nekaj, kar je bolje delovati na modulu ali bloku kot polni SoC," je opozoril Giles iz Siemensa. »Formalno ima izzive, ko gre za dolge, zaporedne težave. Dober primer tega bi bil, da je težko uporabiti formalno funkcijo za preverjanje funkcij množenja ali deljenja v enoti s plavajočo vejico. Najboljše ukrepanje je, da formalnemu ravnanju dovolite, da naredi tisto, kar je formalnemu najboljše, in simulaciji, da naredi tisto, kar je najbolje. Če vzamete zasnovo s plavajočo vejico, lahko preverite vse, vendar je funkcija množenja in deljenja najbolje izvedena s simulacijo, tako da ste veliko bolj učinkoviti pri uporabi simulacijskih funkcij in preverjate stvari, ki jih je treba opravljeno tam. Potem vam ni treba narediti celotne enote s plavajočo vejico s simulacijo.«
Kot pri vseh orodjih je tudi to področje, kjer poteka veliko dela za premagovanje teh omejitev, tako z abstrakcijami kot novimi raziskavami. "Zaenkrat je v sporočilo vključeno, da so nekatere stvari, ki so formalne, in nekatere, ki jih simulacija dobro obnese," je dejal Giles. »Nikoli ne bi videl scenarija, kjer bi formalno popolnoma odpravilo simulacijo. Tako kot leta sem si vedno želel prenehati s simulacijo na ravni vrat, vendar se to nikoli ni izšlo. To bomo videli tudi s formalnostjo in simulacijo.«
Formalne metode preverjanja so lahko izčrpne in temeljite, toda ali bi morale biti zahteva na vseh področjih?
Še pred prevzemom leta 2014 s strani Cadence je Jasper bil pionir v širšem širjenju z uvedbo formalnih aplikacij – z uporabo preverjanja modela, pogosto s samodejno ustvarjenimi trditvami, za reševanje pogostih težav pri preverjanju na bolj dostopen način, ki zahteva veliko nižjo raven formalnega strokovnega znanja, je rekel Hardee.
Nadalje: »Povezljivost je odličen primer in eden najlažjih za sprejetje – ustvarite trditve iz zemljevida povezljivosti v preglednici ali IP-XACT oblika. Enako je mogoče storiti s simulacijo, vendar je dolgočasno. Ta formalna metoda se zlahka prilagodi na raven čipa, saj je večino osnovne funkcionalnosti bloka mogoče abstrahirati. V nekaterih primerih lahko te aplikacije razbremenijo delovne obremenitve simulacije, vrednost pa je v iskanju napak v kotnih primerih, saj je naključni vhodni dražljaj, ustvarjen z orodjem, bolj izčrpen, kot so običajno preskusne mize simulacije. Medtem ko so te aplikacije uporabne za formalno pripravo inženirjev za preverjanje, morda delujejo kot "prehod", so vrh ledene gore v smislu uporabe. Trenutno ugotavljamo, da je glavnina ledene gore, vključno z večino regresijske uporabe formalnega preverjanja, pri preverjanju modelov DSA na osnovi procesorja s formalnim preverjanjem lastnosti in zaporednim preverjanjem enakovrednosti, tako RTL-RTL kot C/ C++ v RTL,« je dodal. »Ne glede na to, kako rad bi postavil formalno preverjanje kot zahtevo na vseh področjih, še vedno obstajajo primeri, kjer je potrebno, in drugi primeri, kjer simulacija še vedno opravlja svoje delo bolje. Toda opažamo, da tipi načrtovanja, kjer je formalno preverjanje potrebno, rastejo veliko hitreje.«
Glede tega, kako se vse to razvija, se zdi, da je ekosistem EDA na vrhuncu ugotavljanja, kako je mogoče formalno preverjanje uporabiti zunaj tradicionalnih aplikacij.
"Obstaja nabor aplikacij, ki so dokaj običajne za vse prodajalce, ki prodajajo formalne aplikacije v paketu za posebne končne uporabe," je zaključil Giles. »Izzivi in priložnosti s tehničnega in poslovnega vidika vključujejo uporabo formalnih načinov za izvedbo preverjanja, ki prej ni bilo mogoče, kot je odkrivanje trojanskega konja v strojni opremi. Zlasti v tem svetu odprtokodne strojne opreme je zelo lepo, če lahko dokažeš, da v tej zasnovi ni ničesar, kar ne bi smelo biti v tej zasnovi. To običajno ni problem preverjanja, ki bi ga rešila simulacija, ker simulacija na splošno predvideva, da veste, kaj iščete, in se samo poskušate prepričati, da to počne. Z zaznavanjem trojanskega konja zdaj iščete stvari, ki so dejansko zunaj znanega prostora stanj. To je nekaj, kar ogromno obeta.”
Sorodno branje
Mikroarhitekturna verifikacija RISC-V
Preverjanje procesorja je veliko več kot zagotavljanje, da navodila delujejo, vendar industrija gradi iz omejene baze znanja in nekaj namenskih orodij.
Za varnostno preverjanje so potrebni novi koncepti
Zakaj je tako težko zagotoviti, da strojna oprema deluje pravilno in je sposobna zaznati ranljivosti, ki se lahko pokažejo na terenu.
- Distribucija vsebine in PR s pomočjo SEO. Okrepite se še danes.
- PlatoData.Network Vertical Generative Ai. Opolnomočite se. Dostopite tukaj.
- PlatoAiStream. Web3 Intelligence. Razširjeno znanje. Dostopite tukaj.
- PlatoESG. Ogljik, CleanTech, Energija, Okolje, sončna energija, Ravnanje z odpadki. Dostopite tukaj.
- PlatoHealth. Obveščanje o biotehnologiji in kliničnih preskušanjih. Dostopite tukaj.
- vir: https://semiengineering.com/formal-verifications-usefulness-widens/
- :ima
- : je
- :ne
- :kje
- $GOR
- 2014
- a
- Sposobna
- O meni
- absolutna
- absolutno
- abstrahirano
- pospeševalniki
- sprejemljiv
- dostopen
- Po
- Račun
- Doseči
- pridobitev
- čez
- igrati
- Ukrep
- dodajte
- dodano
- sprejme
- Sprejetje
- napredno
- Avgust
- AI / ML
- vsi
- skupaj
- Prav tako
- vedno
- am
- znesek
- an
- Analiza
- in
- Še ena
- odgovor
- kaj
- več
- karkoli
- se prikaže
- uporaba
- aplikacije
- pristop
- aplikacije
- arhitekture
- SE
- OBMOČJE
- območja
- ARM
- okoli
- AS
- Asics
- vidik
- vidiki
- Skupščina
- Ocenjevanje
- domnevajo
- Zagotavljanje
- At
- bar
- baza
- temeljijo
- Bitka
- BE
- ker
- postanejo
- postajajo
- bilo
- pred
- počutje
- zvonovi
- koristi
- BEST
- Boljše
- med
- Poleg
- Big
- Bit
- črna
- Črni pas
- Block
- svet
- tako
- Brezmejna
- širši
- broke
- Broken
- Bug
- hrošči
- Building
- v paketu
- poslovni
- vendar
- by
- Cadence
- CAN
- Lahko dobiš
- Zmogljivosti
- lahko
- primeri
- gostinstvo
- Vzrok
- ceo
- nekatere
- certificiranje
- overiti
- izziv
- izzivi
- izziv
- kvote
- spremenite
- preveriti
- preverjanje
- čip
- čipi
- chris
- jasno
- Ure
- Koda
- prihaja
- udobna
- prihajajo
- Skupno
- skupnost
- Podjetja
- podjetje
- dopolnilni
- popolnoma
- kompleksna
- kompleksnost
- deli
- Izračunajte
- koncepti
- Skrb
- sklenjene
- Povezovanje
- Razmislite
- šteje
- stalna
- ozadje
- kontrast
- nadzor
- Kotiček
- popravi
- pravilno
- Korupcija
- drago
- bi
- Tečaj
- pokrov
- pokritost
- zajeti
- ustvaril
- Ustvarjanje
- Merila
- kritično
- Trenutno
- krivulja
- Kusp
- Stranke, ki so
- kibernetski napadi
- ciklov
- datum
- Baze podatkov
- Dnevi
- mrtva
- desetletje
- namenjen
- zamude
- dostavi
- dostava
- Povpraševanje
- zahtevno
- zahteve
- Odvisno
- razporejeni
- globina
- Oblikovanje
- oblikovalec
- oblikovalci
- oblikovanje
- modeli
- Kljub
- Odkrivanje
- Razvijalci
- Razvoj
- naprava
- naprave
- drugačen
- drugače
- težko
- digitalni
- Direktor
- razdeli
- do
- ne
- Ne
- tem
- domen
- opravljeno
- dont
- By
- dvomim
- vozi
- voznik
- vožnjo
- vsak
- prej
- Zgodnje
- najlažje
- enostavno
- lahka
- ekosistem
- izobraževalne
- Učinkovito
- učinkovito
- Učinki
- učinkovite
- prizadevanje
- bodisi
- odpravlja
- objel
- emulacija
- konec
- inženir
- Inženiring
- Inženirji
- Motorji
- izboljšave
- dovolj
- zagotovitev
- Celotna
- okolje
- enakovrednost
- zlasti
- bistvena
- Eter (ETH)
- Tudi
- VEDNO
- vedno večja
- Tudi vsak
- Vsi
- vsi
- vsakdo je
- vse
- Povsod
- razvija
- Primer
- Primeri
- celovito
- Razširi
- strokovno znanje
- Strokovnjaki
- razložiti
- eksplozija
- eksponentno
- tkanina
- Faktor
- Napaka
- pošteno
- seznanjeni
- hitreje
- Lastnosti
- povratne informacije
- občutek
- Nekaj
- manj
- Polje
- file
- iskanje
- prva
- pet
- plavajoči
- Pretok
- osredotočena
- za
- obrazec
- formalno
- iz
- polno
- funkcija
- funkcionalno
- funkcionalnost
- funkcije
- Prihodnost
- Gain
- vrzeli
- splošno
- splošno
- ustvarjajo
- ustvarja
- geopolitične
- dobili
- dobi
- velikani
- Giving
- globalizacija
- Go
- dogaja
- dobro
- prisodil
- GPU
- Grafične kartice
- veliko
- skupina
- Pridelovanje
- raste
- Rast
- se zgodi
- Trdi
- strojna oprema
- Imajo
- ob
- he
- Glava
- pomoč
- Oklevajoča
- hierarhično
- visoka
- hit
- Konj
- Kako
- Vendar
- HTTPS
- velika
- človeškega
- i
- identificirati
- identifikacijo
- if
- vpliv
- Izvajanje
- Pomembno
- in
- vključujejo
- Vključno
- Povečajte
- Industrija
- vhod
- Navodila
- integracija
- Intel
- namen
- interakcije
- Zanimivo
- vmesnik
- intervencije
- v
- Predstavitev
- intuitivno
- investirali
- naložbe
- vključuje
- IP
- vprašanje
- Vprašanja
- IT
- Izdelkov
- ITS
- Job
- jpg
- samo
- samo en
- vzdrževanje
- Ključne
- vrste
- Vedite
- znanje
- znano
- dela
- velika
- večja
- Največji
- Zadnja
- zadnji kilometer
- Voditelji
- Interesenti
- naučili
- Naj
- Stopnja
- življenje
- življenjske cikle
- kot
- omejitve
- Limited
- vrstica
- linearna
- malo
- živi
- Long
- dolgo časa
- več
- Poglej
- si
- Sklop
- nizka
- nižje
- spuščen
- Mainstream
- velika
- Večina
- Znamka
- Izdelava
- upravljanje
- Navodilo
- več
- map
- znamka
- Tržna
- math
- Matter
- Maj ..
- mogoče
- kar pomeni,
- Sporočilo
- Metoda
- Metodologija
- Metode
- mile
- Mobilni
- Model
- modul
- več
- učinkovitejše
- Najbolj
- večinoma
- premika
- veliko
- več
- morajo
- my
- nešteto
- Ime
- Narava
- nujno
- potrebno
- Nimate
- potrebe
- nikoli
- Novo
- novejši
- Naslednja
- lepo
- št
- nestrokovnjaki
- opozoriti
- nič
- zdaj
- Številka
- of
- off
- pogosto
- on
- ONE
- samo
- odprite
- open source
- odprt
- Priložnosti
- optimizacija
- optimizirana
- or
- Da
- Ostalo
- naši
- ven
- več
- Premagajte
- lastne
- paket
- del
- zlasti
- preteklosti
- ljudje
- za
- opravlja
- performance
- perspektive
- Dr.
- fenomenalen
- pojav
- kos
- pionir
- Mesta
- Načrt
- načrtovanje
- platon
- Platonova podatkovna inteligenca
- PlatoData
- Predvajaj
- igra
- Točka
- točke
- mogoče
- moč
- napovedati
- napovedano
- Prisotnost
- precej
- problem
- Težave
- Postopek
- Procesor
- procesorji
- Izdelek
- upravljanje izdelkov
- proizvodnja
- produktivnost
- Programmer
- Projekt
- pomembnost
- ugledni
- Obljuba
- pravilno
- Lastnosti
- nepremičnine
- protokoli
- Dokaži
- ponudniki
- Dajanje
- poizvedbe
- vprašanje
- vprašanja
- hitro
- precej
- R & D
- naključno
- Oceniti
- Cene
- pravo
- realna vrednost
- realnosti
- Reality
- realizirano
- Razlog
- razumno
- Razlogi
- priznajo
- priporočeno
- zmanjša
- nanaša
- regresija
- zanesljivost
- ostajajo
- ostanki
- Ugled
- zahteva
- obvezna
- zahteva
- Zahteve
- zahteva
- Raziskave
- pregleda
- Revolucija
- koren
- Run
- s
- varna
- Varnost
- Je dejal
- Enako
- pravijo,
- rek
- Prilagodljivost
- Lestvica
- pomanjšana
- luske
- Scenarij
- shema
- Znanost
- Sean
- drugi
- zavarovanje
- varnost
- glej
- videnje
- videl
- Prodaja
- polprevodnik
- serijska
- nastavite
- premik
- pomanjkanje
- pomanjkanja
- najkrajša
- shouldnt
- Prikaži
- strani
- pomemben
- bistveno
- Silicij
- podobno
- preprosto
- Simulacija
- saj
- SIX
- spretnosti
- nekoliko drugačen
- majhna
- So
- Rešitev
- rešitve
- SOLVE
- rešiti
- nekaj
- nekdo
- Nekaj
- Včasih
- vir
- Vesolje
- specifična
- porabljen
- Komercialni
- širjenje
- Spreadsheet
- Osebje
- veljaki
- začel
- Država
- Korak
- Koraki
- Še vedno
- dražljaj
- stop
- Zgodba
- korakov
- uspeh
- uspeh
- taka
- apartma
- naj
- Preverite
- sladka
- sistem
- sistemi
- Bodite
- talent
- Pogovor
- pogovor
- skupina
- Skupine
- tehnični
- tehnike
- Tehnologije
- Tehnologija
- dolgočasen
- povej
- težava
- Pogoji
- Test
- kot
- da
- O
- Prihodnost
- Vir
- svet
- njihove
- Njih
- POTEM
- Tukaj.
- te
- jih
- stvar
- stvari
- mislim
- ta
- temeljito
- tisti,
- mislil
- skozi
- vsej
- čas
- krat
- Nasvet
- do
- danes
- toleranca
- tudi
- orodje
- orodja
- vrh
- proti
- sledenje
- Sledenje
- tradicionalna
- ogromno
- Trojan
- trojanski konj
- Zaupajte
- zaupanja
- poskuša
- OBRAT
- dva
- tip
- Vrste
- tipično
- pod
- osnovni
- razumeli
- V teku
- nepredviden
- edinstven
- Enota
- če
- us
- Uporaba
- uporaba
- Rabljeni
- koristno
- uporabnik
- Uporabniki
- uporablja
- uporabo
- navadno
- uporabiti
- uporablja
- vrednost
- Variant
- raznolikost
- razlikujejo
- različno
- Popravljeno
- Prodajalec
- prodajalci
- Preverjanje
- preverjanje
- preverjanje
- podkovan
- Proti
- vertikalno
- zelo
- vice
- Obseg
- vs
- Ranljivosti
- sprehodi
- želeli
- hotel
- želi
- je
- način..
- načini
- we
- Dobro
- so bili
- Kaj
- karkoli
- kdaj
- ali
- ki
- medtem
- WHO
- zakaj
- širše
- razširjen
- bo
- z
- v
- brez
- delo
- deluje
- svet
- skrbi
- bi
- pisanje
- let
- jo
- Vaša rutina za
- zefirnet