Ametlikku kontrollimist rakendatakse kiibikujunduses sagedamini ja rohkemates kohtades, kuna võimalike koostoimete arv kasvab ja neid kiipe kasutatakse kriitilisemates rakendustes.
Varem suur osa ametlik kontroll keskendus sellele, kas kiip töötab korralikult. Kuid kuna disainilahendused muutuvad keerukamaks ja heterogeensemaks ning kasutusjuhtude muutudes, kasutatakse ametlikku kontrolli kõiges alates partitsioonide mõju hindamisest kuni vaikiva andmete riknemise allika jälgimiseni. Seda kasutatakse isegi küberrünnakute võimalike vektorite tuvastamiseks ning seadmes toite tarnimise ja kasutamise jälgimiseks.
"Madala võimsusega disain on olnud kasutusel väga pikka aega, kuid see oli lähenemisviis, mida kasutati peamiselt mobiilsete kiipide jaoks," ütles uurimis- ja arendusrühma direktor Sean Safarpour. kokkuvõte EDA grupp. "Nüüd on see kõik korras. Samamoodi näeme kiirendites rohkem AI/ML-i ja töömaht, mida saate ühe võimsuse kohta teha, on peamine tegur. Nii et nüüd on vähese energiatarbega disain nii suur mure kõigile, mida nad ka ei teeks. See on seotud ametliku kontrolliga, et ametlikku kontrolli saab kasutada teatud probleemide lahendamiseks.
See ei puuduta enam ainult kella väravastamine optimeerimine, mis hõlmab simulatsiooni regressioonide uuesti käivitamist, et veenduda, et kõik on õige. Tänapäeval tuleb võimsust käsitleda süsteemi teiste komponentide kontekstis ja mõnikord ka süsteemide vahel. Ilma formaalseta võtaks see oluliselt rohkem aega, kui seda üldse teha saaks. Seda tuleb uurida ka erinevate kasutusjuhtude ja töökoormuste kontekstis, kus võimsust tuleb jälgida tarnimisest kuni kasutamiseni.
"Kui teete kella värbamist, saame teha analüüsi koos kellaga ja ilma ja öelda teile kindlalt, kas funktsionaalsus on sama või kas teil võib olla viga ja midagi läks teel katki," ütles Safarpour. “Kasutajate soovide alusel on nüüd võimalik UPF-faili kaudu ka toitekavatsust arvesse võtta. Viis-kuus aastat tagasi meil selliseid taotlusi ei olnud. Nüüd on nad nii silmapaistvad, et inimesed ütlevad: "Ma kontrollin vara." Mul on oma väited. Kuid nüüd tahan neid väiteid oma UPF-i juuresolekul kontrollida. Teen SoC taseme ühenduvuse kontrollimist, mis on veel üks konkreetne rakendus. Kuid see on puudulik, kui te ei võta arvesse disaini täielikku UPF-i. Formal suudab minna nendesse väga spetsiifilistesse valdkondadesse, nii et kasutajad võivad öelda: "Oodake, me ei pea kogu oma regressioonikomplekti uuesti tegema." Me võime võtta need konkreetsed probleemid ja lahendada need ammendavalt. See on formaalsuse tegelik väärtus. See on oma olemuselt ammendav, nii et kui vaatate kogu oma testiplaani ja mõnda neist aspektidest, olgu see siis väike võimsus või turvalisus, võime neid kõiki käsitleda. Teie testplaanis on nende jaoks konkreetsed reaüksused. Mõnda neist saate ametliku kontrolliga ammendavalt lahendada, mis on üks põhjusi, miks see tänapäeval üha enam esile tõuseb, kui probleemiruum suureneb.
Lihtsamalt öeldes on katvuse lüngad, mis olid varem vastuvõetavad, kui funktsioone oli vähem ja elutsükkel lühem, tänapäeval paljudes rakendustes vastuvõetamatud.
"Kõik räägivad alati üha suurenevast keerukusest ja paljud inimesed kasutavad seda õigustatult põhjusena teha asju teisiti," ütles Chris Giles, staatiliste ja formaalsete lahenduste tootehalduse juht. Siemens EDA. „Kui vaatame turuedu ja üldist arendusprotsessi, näeme, et vaatamata mitukümmend aastat kestnud investeeringute kasvule kontrollimisesse, ei vasta see keerukuse kasvule. Ehkki me kõik mõistame, et keerukus kasvab pidevalt, ei ole see, kuidas me sellele tööstusharuna reageerime, nii tõhusalt kui vaja. Viimastel aastatel nähtud nihe on seotud sellega, mida maailm ränilt nõuab, ja siin on formaalne kontrollimine muutumas absoluutseks nõudeks. See, mida maailm ränilt täna nõuab, on teistsugune kontrollimisviis. See, mida me nõuame, ei puuduta enam keerukust. See puudutab turvalisust. See puudutab turvalisust. See puudutab usaldust. See puudutab kindlustunnet. Ja kõiki neid asju on lineaarse simulatsiooni metoodikaga väga raske tõestada.
See omakorda on tekitanud plahvatuslikult nõudluse ametliku kontrollimise järele. "See on koht, kus formaalne paistab silma," ütles Giles. „Oma ammendava olemuse tõttu võib ametlik kontrollimine veenvalt tõestada, et disain on turvaline, ohutu või usaldusväärne. Nende omaduste sertifitseerimiseks tehakse tööstuses palju tööd, nii et selle sertifitseerimise loomine on kriitilise tähtsusega. See on koht, kus formaalne on absoluutselt oluline. Kui vaatate intellektuaalomandi tööstust, ei tea intellektuaalomandi ettevõtted tingimata, millises lõpptootes nende IP saab olema, seega peavad nad seda tüüpi küsimustega tegelema. Kuidas ma tean, et see on turvaline disain? Kuidas ma tean, et see on usaldusväärne disain? Kuidas ma tean, et inimelude kontrolli alla võtmine on ohutu? Need on asjad, mille pärast peavad isegi IP-meeskonnad täna muretsema.
Pete Hardee, süsteemi- ja kontrollirühma tootehaldusdirektor Cadence, ütles, et on viimase kümnendi jooksul näinud fenomenaalset kasvu ametliku kontrollimise kasutamises. "Kahtlemata on see "üle kuristik" laialdaselt levinud tavakasutusse. See on asendamatu tööriist enamiku parimate pooljuhtide tootjate jaoks.”
Kasvav keerukus, nii täiustatud sõlmede SoC-de kui ka heterogeense komplekti puhul paketis, nõuab rohkem kontrollimist. "Kontrollivajadus kipub projekteerimise keerukusega plahvatuslikult laienema, " ütles Hardee. "Põhimõjud on olnud kahesugused. Esiteks, IP-põhise hierarhilise verifitseerimise korral on jaga ja valluta kontrollimise edu peamiseks teguriks – kontrollige põhjalikult IP-plokki või alamsüsteemi, seejärel kontrollige õiget integratsiooni ja järgmisel tasemel ei läinud midagi katki. IP-põhise kinnitamise puhul on ametlikku kontrollimist suurendatud nii, et see saavutaks ametliku allkirjastamise paljude, kuid mitte kõigi IP-tüüpide jaoks. Hoolimata suurtest edusammudest formaalse skaleeritavuse osas võib olekuruum endiselt probleemiks olla. Näiteks keerulised jadaprotokollid on formaalse kontrollimise jaoks endiselt keerulised – järjestikune sügavus on sageli liiga suur. Mõned formaalsed tehnikad võivad ulatuda kiibi tasemele, kuid ainult mõnel piiratud viisil – suurte digitaalsete SoC-de täielik formaalne allkirjastamine on endiselt liiga keeruline.
Protsessoripõhised disainilahendused on alati olnud väljakutsed, kuid neid on eriti raske kontrollida, kui need kasutavad domeenispetsiifilisi arhitektuure. "Massiliselt programmeeritavate disainide arv on tohutult kasvanud - mitme protsessoriga arhitektuurid, mis kasutavad olenevalt vertikaalsest rakendusest palju homogeenseid või heterogeenseid protsessorituumade massiive," märkis ta. "Rakendusprotsessorite jaoks on RISC-V nüüd avanud lahingu Arm versus x86 ISA. Graafikaprotsessorid on olnud kasutusel juba pikka aega, kuid paljud muud tüüpi matemaatika kaasprotsessorid ja kiirendid on tavalised, eriti nüüd, mille põhjuseks on AI/ML revolutsioon. Igaüks kujundab oma rakendusevarianti ja matemaatilisi tuumasid, mis on optimeeritud vastavalt nende võimsusele, jõudlusele ja piirkonna vajadustele. Kadents viitab sellele nähtusele kui domeenispetsiifilistele arhitektuuridele (DSA).
Mure töökindluse pärast levib ka mittekriitilistele seadmetele. "Igal kujundusel võib olla formaalne kontrollilahendus, sealhulgas aritmeetikaga domineerivad kujundused," ütles Ashish Darbari, ettevõtte tegevjuht. Aksioomia. „Aritmeetikas domineeriv disain saab kasu suurimate ametlike kontrollitööriistade pakkujate täiustatud lahendustest, millel kõigil on lahendused, mis on suunatud aritmeetilisele kontrollile, eriti ujukoma poolel. Asjade suures plaanis ei pruugi see olla suur töömaht, kuid see on piisavalt märkimisväärne ja oluline, et me ei vaataks teistpidi.
See on avanud ukse ametlikule kasutamisele palju varem, kus seda saab kasutada disainiga seotud viivituste ärahoidmiseks ja laiemal inseneriringkonnal. Kuid see on tekitanud ka talentide puuduse, sest kõik ei ole kirjutamises hästi kursis väiteid mitmesugustes erinevates rakendustes.
"Kõik, kellel on silicon äris mõistlik nimi, olgu selleks siis GPU või töötleja või kangaettevõte, kasutavad formaalset," ütles Darbari. "Kõik riistvara ehitavad hiiglased kasutavad formaalset. Ja mõned neist tahavad nii palju formaalseid asju teha, kuid neil pole lihtsalt piisavalt talenti.
Ka lapsendamise määrad on erinevad. "Mõned on ametliku kontrollimisega väga tuttavad ja tunnevad end hästi, mõistavad, mida see teha saab, ja vaidlustavad selle," märkis Siemensi Giles. "Teised on veidi kõhklevamad, sest mõnikord võib see tunduda teadusprojektina või on vaja hariduslikku pingutust. Kui keegi, kes ei ole formaalsega kursis, kuuleb esmalt ametlikku kontrollimist, on tema esimene mõte: "Nüüd pean oma töötajatel olema doktorikraadi. Peame oma projekti käima lükkama. Kuidas ma seda kunagi teen?' Ja see viib erineval määral omaksvõtmiseni.
Mõnes ettevõttes on ametlik oskus muutunud vaid üheks paljudest nõutavatest oskustest. See on märkimisväärne nihe. Ametliku kontrolli esimestel päevadel eeldati, et väike inseneride rühm omandab tööriistade kasutamise oskused.
"Mõistsime, et disainerid, kontrolliinsenerid ja kõigi elualade insenerid saavad seda tehnoloogiat kasutada," ütles Synopsys' Safarpour. "Ja selle kasutaja jaoks intuitiivsemaks muutmine on EDA tööriistade arendajate ülesanne. Meil on erinevad isiksused, erinevad mütsid. Nüüd, kui olete disainer, võib teil vaja minna veidi teistsugust liidest. Vaatate seda erineva nurga alt kui teie ametlik must vöö ning kellad ja viled, mida otsite, on üsna erinevad. Tööriistaarendajatena oleme ka oma kasutajatelt õppinud, kes saavad tööriistadest maksimumi võtta. Ka sellest aspektist on latt madalamale viidud. Tänapäeval, kui saan päringuid või räägin klientidega, on sama palju mitteeksperte, kes esitavad täiustustaotlusi või annavad meile tööriista kohta tagasisidet kui traditsioonilised ametlikud eksperdid.
Emuleerimine vs formaalne vs simulatsioon
Teised kinnitusvoo põhielemendid hõlmavad simuleerimist ja emuleerimist. Kuid teatud kujunduste puhul ei pruugi iga kontrollitööriist olla vajalik.
"Mõned asjad sobivad hästi ametlikuks kontrollimiseks, kuid ei sobi nii hästi simuleerimiseks ja vastupidi," ütles Siemensi Giles. "Hea näide sellest on ühenduvuse kontrollimine. Protsessi läbimine, mille käigus simuleeritakse, et kõik vastastikused ühendused on ükshaaval õiged, on üsna pikk jadaprotsess. Kui saate seda ühe katsega ammendavalt teha, võite võtta need simulatsioonitsüklid ja kasutada neid selleks, mis simulatsioonil kõige paremini toimib. Nii et see on produktiivsuse mäng. Veel üks asi, mis on selge, kui tööstus liigub globaliseerumismudelilt piirkondadeks jaotamise või natsionaliseerimise mudelile – ja me peame räni disaini, arendamise ja tootmise ökosüsteemi mitu korda üle maailma kopeerima – on tööjõupuudus. ennustatakse peaaegu kõikjal üle maailma. Ja sellel pole disaini keerukusega mingit pistmist. See on seotud maailma geopoliitilise ja makromajandusliku tegelikkusega. See loob võimalusi kõikjal. Ja reaalsus on see, et selles keskkonnas edu saavutamiseks vajame oma inimeste tootlikkust rohkem. Ametliku või tõhusa verifitseerimise kasutamine, simulatsioonitsüklite vabastamine, et teha seda, mis simulatsioonil kõige paremini õnnestub, on praegu ja tulevikus oluline arenduse osa. Nii et need kaks asja – nii tootlikkuse osa kui ka vastamine nõudmistele, mida maailm praegu ränile esitab, ning ohutuse ja kindluse, usalduse ja turvalisuse osas – on põhjused, miks ma pean ametlikku kontrollimist absoluutselt nõutavaks. areng."
Mõnel juhul on vaja rohkem kui ühte tüüpi tööriistu. Darbari osutab kattuvusele, mis põhineb katvuse nõuetel, aga ka erinevate tarnijate erinevate tööriistade võimalustel. "Seal on endiselt erinevusi," ütles ta. "Silumine on kõige huvitavam. Silumine on koht, kus ma saan võimalikult lühikese ajaga jõuda ebaõnnestumise algpõhjuseni ning see on ka valdkond, kus kulutasime palju aega asjade juurdlemiseks.
Ametliku kontrolli ja simulatsiooni vahel on ka koosmõju, et vähendada simulatsioonitsükleid, kusjuures formaalne kontrollimine on insenerimeeskonnale kulukam.
"Te ei saa kunagi piisavalt simuleerida, nii et nõudlus on piiritu," ütles Safarpour. "Kõik tahavad simuleerida, kuid neil pole selleks piisavalt arvutusi. Simulatsiooni- ja ametliku kontrollimise tehnoloogiad on aga oma olemuselt üsna üksteist täiendavad ja me näeme seda mitmes valdkonnas. Katvuses saab simulatsiooniga väga lihtsalt 80%, 85%, võib-olla 90% katvuseni ja siis juhtub see, et jõuate kõveras kiiresti platoole. Siis on veel see 5%. Olenevalt sellest, millised on allakirjutamise kriteeriumid, on veel umbes 5% ja saate teha nii palju randomiseerimist, et me ei suuda neid ikkagi tabada. See 5% on parim koht ametlikuks, sest on tõenäoline, et 5% on kas asjad, millele on raske pihta saada, näiteks nurgapealsed juhtumid, milles ametlik on hea, või need on surnud kood, mis tähendab, et ükskõik kui palju simulatsioon, mida sa teed, sa ei saa seda tabada. See jätab teile küsimärgi ja siis peaks mõni insener selle koodi üle vaatama ja ütlema: "Ma arvan, et see pole kättesaadav." Niisiis, see on käsitsi sekkumine. See, kuidas me seda teeme, on meie simulatsioonid ja ametlikud tööriistad, mis töötavad samas andmebaasis ja aitavad üksteist välja.
Sama stsenaarium kehtib ka funktsionaalsete ohutuse rakenduste puhul. "Võite katta nii palju kui võimalik funktsionaalse ohutuse ja tõrketaluvuse osas, seejärel astuge ametlikult sisse. Turvalisusega on sama lugu ja see lähenemine kordub erinevates valdkondades. Tehke simulatsiooniga lihtsad asjad ära, jõudke sellele platoole ja laske siis ametlikult viimane miil läbida," selgitas Safarpour.
Domeenispetsiifilised arhitektuurid lisavad oma ainulaadsed probleemid. "Erinevalt mitteprogrammeeritavatest ASIC-idest on DSA-d erinevad, kuna te ei saa ennustada, kuidas programmeerija protsessorit kasutab, " ütles Cadence'i Hardee. “Katta tuleb iga juhus, ka täiesti ettenägematu. Formaalne on ainus viis. Protsessoritehnoloogia juhid, nagu Arm ja Intel, teavad seda ja on pikka aega investeerinud ametlikku kontrolli. Iga ettevõte, kes teeb oma RISC-V juurutamist, peab tegema sama. Ja matemaatika kaasprotsessorite ja AI/ML mootorite kasv toob kaasa uuemad formaalsed tehnikad, nagu C/C++ kuni RTL järjestikuse samaväärsuse kontrollimiseks.
Formaalsed piirid
Nagu kõigil EDA tööriistadel, on ka ametlikul piirangud. "Formal on maine, et see töötab paremini moodulis või plokis kui täielik SoC," märkis Siemensi Giles. „Ametlikel on väljakutseid, kui tegemist on pikkade järjestikuste probleemidega. Hea näide sellest on see, et formaalset on keeruline kasutada ujukomaüksuses korrutamise või jagamise funktsioonide kontrollimiseks. Parim tegevusviis on lasta ametlikul teha seda, mida formaalne kõige paremini teeb, ja lasta simulatsioonil teha seda, mida simulatsioon kõige paremini teeb. Kui kasutate ujukoma kujundust, saate kõike kontrollida, kuid korrutamise ja jagamise funktsioone saab kõige paremini teha simulatsiooniga, nii et kasutate simulatsioonifunktsioone palju tõhusamalt ja kontrollite asju, mis peavad olema seal tehtud. Siis ei pea te täielikku ujukomaühikut simulatsiooni abil tegema.
Nagu kõigi tööriistade puhul, on see ka valdkond, kus tehakse palju tööd nende piirangute ületamiseks nii abstraktsioonide kui ka uute uuringute kaudu. "Praegu toidab see sõnumit, et teatud asjadega läheb hästi formaalselt ja mõnel, millel simulatsioon hästi," ütles Giles. "Ma ei näeks kunagi stsenaariumi, kus formaalne välistab simulatsiooni täielikult. Nagu aastaid, tahtsin alati lõpetada väravataseme simulatsiooni tegemise, kuid see ei õnnestunud kunagi. Me näeme seda ka formaalse ja simulatsiooniga.
Ametlikud kontrollimeetodid võivad olla ammendavad ja põhjalikud, kuid kas need peaksid olema üldised nõuded?
Juba enne Cadence'i 2014. aasta omandamist alustas Jasper laiemat levikut ametlike rakenduste kasutuselevõtuga – kasutades mudelikontrolli, sageli automaatselt genereeritud väidetega, et lahendada levinud kontrolliprobleemid ligipääsetavamal viisil, mis nõuab palju madalamat ametlikku asjatundlikkust. ütles Hardee.
Lisaks: „Ühenduvus on suurepärane näide ja üks lihtsamini kasutatavaid – genereeri väiteid ühenduvuskaardilt arvutustabelis või IP-XACT vormi. Sama saab teha simulatsiooniga, kuid see on tüütu. Seda formaalset meetodit saab hõlpsasti kiibi tasemele skaleerida, kuna enamikku aluseks olevatest ploki funktsioonidest saab abstraktselt võtta. Mõnel juhul võivad need rakendused simulatsiooni töökoormust maha laadida ja väärtus seisneb nurgajuhtumite vigade leidmises, kuna juhusliku tööriistaga loodud sisendstiimul on ammendavam kui simulatsiooni katsepingid tavaliselt. Kuigi need rakendused on kasulikud, et panna kinnitusinsenerid ametlikult alustama, võib-olla toimivad ka „väravana”, on need kasutamise osas jäämäe tipp. Praegu leiame, et suurem osa jäämäest, sealhulgas suurem osa formaalse verifitseerimise regressioonikasutusest, seisneb protsessoripõhiste DSA kujunduste kontrollimises formaalse atribuudi verifitseerimisega ja järjestikuse samaväärsuse kontrollimisega, nii RTL-lt-RTL kui ka C/ C++ RTL-ile,” lisas ta. „Nii väga, kui ma tahaksin seada formaalse kontrollimise nõudeks kõikjal, on siiski näiteid, kus see on vajalik, ja muid näiteid, kus simulatsioon teeb siiski paremat tööd. Kuid me näeme, et disainitüübid, mille puhul on vajalik ametlik kontroll, kasvavad palju kiiremini.
Mis puutub sellesse, kuidas see kõik areneb, siis näib, et EDA ökosüsteem on täpselt otsustamas, kuidas ametlikku kontrolli saab kasutada lisaks traditsioonilistele rakendustele.
"Seal on rakenduste komplekt, mis on üsna tavaline iga müüja jaoks, kes müüb komplekteeritud ametlikke rakendusi konkreetseks lõppkasutuseks," järeldas Giles. „Nii tehnilisest kui ka ärilisest vaatenurgast on väljakutsete ja võimaluste hulgas kasutada formaalseid viise, mis võimaldavad teha kontrolli, mis pole varem olnud võimalik, näiteks Trooja hobuse tuvastamine riistvaras. Eriti selles avatud lähtekoodiga riistvara maailmas on väga tore tõestada, et selles kujunduses pole midagi, mida selles kujunduses ei peaks olema. See ei ole tavaliselt simulatsiooni abil lahendatav kontrolliprobleem, sest simulatsioon eeldab üldiselt, et teate, mida otsite, ja proovite lihtsalt veenduda, et see seda teeb. Trooja hobuse tuvastamise abil otsite nüüd asju, mis on tegelikult teadaolevast olekuruumist väljas. See on midagi, millel on tohutult palju lubadusi.
Seotud lugemine
RISC-V mikroarhitektuurne kontrollimine
Protsessori kontrollimine on palju enamat kui juhiste toimimise tagamine, kuid tööstus tugineb piiratud teadmistebaasi ja väheste spetsiaalsete tööriistade põhjal.
Turvalisuse kinnitamiseks on vaja uusi kontseptsioone
Miks on nii raske tagada, et riistvara töötab õigesti ja suudab tuvastada turvaauke, mis võivad valdkonnas ilmneda?
- SEO-põhise sisu ja PR-levi. Võimenduge juba täna.
- PlatoData.Network Vertikaalne generatiivne Ai. Jõustage ennast. Juurdepääs siia.
- PlatoAiStream. Web3 luure. Täiustatud teadmised. Juurdepääs siia.
- PlatoESG. Süsinik, CleanTech, Energia, Keskkond päikeseenergia, Jäätmekäitluse. Juurdepääs siia.
- PlatoTervis. Biotehnoloogia ja kliiniliste uuringute luureandmed. Juurdepääs siia.
- Allikas: https://semiengineering.com/formal-verifications-usefulness-widens/
- :on
- :on
- :mitte
- : kus
- $ UP
- 2014
- a
- Võimalik
- MEIST
- absoluutne
- absoluutselt
- abstraheeritud
- kiirendid
- vastuvõetav
- juurdepääsetav
- Vastavalt
- konto
- Saavutada
- omandamine
- üle
- kohusetäitja
- tegevus
- lisama
- lisatud
- vastu võtma
- Vastuvõtmine
- edasijõudnud
- tagasi
- AI / ML
- Materjal: BPA ja flataatide vaba plastik
- mööda
- Ka
- alati
- am
- summa
- an
- analüüs
- ja
- Teine
- vastamine
- mistahes
- enam
- midagi
- ilmub
- taotlus
- rakendused
- lähenemine
- apps
- Arhitektuurid
- OLEME
- PIIRKOND
- valdkondades
- ARM
- ümber
- AS
- Asics
- aspekt
- aspektid
- Kokkupanek
- Hindamine
- oletus
- kinnitus
- At
- baar
- baas
- põhineb
- lahing
- BE
- sest
- muutuma
- saada
- olnud
- enne
- on
- kellad
- kasuks
- BEST
- Parem
- vahel
- Peale
- Suur
- Natuke
- Must
- must vöö
- Blokeerima
- juhatus
- mõlemad
- piiritu
- laiem
- Murdis
- Katki
- Bug
- vead
- Ehitus
- komplekteeritud
- äri
- kuid
- by
- Cadence
- CAN
- Saab
- võimeid
- võimeline
- juhtudel
- toitlustamine
- Põhjus
- tegevjuht
- kindel
- sertifikaat
- kinnitama
- väljakutse
- väljakutseid
- raske
- vastuolu
- muutma
- kontrollima
- kontroll
- kiip
- laastud
- Chris
- selge
- kell
- kood
- tuleb
- mugav
- tulevad
- ühine
- kogukond
- Ettevõtted
- ettevõte
- täiendavad
- täiesti
- keeruline
- keerukus
- komponendid
- Arvutama
- mõisted
- Murettekitav
- sõlmitud
- Side
- Arvestama
- kaaluda
- pidev
- kontekst
- kontrast
- kontrollida
- Nurk
- parandada
- õigesti
- Korruptsioon
- kulukas
- võiks
- kursus
- cover
- katmine
- kaetud
- loodud
- loomine
- kriteeriumid
- kriitiline
- Praegu
- kõver
- Kohe
- Kliendid
- küberrünnakud
- tsüklit
- andmed
- andmebaas
- Päeva
- surnud
- kümme aastat
- pühendunud
- viivitusi
- esitatud
- tarne
- Nõudlus
- nõudlik
- nõudmisi
- Olenevalt
- lähetatud
- sügavus
- Disain
- Disainer
- disainerid
- projekteerimine
- disainilahendused
- Vaatamata
- Detection
- Arendajad
- & Tarkvaraarendus
- seade
- seadmed
- erinev
- erinevalt
- raske
- digitaalne
- Juhataja
- jagama
- do
- ei
- Ei tee
- teeme
- Domeenid
- tehtud
- Ära
- Uks
- kahtlen
- ajendatud
- juht
- sõidu
- iga
- Ajalugu
- Varajane
- lihtsaim
- kergesti
- lihtne
- ökosüsteemi
- haridus-
- Tõhus
- tõhusalt
- mõju
- tõhus
- jõupingutusi
- kumbki
- kõrvaldab
- omaks
- emuleerimine
- lõpp
- insener
- Inseneriteadus
- Inseneride
- Mootorid
- lisaseadmed
- piisavalt
- tagama
- Kogu
- keskkond
- samaväärsust
- eriti
- oluline
- Eeter (ETH)
- Isegi
- KUNAGI
- aina suurenev
- Iga
- kõik
- igaüks
- igaühe
- kõik
- kõikjal
- areneb
- näide
- näited
- ulatuslik
- Laiendama
- teadmised
- ekspertide
- selgitas
- plahvatus
- eksponentsiaalselt
- kangas
- faktor
- ebaedu
- õiglaselt
- tuttav
- kiiremini
- FUNKTSIOONID
- tagasiside
- tundma
- vähe
- vähem
- väli
- fail
- leidmine
- esimene
- viis
- ujuv
- voog
- keskendunud
- eest
- vorm
- formaalne
- Alates
- täis
- funktsioon
- funktsionaalne
- funktsionaalsus
- funktsioonid
- tulevik
- kasu
- lünki
- Üldine
- üldiselt
- tekitama
- genereerib
- geopoliitiline
- saama
- saab
- hiiglased
- andmine
- globaliseerumise
- Go
- läheb
- hea
- sain
- GPU
- GPU
- suur
- Grupp
- Kasvavad
- Kasvab
- Kasv
- juhtub
- Raske
- riistvara
- Olema
- võttes
- he
- juhataja
- aitama
- Kõhklus
- hierarhiline
- Suur
- Tulemus
- Hobune
- Kuidas
- aga
- HTTPS
- tohutu
- inim-
- i
- identifitseerima
- identifitseerimiseks
- if
- mõju
- täitmine
- oluline
- in
- sisaldama
- Kaasa arvatud
- Suurendama
- tööstus
- sisend
- juhised
- integratsioon
- Intel
- tahtlus
- interaktsioonid
- huvitav
- Interface
- sekkumine
- sisse
- Sissejuhatus
- intuitiivne
- investeerinud
- investeering
- hõlmab
- IP
- probleem
- küsimustes
- IT
- kirjed
- ITS
- töö
- jpg
- lihtsalt
- ainult üks
- pidamine
- Võti
- liiki
- Teadma
- teadmised
- teatud
- töö
- suur
- suurem
- suurim
- viimane
- viimane miil
- juhid
- Leads
- õppinud
- laskma
- Tase
- elu
- elutsüklid
- nagu
- piirangud
- piiratud
- joon
- sirgjooneline
- vähe
- Elab
- Pikk
- kaua aega
- enam
- Vaata
- otsin
- Partii
- Madal
- vähendada
- Soodsam
- mainstream
- peamine
- Enamus
- tegema
- Tegemine
- juhtimine
- käsiraamat
- palju
- kaart
- märk
- Turg
- matemaatika
- küsimus
- mai..
- võib olla
- tähendus
- sõnum
- meetod
- Metoodika
- meetodid
- miil
- mobiilne
- mudel
- moodul
- rohkem
- tõhusam
- kõige
- enamasti
- käike
- palju
- mitmekordne
- peab
- my
- hulgaliselt
- nimi
- loodus
- tingimata
- vajalik
- Vajadus
- vajadustele
- mitte kunagi
- Uus
- uuem
- järgmine
- kena
- ei
- mitteeksperdid
- märkida
- mitte midagi
- nüüd
- number
- of
- maha
- sageli
- on
- ONE
- ainult
- avatud
- avatud lähtekoodiga
- avatud
- Võimalused
- optimeerimine
- optimeeritud
- or
- et
- Muu
- meie
- välja
- üle
- Ületada
- enda
- pakend
- osa
- eriti
- minevik
- Inimesed
- kohta
- täitma
- jõudlus
- perspektiivid
- phd
- fenomenaalne
- nähtus
- tükk
- teerajajaks
- Kohad
- kava
- planeerimine
- Platon
- Platoni andmete intelligentsus
- PlatoData
- mängima
- mängib
- Punkt
- võrra
- võimalik
- võim
- ennustada
- ennustada
- olemasolu
- ilus
- Probleem
- probleeme
- protsess
- Protsessor
- töötlejad
- Toode
- tootehaldus
- Produktsioon
- tootlikkus
- Programmeerija
- projekt
- esiletõstmine
- silmapaistev
- lubadus
- korralikult
- omadused
- kinnisvara
- protokollid
- Tõesta
- pakkujad
- Putting
- päringud
- küsimus
- Küsimused
- kiiresti
- üsna
- R & D
- juhuslik
- määr
- Rates
- reaalne
- tegelik väärtus
- reaalsused
- Reaalsus
- realiseeritud
- põhjus
- mõistlik
- põhjustel
- tunnistama
- soovitatav
- vähendama
- viitab
- regressioon
- usaldusväärsus
- jääma
- jäänused
- maine
- Taotlusi
- nõutav
- nõue
- Nõuded
- Vajab
- teadustöö
- läbi
- Revolutsioon
- juur
- jooks
- s
- ohutu
- ohutus
- Ütlesin
- sama
- ütlema
- ütlus
- Skaalautuvus
- Skaala
- skaleeritud
- Kaalud
- stsenaarium
- kava
- teadus
- Sean
- Teine
- kindlustama
- turvalisus
- vaata
- nägemine
- nähtud
- Müük
- pooljuht
- seeria-
- komplekt
- suunata
- puudus
- puudus
- lühim
- peaks
- näitama
- külg
- märkimisväärne
- märgatavalt
- Räni
- Samamoodi
- lihtsalt
- simuleerimine
- alates
- SIX
- oskused
- veidi erinev
- väike
- So
- lahendus
- Lahendused
- LAHENDAGE
- lahendatud
- mõned
- Keegi
- midagi
- mõnikord
- allikas
- Ruum
- konkreetse
- kasutatud
- Kaubandus-
- Spreading
- Arvutustabel
- Personal
- staarid
- alustatud
- riik
- Samm
- Sammud
- Veel
- stiimul
- Peatus
- Lugu
- sammud
- edukas
- edu
- selline
- komplekt
- peaks
- kindel
- magus
- süsteem
- süsteemid
- Võtma
- talent
- rääkima
- rääkimine
- meeskond
- meeskonnad
- Tehniline
- tehnikat
- Tehnoloogiad
- Tehnoloogia
- tüütu
- öelda
- kipub
- tingimused
- test
- kui
- et
- .
- Tulevik
- Allikas
- maailm
- oma
- Neile
- SIIS
- Seal.
- Need
- nad
- asi
- asjad
- mõtlema
- see
- põhjalikult
- need
- arvasin
- Läbi
- läbi kogu
- aeg
- korda
- ots
- et
- täna
- sallivus
- liiga
- tööriist
- töövahendid
- ülemine
- suunas
- jälgida
- Jälgimine
- traditsiooniline
- tohutu
- Trojan
- Trooja hobune
- Usalda
- usaldusväärne
- üritab
- Pöörake
- kaks
- tüüp
- liigid
- tüüpiliselt
- all
- aluseks
- mõistma
- Käimas
- ettenägematu
- ainulaadne
- üksus
- kui
- us
- Kasutus
- kasutama
- Kasutatud
- kasulik
- Kasutaja
- Kasutajad
- kasutusalad
- kasutamine
- tavaliselt
- ära kasutama
- kasutatud
- väärtus
- variant
- sort
- Vary
- varieeruv
- suur
- müüja
- müüjad
- Kontrollimine
- kontrollima
- kontrollimine
- kogenud
- Versus
- vertikaalne
- väga
- pahe
- maht
- vs
- Haavatavused
- kõnnib
- tahan
- tagaotsitav
- tahab
- oli
- Tee..
- kuidas
- we
- Hästi
- olid
- M
- mis iganes
- millal
- kas
- mis
- kuigi
- WHO
- miks
- laiem
- laialt levinud
- will
- koos
- jooksul
- ilma
- Töö
- töötab
- maailm
- muretsema
- oleks
- kirjutamine
- aastat
- sa
- Sinu
- sephyrnet