Formele verificatie wordt steeds vaker en op meer plaatsen ingezet in chipontwerpen naarmate het aantal mogelijke interacties groeit en naarmate deze chips in kritischere toepassingen worden gebruikt.
In het verleden veel van formele verificatie was gericht op de vraag of een chip goed zou functioneren. Maar naarmate ontwerpen complexer en heterogener worden, en gebruiksscenario's veranderen, wordt formele verificatie bij alles gebruikt, van het beoordelen van de impact van partitionering tot het opsporen van de bron van stille datacorruptie. Het wordt zelfs gebruikt om mogelijke vectoren voor cyberaanvallen te identificeren en om na te gaan hoe stroom binnen een apparaat wordt geleverd en gebruikt.
“Ontwerp met laag vermogen bestaat al heel lang, maar het was een aanpak die vooral werd omarmd voor mobiele chips”, aldus Sean Safarpour, R&D-groepsdirecteur bij Synopsys ' EDA-groep. “Nu is het over de hele linie. Op dezelfde manier zien we dat er steeds meer AI/ML wordt gebruikt in versnellers, en de hoeveelheid werk die je per kracht kunt doen is een belangrijke drijfveer. Dus voor iedereen, wat ze ook doen, is energiezuinig ontwerpen een grote zorg. Wat dit met formele verificatie te maken heeft, is dat er specifieke manieren zijn waarop formele verificatie kan worden gebruikt om sommige van die problemen op te lossen.”
Dit gaat niet langer alleen maar over klokpoort optimalisatie, waarbij simulatieregressies opnieuw worden uitgevoerd om er zeker van te zijn dat alles correct is. Tegenwoordig moet macht worden gezien in de context van andere componenten in een systeem, en soms tussen systemen. Zonder formeel zou dat aanzienlijk meer tijd vergen, als het al mogelijk zou zijn. Het moet ook worden onderzocht in de context van verschillende gebruiksscenario's en werklasten, waarbij de macht moet worden getraceerd van levering tot gebruik.
"Als je aan clock-gating doet, kunnen we de analyse met en zonder clock-gating uitvoeren en je definitief vertellen of de functionaliteit hetzelfde is, of dat er misschien een bug is en dat er onderweg iets kapot is gegaan", aldus Safarpour. “Op basis van gebruikersverzoeken is het nu ook mogelijk om via een UPF-bestand rekening te houden met machtsintentie. Vijf of zes jaar geleden hadden we dergelijke verzoeken niet. Nu ze zo prominent aanwezig zijn, zeggen mensen: 'Ik verifieer eigendommen. Ik heb mijn beweringen. Maar nu wil ik die beweringen controleren in het bijzijn van mijn UPF. Ik controleer de connectiviteit op SoC-niveau, wat een andere specifieke toepassing is. Maar dat is onvolledig tenzij je rekening houdt met de volledige UPF van het ontwerp. Formal kan op deze zeer specifieke gebieden ingaan, zodat gebruikers kunnen zeggen: 'Wacht even, we hoeven niet ons hele regressiepakket opnieuw uit te voeren. We kunnen deze specifieke problemen op een diepgaande manier oplossen.' Dat is de echte waarde van formeel. Het is uitputtend van aard, dus als u naar uw hele testplan kijkt en naar enkele van deze aspecten kijkt, of het nu gaat om laag stroomverbruik of beveiliging, kunnen we op al deze aspecten ingaan. Hiervoor heeft u specifieke regelitems in uw testplan. Sommige daarvan kun je uitvoerig oplossen met formele verificatie, wat een van de redenen is waarom het tegenwoordig steeds belangrijker wordt naarmate de probleemruimte groter wordt.”
Simpel gezegd: dekkingsverschillen die in het verleden acceptabel waren toen er minder functies waren en de levenscycli korter waren, zijn tegenwoordig in veel toepassingen onaanvaardbaar.
“Iedereen heeft het altijd over de steeds toenemende complexiteit, en veel mensen zullen dat terecht gebruiken als reden om de zaken anders aan te pakken”, zegt Chris Giles, hoofd productmanagement voor statische en formele oplossingen bij Siemens EDA. “Als we kijken naar het succes op de markt en naar het algemene ontwikkelingsproces, zien we dat ondanks een tientallen jaren durende stijging van de investeringen in verificatie, deze geen gelijke tred houdt met de toename van de complexiteit. Hoewel we allemaal erkennen dat de complexiteit voortdurend toeneemt, is de manier waarop we daar als sector op hebben gereageerd niet zo effectief als nodig is. De verschuiving die we de afgelopen jaren hebben gezien, betreft wat de wereld van silicium vraagt, en dit is waar formele verificatie een absolute vereiste wordt. Wat de wereld vandaag de dag van silicium eist, is een andere verificatieaanpak. Wat we eisen gaat niet meer over complexiteit. Het gaat over veiligheid. Het gaat om veiligheid. Het gaat om vertrouwen. Het gaat om zekerheid. En al deze dingen zijn heel moeilijk te bewijzen met een lineaire simulatiemethodologie.”
Dit heeft op zijn beurt geleid tot een explosie van de vraag naar formele verificatie. “Dit is waar het formele in uitblinkt”, zegt Giles. “Vanwege het alomvattende karakter kan formele verificatie onomstotelijk bewijzen dat een ontwerp veilig, veilig of betrouwbaar is. Er wordt in de branche veel werk verricht om deze eigenschappen te certificeren, dus het is van cruciaal belang dat er een flow is die deze certificering genereert. Dit is waar formeel absoluut essentieel is. Als je naar de IE-sector kijkt, weten IE-bedrijven niet noodzakelijkerwijs in welk eindproduct hun IE terecht zal komen, dus moeten ze rekening houden met dat soort vragen. Hoe weet ik dat dit een veilig ontwerp is? Hoe weet ik dat dit een betrouwbaar ontwerp is? Hoe weet ik dat het veilig is om mensenlevens onder zijn controle te brengen? Dit zijn zaken waar zelfs IP-teams zich vandaag de dag zorgen over moeten maken.”
Pete Hardee, productmanagementdirecteur bij de System & Verification Group bij Cadans, zei dat hij de afgelopen tien jaar een fenomenale groei heeft gezien in het gebruik van formele verificatie. “Ongetwijfeld is het 'de kloof overgestoken' en is het wijdverbreid mainstream geworden. Het is een onmisbaar instrument in het verificatiearsenaal van de overgrote meerderheid van de grootste halfgeleiderbedrijven.”
De toenemende complexiteit, zowel voor SoC's met geavanceerde knooppunten als voor heterogene assemblage in een pakket, vereist meer verificatie. "De behoefte aan verificatie heeft de neiging exponentieel uit te breiden naarmate de ontwerpcomplexiteit toeneemt", aldus Hardee. “De belangrijkste effecten waren tweeledig. Ten eerste is bij op IP gebaseerde hiërarchische verificatie het verdeel-en-heers-verdeel-en-heers-succes een belangrijke factor geweest bij het succes van de verificatie: verifieer het IP-blok of subsysteem grondig, controleer vervolgens of de integratie correct is en er is op het volgende niveau niets kapot gegaan. Voor op IP gebaseerde verificatie is de formele verificatie opgeschaald om een formele aftekening voor veel, maar niet alle, soorten IP te bewerkstelligen. Staatsruimte kan nog steeds een probleem zijn, ondanks grote vooruitgang op het gebied van formele schaalbaarheid. Complexe seriële protocollen blijven bijvoorbeeld een uitdaging voor formele verificatie – de sequentiële diepgang is vaak te hoog. Sommige formele technieken kunnen worden geschaald naar chipniveau, maar slechts op een beperkt aantal manieren – volledige formele aftekening voor grote digitale SoC’s blijft te uitdagend.”
Op processors gebaseerde ontwerpen zijn altijd een uitdaging geweest, maar ze zijn vooral moeilijk te verifiëren wanneer ze domeinspecifieke architecturen gebruiken. “Er is een enorme toename in massaal programmeerbare ontwerpen – multi-processor architecturen die veel homogene of heterogene reeksen processorkernen gebruiken, afhankelijk van de verticale toepassing”, merkte hij op. “Voor applicatieprocessors is de strijd tussen Arm en x86 ISA nu opengebroken door RISC-V. GPU's bestaan al heel lang, maar veel andere soorten wiskundige co-processors en versnellers zijn gemeengoed, vooral nu gedreven door de AI/ML-revolutie. Iedereen ontwerpt zijn eigen variant van applicatie- en rekenkernen, geoptimaliseerd voor hun kracht, prestaties en gebiedsbehoeften.” Cadence noemt dit fenomeen domeinspecifieke architecturen (DSA).
De zorgen over de betrouwbaarheid verspreiden zich ook naar niet-kritieke apparaten. “Elk ontwerp kan een formele verificatieoplossing hebben, inclusief door rekenkunde gedomineerde ontwerpen”, zegt Ashish Darbari, CEO van Axiomase. “Rekenkundig gedomineerde ontwerpen profiteren van geavanceerde oplossingen van de grootste aanbieders van formele verificatietools, die allemaal oplossingen hebben die gericht zijn op rekenkundige verificatie, vooral aan de drijvende-kommakant. In het grote geheel is dit niet noodzakelijkerwijs een grote hoeveelheid werk, maar het is significant en belangrijk genoeg om niet de andere kant op te kijken.”
Dat heeft de deur geopend om formeel veel eerder in de stroom te kunnen gebruiken, waar het kan worden gebruikt om ontwerpgerelateerde vertragingen te voorkomen, en binnen een breder deel van de technische gemeenschap. Maar het zorgt ook voor een tekort aan talent, omdat niet iedereen goed thuis is in schrijven beweringen voor een groot aantal verschillende toepassingen.
"Iedereen met een redelijke naam in de siliciumsector, of het nu een GPU, een processorbedrijf of een textielbedrijf is, gebruikt formeel", zegt Darbari. “Alle reuzen die hardware bouwen, gebruiken formeel. En sommigen van hen willen zo veel formeel gedaan worden, maar ze hebben gewoon niet genoeg talent.”
De adoptiepercentages variëren ook. “Sommigen zijn zeer vertrouwd en vertrouwd met formele verificatie, begrijpen wat het kan doen en stellen dit ter discussie”, aldus Giles van Siemens. “Anderen zijn wat terughoudender, omdat het soms kan aanvoelen als een wetenschappelijk project, of dat er een educatieve inspanning voor nodig is. Als iemand die niet bekend is met formeel voor het eerst hoort dat formele verificatie wordt aanbevolen, is zijn eerste gedachte: 'Nu moet ik een doctoraat in mijn staf hebben. We moeten ons project van de grond krijgen. Hoe ga ik dit ooit doen?' En dit leidt tot verschillende mate van adoptie.”
In sommige bedrijven is formeel slechts een van de vele vereiste vaardigheden geworden. Dit is een belangrijke verschuiving. In de begindagen van de formele verificatie werd aangenomen dat een kleine groep ingenieurs vaardig zou worden in het gebruik van de tools.
"We realiseerden ons dat ontwerpers, verificatie-ingenieurs en ingenieurs uit alle lagen van de bevolking gebruik kunnen maken van de technologie", aldus Safarpour van Synopsys. “En het is aan de EDA-toolontwikkelaars om het intuïtiever te maken voor die gebruiker. We hebben verschillende personages, verschillende hoeden. Als je een ontwerper bent, heb je misschien een iets andere interface nodig. Je bekijkt het vanuit een andere hoek dan je formele zwarte band, en de toeters en bellen waar je naar op zoek bent, zijn heel anders. Als toolontwikkelaars hebben we ook van onze gebruikers geleerd wie het maximale uit de tools kan halen. Ook vanuit dat oogpunt is de lat lager gelegd. Als ik vandaag de dag vragen krijg of met klanten praat, zijn er evenveel niet-experts die verzoeken om verbeteringen indienen of ons feedback geven over de tool als traditionele formele experts.”
Emulatie versus formeel versus simulatie
Andere sterke punten van een verificatiestroom zijn simulatie en emulatie. Maar voor bepaalde ontwerpen is misschien niet elk verificatietool nodig.
"Er zijn een aantal dingen die zeer geschikt zijn voor formele verificatie, maar die niet zo goed geschikt zijn voor simulatie, en omgekeerd", aldus Giles van Siemens. “Een goed voorbeeld hiervan is het controleren van de connectiviteit. Het doorlopen van het proces om te simuleren dat alle onderlinge verbindingen, beetje bij beetje, correct zijn, is een tamelijk lang serieel proces. Als je het in één keer uitputtend kunt doen, dan kun je die simulatiecycli gebruiken en gebruiken voor datgene waar simulatie het beste in is. Het is dus een productiviteitsspel. Iets anders dat duidelijk wordt nu de industrie overgaat van een mondialiseringsmodel naar een regionaliserings- of nationalisatiemodel – en we het ecosysteem van het ontwerp, de ontwikkeling en de productie van silicium meerdere keren over de hele wereld moeten repliceren – is dat er tekorten aan arbeidskrachten zijn. vrijwel overal ter wereld voorspeld. En dit heeft niets te maken met de complexiteit van het ontwerp. Het heeft te maken met de geopolitieke en macro-economische realiteit van de wereld. Dit creëert overal kansen. En de realiteit is dat we, om in die omgeving te kunnen slagen, meer productiviteit van onze mensen nodig hebben. Het gebruik van formele of efficiënte verificatie, waardoor simulatiecycli vrijkomen om te doen waar simulatie het beste in is, is een cruciaal onderdeel van de ontwikkeling, nu en in de toekomst. Dus deze twee dingen – het productiviteitsonderdeel en het beantwoorden van de eisen van wat de wereld vandaag de dag aan silicium stelt, en in termen van veiligheid en zekerheid, vertrouwen en beveiliging – zijn redenen waarom ik formele verificatie beschouw als absoluut vereist voor elke ontwikkeling."
In sommige gevallen is meer dan één type gereedschap nodig. Darbari wijst op een overlap op basis van dekkingsvereisten en de mogelijkheden van verschillende tools van verschillende leveranciers. “Er is nog steeds variatie”, zegt hij. “Debuggen is het meest interessant. Met debuggen kan ik in de kortst mogelijke tijd de hoofdoorzaak van een storing achterhalen, en het is ook een gebied waar we veel tijd hebben besteed aan het achterhalen van de oorzaak.”
Er is ook een wisselwerking tussen formele verificatie en simulatie om simulatiecycli te verkorten, waarbij formele verificatie duurder is voor het technische team.
“Je kunt nooit genoeg simulaties doen, dus de vraag is grenzeloos”, zegt Safarpour. “Iedereen wil simulatie doen, maar ze hebben er niet genoeg rekenkracht voor. Simulatie- en formele verificatietechnologieën zijn echter behoorlijk complementair van aard, en dat zien we op meerdere gebieden. Bij dekking kun je met simulatie heel gemakkelijk een dekking van 80%, 85%, misschien 90% bereiken, en wat er dan gebeurt, is dat je snel een plateau in de curve bereikt. Dan is er nog die andere 5%. Afhankelijk van wat de criteria zijn om de aftekening te doen, is er nog ongeveer 5%, en er is zoveel randomisatie dat je kunt doen dat we die nog steeds niet kunnen bereiken. Die 5% is toevallig de goede plek voor formeel, omdat de kans groot is dat 5% ofwel dingen zijn die moeilijk te bereiken zijn, zoals hoekzaken, waar formeel goed in is, ofwel dode code zijn, wat betekent dat het niet uitmaakt hoeveel simulatie die je doet, je kunt er niet tegenaan. Dit laat je met een vraagteken achter, en dan zou een ingenieur tussenbeide moeten komen om die code te beoordelen en zeggen: 'Ik denk dat dat niet haalbaar is.' Het is dus een handmatige interventie. De manier waarop wij het doen is dat onze simulatie- en formele tools vanuit dezelfde database werken en elkaar helpen.”
Hetzelfde scenario speelt zich af voor functionele veiligheidstoepassingen. “Je kunt zo veel mogelijk regelen voor functionele veiligheid en fouttolerantie, en dan formele stappen ondernemen. Met beveiliging is het hetzelfde verhaal, en deze aanpak herhaalt zich in verschillende domeinen. Zorg dat je de makkelijke dingen gedaan krijgt met simulatie, bereik dat plateau en laat dan formeel de laatste kilometer doen”, legt Safarpour uit.
Domeinspecifieke architecturen voegen hun eigen unieke problemen toe. "In tegenstelling tot niet-programmeerbare ASIC's zijn DSA's anders omdat je niet kunt voorspellen op welke talloze manieren een programmeur de processor zal gebruiken", zegt Hardee van Cadence. “Elke eventualiteit moet gedekt zijn, inclusief de volledig onvoorziene. Formeel is de enige manier. De leiders op het gebied van processortechnologie, zoals Arm en Intel, weten dit en hebben lang geïnvesteerd in formele verificatie. Elk bedrijf dat zijn eigen RISC-V-implementatie uitvoert, moet hetzelfde doen. En de groei van wiskundige co-processors en AI/ML-engines zorgt voor nieuwere formele technieken zoals C/C++ en RTL-sequentiële gelijkwaardigheidscontrole.”
De formele grenzen
Zoals alle EDA-instrumenten heeft ook formeel een aantal beperkingen. "Formal heeft de reputatie iets te zijn dat beter op een module of blok kan draaien dan op een volledige SoC", merkte Giles van Siemens op. “Formeel heeft uitdagingen als het gaat om langdurige, opeenvolgende problemen. Een goed voorbeeld hiervan is dat het een uitdaging is om formeel te gebruiken om vermenigvuldigings- of deelfuncties in een drijvende-komma-eenheid te verifiëren. De beste manier van handelen is om het formele te laten doen waar het formele het beste in is, en de simulatie te laten doen waar de simulatie het beste in is. Als je een drijvende-kommaontwerp neemt, kun je alles verifiëren, maar de functionaliteit voor vermenigvuldigen en delen kan het beste worden gedaan met simulatie, zodat je veel efficiënter bent in het gebruik van de simulatiefuncties en je de dingen verifieert die moeten worden uitgevoerd. daar gedaan. Dan hoef je niet via simulatie een volledige drijvende-komma-eenheid te maken.”
Zoals met alle tools is het ook een gebied waar veel werk wordt verzet om deze beperkingen te overwinnen, zowel door middel van abstracties als door nieuw onderzoek. “Voorlopig draagt het bij aan de boodschap dat er sommige dingen zijn die formeel goed doen en andere dingen die simulatie goed doet”, zegt Giles. “Ik zou nooit een scenario zien waarin formeel simulatie volledig elimineert. Net als jarenlang wilde ik altijd stoppen met simulatie op poortniveau, maar dat is nooit gelukt. Dat zullen we ook zien met formeel en simulatie.”
Formele verificatiemethoden kunnen uitputtend en grondig zijn, maar moeten ze over de hele linie een vereiste zijn?
Zelfs vóór de overname door Cadence in 2014 was Jasper een pionier op het gebied van bredere verspreiding door de introductie van formele apps – waarbij gebruik werd gemaakt van modelcontrole, vaak met automatisch gegenereerde beweringen, om algemene verificatieproblemen op een meer toegankelijke manier op te lossen, waarvoor een veel lager niveau van formele expertise nodig was. zei Hardee.
Verder: “Connectiviteit is een goed voorbeeld en een van de gemakkelijkst toe te passen – genereer beweringen op basis van een connectiviteitskaart in een spreadsheet of IP-XACT formulier. Hetzelfde kan worden gedaan met simulatie, maar het is vervelend. Deze formele methode kan gemakkelijk worden geschaald naar chipniveau, omdat de meeste onderliggende blokfunctionaliteit kan worden geabstraheerd. In sommige gevallen kunnen deze apps de werklast van de simulatie verlichten, en de waarde ligt in het vinden van bugs in de kleinste gevallen, omdat de door willekeurige tools gegenereerde invoerstimuli uitgebreider zijn dan simulatietestbanken gewoonlijk zijn. Hoewel deze apps handig zijn om verificatie-ingenieurs aan de slag te helpen met formeel werk, en misschien als 'gateway' fungeren, vormen ze qua gebruik het topje van de ijsberg. Momenteel ontdekken we dat het grootste deel van de ijsberg, inclusief het grootste deel van het regressiegebruik van formele verificatie, bestaat uit het verifiëren van de op processors gebaseerde DSA-ontwerpen met formele eigenschapsverificatie en sequentiële gelijkwaardigheidscontrole, zowel RTL-naar-RTL als C/ C++ naar RTL”, voegde hij eraan toe. “Hoe graag ik formele verificatie ook als vereiste voor de hele linie zou willen stellen, er zijn nog steeds voorbeelden waar het nodig is, en andere voorbeelden waarbij simulatie het nog steeds beter doet. Maar we zien de ontwerptypen waarbij formele verificatie noodzakelijk is, veel sneller groeien.”
Wat betreft de manier waarop dit allemaal evolueert, lijkt het EDA-ecosysteem op het punt te staan te identificeren hoe formele verificatie kan worden gebruikt naast traditionele toepassingen.
“Er is een reeks applicaties die redelijk gebruikelijk zijn voor elke leverancier die gebundelde formele applicaties voor specifiek eindgebruik verkoopt,” concludeerde Giles. “De uitdagingen en kansen vanuit zowel technisch als zakelijk perspectief omvatten onder meer het gebruik van formele methoden om de verificatie uit te voeren die voorheen niet mogelijk was, zoals de detectie van Trojaanse paarden in hardware. Vooral in deze wereld van open-source hardware is het erg leuk om te kunnen bewijzen dat er niets in dat ontwerp zit dat niet in dat ontwerp hoort te zitten. Dat is doorgaans geen verificatieprobleem dat door simulatie wordt opgelost, omdat simulatie er doorgaans van uitgaat dat je weet waarnaar je op zoek bent, en je probeert er alleen maar voor te zorgen dat dat gebeurt. Met de detectie van Trojaanse paarden zoekt u nu naar dingen die feitelijk buiten de bekende statusruimte vallen. Dit is iets dat enorm veel belooft.”
Gerelateerd lezen
RISC-V micro-architectonische verificatie
Het verifiëren van een processor is veel meer dan ervoor zorgen dat de instructies werken, maar de industrie bouwt voort op een beperkte kennisbasis en weinig speciale tools.
Nieuwe concepten vereist voor beveiligingsverificatie
Waarom het zo moeilijk is om ervoor te zorgen dat hardware correct werkt en kwetsbaarheden kan detecteren die zich in het veld kunnen voordoen.
- Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
- PlatoData.Network Verticale generatieve AI. Versterk jezelf. Toegang hier.
- PlatoAiStream. Web3-intelligentie. Kennis versterkt. Toegang hier.
- PlatoESG. carbon, CleanTech, Energie, Milieu, Zonne, Afvalbeheer. Toegang hier.
- Plato Gezondheid. Intelligentie op het gebied van biotech en klinische proeven. Toegang hier.
- Bron: https://semiengineering.com/formal-verifications-usefulness-widens/
- : heeft
- :is
- :niet
- :waar
- $UP
- 2014
- a
- in staat
- Over
- absoluut
- absoluut
- afgetrokken
- versnellers
- aanvaardbaar
- beschikbaar
- Volgens
- Account
- Bereiken
- acquisitie
- over
- waarnemend
- Actie
- toevoegen
- toegevoegd
- adopteren
- Adoptie
- vergevorderd
- geleden
- AI / ML
- Alles
- langs
- ook
- altijd
- am
- bedragen
- an
- analyse
- en
- Nog een
- beantwoorden
- elke
- meer
- iets
- komt naar voren
- Aanvraag
- toepassingen
- nadering
- apps
- architecturen
- ZIJN
- GEBIED
- gebieden
- ARM
- rond
- AS
- Asics
- verschijning
- aspecten
- bijeenkomst
- Het beoordelen
- uitgegaan van
- zekerheid
- At
- bars
- baseren
- gebaseerde
- Strijd
- BE
- omdat
- worden
- worden
- geweest
- vaardigheden
- wezen
- klokken
- profiteren
- BEST
- Betere
- tussen
- Verder
- Groot
- Beetje
- Zwart
- zwarte band
- Blok
- boord
- zowel
- Grenzeloos
- bredere
- Kapot gegaan
- Kapot
- Bug
- bugs
- Gebouw
- gebundeld
- bedrijfsdeskundigen
- maar
- by
- Cadans
- CAN
- Kan krijgen
- mogelijkheden
- in staat
- gevallen
- catering
- Veroorzaken
- ceo
- zeker
- Certificering
- certificeren
- uitdagen
- uitdagingen
- uitdagend
- kansen
- verandering
- controle
- controleren
- spaander
- chips
- Chris
- duidelijk
- Klok
- code
- komt
- comfortabel
- komst
- Gemeen
- gemeenschap
- Bedrijven
- afstand
- complementair
- compleet
- complex
- ingewikkeldheid
- componenten
- Berekenen
- concepten
- Bezorgdheid
- gesloten
- Connectiviteit
- Overwegen
- beschouwd
- constante
- verband
- contrast
- onder controle te houden
- Hoek
- te corrigeren
- correct
- Corruptie
- kostbaar
- kon
- cursus
- deksel
- dekking
- bedekt
- aangemaakt
- Wij creëren
- criteria
- kritisch
- Op dit moment
- curve
- vooravond
- Klanten
- cyberaanvallen
- cycli
- gegevens
- Database
- dagen
- dood
- decennium
- toegewijd aan
- vertragingen
- geleverd
- levering
- Vraag
- veeleisende
- eisen
- Afhankelijk
- ingezet
- diepte
- Design
- leesmaatjes
- ontwerpers
- ontwerpen
- ontwerpen
- Niettegenstaande
- Opsporing
- ontwikkelaars
- Ontwikkeling
- apparaat
- systemen
- anders
- anders
- moeilijk
- digitaal
- Director
- verdelen
- do
- doet
- Nee
- doen
- domeinen
- gedaan
- Dont
- Deur
- twijfelen
- gedreven
- bestuurder
- aandrijving
- elk
- Vroeger
- Vroeg
- gemakkelijkste
- gemakkelijk
- En het is heel gemakkelijk
- ecosysteem
- onderwijs
- effectief
- effectief
- duurt
- doeltreffend
- inspanning
- beide
- elimineert
- omarmd
- wedijver
- einde
- ingenieur
- Engineering
- Ingenieurs
- Motoren
- uitbreidingen
- genoeg
- verzekeren
- Geheel
- Milieu
- gelijkwaardigheid
- vooral
- essentieel
- Ether (ETH)
- Zelfs
- OOIT
- steeds groter
- Alle
- allemaal
- iedereen
- ieders
- alles
- overal
- evolueert
- voorbeeld
- voorbeelden
- grondig
- Uitvouwen
- expertise
- deskundigen
- uitgelegd
- explosie
- exponentieel
- stof
- factor
- Storing
- tamelijk
- vertrouwd
- sneller
- Voordelen
- feedback
- voelen
- weinig
- minder
- veld-
- Dien in
- het vinden van
- Voornaam*
- vijf
- drijvend
- stroom
- gericht
- Voor
- formulier
- formeel
- oppompen van
- vol
- functie
- functioneel
- functionaliteit
- functies
- toekomst
- Krijgen
- hiaten
- Algemeen
- algemeen
- voortbrengen
- genereert
- geopolitiek
- krijgen
- krijgt
- reuzen
- Vrijgevigheid
- globalisering
- Go
- gaan
- goed
- kreeg
- GPU
- GPU's
- groot
- Groep
- Groeiend
- Groeit
- gebeurt
- Hard
- Hardware
- Hebben
- met
- he
- hoofd
- hulp
- Aarzelend
- hiërarchische
- Hoge
- Hit
- Paard
- Hoe
- Echter
- HTTPS
- reusachtig
- menselijk
- i
- identificeren
- het identificeren van
- if
- Impact
- uitvoering
- belangrijk
- in
- omvatten
- Inclusief
- Laat uw omzet
- -industrie
- invoer
- instructies
- integratie
- Intel
- aandachtig
- interacties
- interessant
- Interface
- tussenkomst
- in
- Introductie
- intuïtief
- investeerde
- investering
- gaat
- IP
- kwestie
- problemen
- IT
- artikelen
- HAAR
- Jobomschrijving:
- jpg
- voor slechts
- eentje maar
- houden
- sleutel
- soorten
- blijven
- kennis
- bekend
- arbeid
- Groot
- groter
- grootste
- Achternaam*
- laatste mijl
- leiders
- Leads
- geleerd
- laten
- Niveau
- Life
- levenscycli
- als
- beperkingen
- Beperkt
- Lijn
- lineair
- Elke kleine stap levert grote resultaten op!
- Lives
- lang
- lange tijd
- langer
- Kijk
- op zoek
- lot
- Laag
- te verlagen
- verlaagd
- Hoofdstroom
- groot
- Meerderheid
- maken
- maken
- management
- handboek
- veel
- kaart
- Mark
- Markt
- wiskunde
- Materie
- Mei..
- kan zijn
- betekenis
- Bericht
- methode
- Methodologie
- methoden
- mijl
- Mobile
- model
- module
- meer
- efficiënter
- meest
- meestal
- beweegt
- veel
- meervoudig
- Dan moet je
- my
- veelvoud
- naam
- NATUUR
- nodig
- noodzakelijk
- Noodzaak
- behoeften
- nooit
- New
- nieuwere
- volgende
- mooi
- geen
- niet-experts
- bekend
- niets
- nu
- aantal
- of
- korting
- vaak
- on
- EEN
- Slechts
- open
- open source
- geopend
- Kansen
- optimalisatie
- geoptimaliseerde
- or
- bestellen
- Overige
- onze
- uit
- over
- Overwinnen
- het te bezitten.
- pakket
- deel
- vooral
- verleden
- Mensen
- voor
- uitvoeren
- prestatie
- perspectieven
- phd
- fenomenaal
- een fenomeen
- stuk
- pionier
- plaatsen
- plan
- planning
- Plato
- Plato gegevensintelligentie
- PlatoData
- Spelen
- speelt
- punt
- punten
- mogelijk
- energie
- voorspellen
- voorspeld
- aanwezigheid
- mooi
- probleem
- problemen
- Gegevensverwerker
- processors
- Product
- product management
- productie
- produktiviteit
- Programmeur
- project
- uitsteeksel
- vooraanstaand
- belofte
- naar behoren
- vastgoed
- eigendom
- protocollen
- Bewijzen
- providers
- Putting
- queries
- vraag
- Contact
- snel
- heel
- R & D
- willekeurige
- tarief
- Tarieven
- vast
- werkelijke waarde
- realiteit
- Realiteit
- realiseerde
- reden
- redelijk
- redenen
- herkennen
- aanbevolen
- verminderen
- verwijst
- regressie
- betrouwbaarheid
- blijven
- stoffelijk overschot
- reputatie
- verzoeken
- nodig
- vereiste
- Voorwaarden
- vereist
- onderzoek
- beoordelen
- Revolutie
- wortel
- lopen
- s
- veilig
- Veiligheid
- Zei
- dezelfde
- ervaren
- gezegde
- Schaalbaarheid
- Scale
- geschubd
- balans
- scenario
- schema
- Wetenschap
- Sean
- Tweede
- beveiligen
- veiligheid
- zien
- te zien
- gezien
- binnen XNUMX minuten
- halfgeleider
- serie-
- reeks
- verschuiving
- schaarste
- tekorten
- kortste
- moet
- tonen
- kant
- aanzienlijke
- aanzienlijk
- Silicium
- evenzo
- eenvoudigweg
- simulatie
- sinds
- ZES
- vaardigheden
- iets andere
- Klein
- So
- oplossing
- Oplossingen
- OPLOSSEN
- opgelost
- sommige
- Iemand
- iets
- soms
- bron
- Tussenruimte
- specifiek
- besteed
- Spot
- verspreiding
- spreadsheet
- Medewerkers
- getrouwen
- gestart
- Land
- Stap voor
- Stappen
- Still
- prikkel
- stop
- Verhaal
- stappen
- slagen
- succes
- dergelijk
- suite
- vermeend
- zeker
- zoet
- system
- Systems
- Nemen
- Talent
- Talk
- praat
- team
- teams
- Technisch
- technieken
- Technologies
- Technologie
- vervelend
- vertellen
- neigt
- termen
- proef
- neem contact
- dat
- De
- De toekomst
- De Bron
- de wereld
- hun
- Ze
- harte
- Er.
- Deze
- ze
- ding
- spullen
- denken
- dit
- grondig
- die
- gedachte
- Door
- overal
- niet de tijd of
- keer
- type
- naar
- vandaag
- tolerantie
- ook
- tools
- tools
- top
- in de richting van
- opsporen
- Tracing
- traditioneel
- ontzettend
- Trojaans
- Trojaanse paard
- Trust
- betrouwbaar
- proberen
- BEURT
- twee
- type dan:
- types
- typisch
- voor
- die ten grondslag liggen
- begrijpen
- aan de gang
- onvoorzien
- unieke
- eenheid
- tenzij
- us
- Gebruik
- .
- gebruikt
- nuttig
- Gebruiker
- gebruikers
- toepassingen
- gebruik
- doorgaans
- gebruik maken van
- gebruikt
- waarde
- Variant
- variëteit
- variëren
- wisselende
- groot
- verkoper
- vendors
- Verificatie
- controleren
- het verifiëren
- bedreven
- Tegen
- verticaal
- zeer
- vice
- volume
- vs
- kwetsbaarheden
- loopt
- willen
- gezocht
- wil
- was
- Manier..
- manieren
- we
- GOED
- waren
- Wat
- wat
- wanneer
- of
- welke
- en
- WIE
- Waarom
- bredere
- wijd verspreid
- wil
- Met
- binnen
- zonder
- Mijn werk
- Bedrijven
- wereld
- zorgen
- zou
- het schrijven van
- jaar
- u
- Your
- zephyrnet