Formell verifisering blir distribuert oftere og flere steder i brikkedesign etter hvert som antallet mulige interaksjoner vokser, og ettersom disse brikkene brukes i mer kritiske applikasjoner.
Tidligere har mye av formell bekreftelse var fokusert på om en brikke ville fungere skikkelig. Men etter hvert som design blir mer komplekse og heterogene, og etter hvert som brukstilfellene endres, blir formell verifisering brukt i alt fra å vurdere virkningen av partisjonering til å spore kilden til taus datakorrupsjon. Den blir til og med brukt til å identifisere mulige vektorer for nettangrep, og for å spore hvordan strøm leveres og brukes i en enhet.
"Laveffektdesign har eksistert i veldig lang tid, men det var en tilnærming som hovedsakelig ble brukt for mobile brikker," ifølge Sean Safarpour, R&D-gruppedirektør i Synopsys ' EDA Group. «Nå er det over hele linja. På samme måte ser vi mer AI/ML brukt i akseleratorer, og mengden arbeid du kan gjøre per kraft er en viktig driver. Så nå for alle, uansett hva de gjør, er laveffektdesign en så stor bekymring. Det dette har med formell verifisering å gjøre, er at det er spesifikke måter formell verifisering kan brukes for å løse noen av disse problemene.»
Dette handler ikke lenger bare om klokkeport optimalisering, som innebærer å kjøre simuleringsregresjoner på nytt for å sikre at alt er riktig. I dag må kraft vurderes i sammenheng med andre komponenter i et system, og noen ganger mellom systemer. Uten formell ville det tatt betydelig mer tid, hvis det i det hele tatt kunne gjøres. Det må også undersøkes i sammenheng med ulike brukstilfeller og arbeidsbelastninger, der kraft må spores fra levering til utnyttelse.
"Hvis du gjør klokkeporting, kan vi gjøre analysen med og uten klokkeporten og fortelle deg definitivt om funksjonaliteten er den samme, eller om du kan ha en feil og noe gikk i stykker underveis," sa Safarpour. "Basert på brukerforespørsler er det nå også mulig å ta hensyn til strømhensikter gjennom en UPF-fil. For fem-seks år siden hadde vi ingen slike forespørsler. Nå er de så fremtredende at folk sier: 'Jeg utfører eiendomsverifisering. Jeg har mine påstander. Men nå vil jeg sjekke disse påstandene i nærvær av min UPF. Jeg kontrollerer tilkoblingsmuligheter på SoC-nivå, som er en annen spesifikk applikasjon. Men det er ufullstendig med mindre du tar hele UPF av designet i betraktning. Formal er i stand til å gå inn på disse svært spesifikke områdene slik at brukere kan si: 'Vent litt, vi trenger ikke å gjøre om hele regresjonspakken vår. Vi kan ta disse spesifikke problemene og løse dem uttømmende.' Det er den virkelige verdien av formell. Den er uttømmende i sin natur, så når du ser på hele testplanen din, og du ser på noen av disse aspektene, enten det er laveffekt eller sikkerhet, kan vi gå inn på alle disse. Du vil ha spesifikke ordrelinjer for disse i testplanen din. Noen av dem kan du gå og løse uttømmende med formell verifisering, som er en av grunnene til at det blir stadig mer fremtredende i disse dager ettersom problemområdet blir større.»
Enkelt sagt, dekningshull som var akseptable tidligere da det var færre funksjoner og livssykluser var kortere, er uakseptable i mange applikasjoner i dag.
"Alle snakker alltid om stadig økende kompleksitet, og mange mennesker vil med rette bruke det som en grunn til å gjøre ting annerledes," sa Chris Giles, leder for produktledelse for statiske og formelle løsninger hos Siemens EDA. "Når vi ser på markedssuksess og den generelle utviklingsprosessen, er det vi ser at til tross for en flere tiår lang økning i investeringer i verifisering, holder det ikke tritt med økningen i kompleksitet. Så selv om vi alle innser at det er en konstant økning i kompleksitet, er ikke hvordan vi har reagert på det som bransje så effektivt som det trenger å være. Skiftet sett de siste årene er hva verden krever av silisium, og det er her formell verifisering blir et absolutt krav. Det verden krever av silisium i dag er en annen verifiseringstilnærming. Det vi krever handler ikke lenger om kompleksitet. Det handler om sikkerhet. Det handler om sikkerhet. Det handler om tillit. Det handler om trygghet. Og alle disse tingene er veldig vanskelig å bevise med en lineær simuleringsmetodikk."
Dette har igjen skapt en eksplosjon i etterspørselen etter formell verifisering. "Det er her det formelle utmerker seg," sa Giles. "På grunn av sin uttømmende natur, kan formell verifisering bevise definitivt at et design er sikkert, trygt eller pålitelig. Det er mye arbeid som gjøres i bransjen for å sertifisere disse egenskapene, så det er avgjørende å ha en flyt som genererer den sertifiseringen. Det er her det formelle er helt avgjørende. Hvis du ser på IP-industrien, vet ikke IP-selskaper nødvendigvis hvilket sluttprodukt deres IP kommer til å være i, så de må planlegge for den typen spørsmål. Hvordan vet jeg at dette er et sikkert design? Hvordan vet jeg at dette er et pålitelig design? Hvordan vet jeg at det er trygt å sette menneskeliv under dens kontroll? Dette er ting som til og med IP-team må bekymre seg for i dag."
Pete Hardee, produktadministrasjonsdirektør i System & Verification Group på Cadence, sa han har sett en fenomenal vekst i formell verifikasjonsbruk det siste tiåret. "Det har ingen tvil om at det har "krysset avgrunnen" til utbredt vanlig bruk. Det er et uunnværlig verktøy i verifikasjonsarsenalet for det store flertallet av topp halvlederselskaper.»
Økende kompleksitet, både for avanserte node SoCs så vel som heterogen montering i en pakke, krever mer verifisering. "Verifikasjonsbehovet har en tendens til å utvide seg eksponentielt med designkompleksitet," sa Hardee. «Nøkkeleffektene har vært todelt. For det første, med IP-basert hierarkisk verifisering, har del-og-hersk vært en viktig faktor for verifiseringssuksess – verifiser IP-blokken eller subsystemet grundig, sjekk deretter for riktig integrasjon og ingenting ble ødelagt på neste nivå opp. For IP-basert verifisering har formell verifisering skalert for å oppnå formell signoff for mange, men ikke alle, typer IP. Statlig plass kan fortsatt være et problem, til tross for store fremskritt i formell skalerbarhet. For eksempel er komplekse serielle protokoller fortsatt utfordrende for formell verifisering – den sekvensielle dybden er ofte for høy. Noen formelle teknikker kan skaleres til brikkenivå, men bare på noen begrensede måter – full formell signoff for store digitale SoC-er er fortsatt for utfordrende.»
Prosessorbaserte design har alltid vært utfordrende, men de er spesielt vanskelige å verifisere når de bruker domenespesifikke arkitekturer. "Det er en enorm økning i massivt programmerbare design - multiprosessorarkitekturer som bruker mange homogene eller heterogene arrays av prosessorkjerner avhengig av den vertikale applikasjonen," bemerket han. "For applikasjonsprosessorer er Arm versus x86 ISA-kampen nå blåst åpen av RISC-V. GPUer har eksistert lenge, men mange andre typer matematiske co-prosessorer og akseleratorer er vanlige, spesielt nå drevet av AI/ML-revolusjonen. Alle designer sin egen variant av applikasjons- og matematiske kjerner optimalisert for deres kraft-, ytelses- og områdebehov.» Kadens refererer til dette fenomenet som domenespesifikke arkitekturer (DSA).
Bekymringer om pålitelighet sprer seg også til ikke-kritiske enheter. "Hvert design kan ha en formell verifiseringsløsning, inkludert aritmetikkdominerte design," sa Ashish Darbari, administrerende direktør i Axiomisere. "Aritmetikkdominert design drar nytte av avanserte løsninger fra de største leverandørene av formelle verifiseringsverktøy, som alle har løsninger som tar hensyn til aritmetisk verifisering, spesielt på flyttallsiden. I den store sammenhengen er ikke dette nødvendigvis et stort arbeidsvolum, men det er betydelig og viktig nok til at vi ikke ser den andre veien.»
Det har åpnet døren for at formelle kan brukes mye tidligere i flyten, hvor det kan brukes til å unngå designrelaterte forsinkelser, og på tvers av et bredere spekter av ingeniørmiljøet. Men det har også skapt talentmangel, fordi ikke alle er godt bevandret i å skrive påstander på tvers av en rekke forskjellige applikasjoner.
"Alle med et fornuftig navn i bransjen innen silisium, enten det er en GPU eller et prosessorfirma, eller et stofffirma, bruker formelle," sa Darbari. "Alle gigantene som bygger maskinvare bruker formelle. Og noen av dem ønsker at så mye formelt skal gjøres, men de har bare ikke nok talent.»
Adopsjonsratene varierer også. "Noen er veldig kjente og komfortable med formell verifisering, forstår hva den kan gjøre og utfordrer den," bemerket Siemens' Giles. «Andre er litt mer nølende, fordi det noen ganger kan føles som et vitenskapelig prosjekt, eller det kreves en pedagogisk innsats. Når noen som ikke er kjent med formell først hører formell verifisering anbefales, er deres første tanke: 'Nå må jeg ha en doktorgrad i staben. Vi må få prosjektet vårt i gang. Hvordan skal jeg noen gang gjøre dette? Og dette fører til varierende grad av adopsjon.»
I noen selskaper har formell blitt bare en av mange nødvendige ferdigheter. Dette er et betydelig skifte. I de første dagene av formell verifisering ble det antatt at en liten gruppe ingeniører ville få ferdigheter i å bruke verktøyene.
"Vi innså at designere, verifikasjonsingeniører, ingeniører fra alle samfunnslag kan benytte seg av teknologien," sa Synopsys' Safarpour. «Og det har vært opp til EDA-verktøyutviklerne å gjøre det mer intuitivt for den brukeren. Vi har forskjellige personligheter, forskjellige hatter. Nå, hvis du er en designer, kan det hende du trenger et litt annet grensesnitt. Du kommer til det fra en annen vinkel enn det formelle svarte beltet ditt, og klokkene og fløytene du ser etter er ganske forskjellige. Som verktøyutviklere har vi også lært av brukerne våre hvem som kan få mest mulig ut av verktøyene. Også fra det aspektet er baren senket. I dag, når jeg får spørsmål eller snakker med kunder, er det like mange ikke-eksperter som kommer med forbedringsforespørsler eller gir oss tilbakemelding om verktøyet enn tradisjonelle formelle eksperter.»
Emulering vs. formell vs. simulering
Andre støttespillere i en verifikasjonsflyt inkluderer simulering og emulering. Men for visse design kan det hende at hvert verifiseringsverktøy ikke er nødvendig.
"Det er noen ting som er godt egnet for formell verifisering som ikke er like godt egnet for simulering, og omvendt," sa Siemens' Giles. "Et godt eksempel på dette er tilkoblingskontroll. Å gå gjennom prosessen med å simulere at alle sammenkoblingene, bit for bit, er riktige, er en ganske lang seriell prosess. Hvis du kan gjøre det uttømmende i én kjøring, kan du ta disse simuleringssyklusene og bruke dem til den simuleringen som gjør best. Så det er et produktivitetsspill. En annen ting som er tydelig når industrien går fra en globaliseringsmodell til en regionaliserings- eller nasjonaliseringsmodell – og vi må gjenskape økosystemet med silisiumdesign, utvikling og produksjon, flere ganger over hele verden – er at det er mangel på arbeidskraft spådd stort sett overalt i verden. Og dette har ikke noe med designkompleksitet å gjøre. Det har å gjøre med de geopolitiske og makroøkonomiske realitetene i verden. Dette skaper muligheter overalt. Og realiteten er at for å lykkes i det miljøet, trenger vi mer produktivitet ut av folkene våre. Å bruke formell eller effektiv verifisering, frigjøring av simuleringssykluser for å gjøre det simulering gjør best, er en kritisk del av utviklingen nå og i fremtiden. Så disse to tingene – produktivitetsdelen i tillegg til å svare på kravene til hva verden stiller på silisium i dag, og når det gjelder sikkerhet og forsikring, tillit og sikkerhet – dette er grunner til at jeg anser formell verifisering som absolutt nødvendig for enhver utvikling."
I noen tilfeller kreves det mer enn én type verktøy. Darbari peker på en overlapping basert på dekningskrav, samt mulighetene til forskjellige verktøy fra forskjellige leverandører. "Det er fortsatt variasjon," sa han. "Debug er den mest interessante. Feilsøking er der jeg kan finne årsaken til feilen på kortest tid, og er også et område hvor vi brukte mye tid på å forårsake ting.»
Det er også et samspill mellom formell verifisering og simulering for å redusere simuleringssykluser, med formell verifisering som er mer kostbart for ingeniørteamet.
"Du kan aldri gjøre nok simulering, slik at etterspørselen er grenseløs," sa Safarpour. "Alle ønsker å gjøre simulering, men de har ikke nok data for det. Imidlertid er simulerings- og formelle verifiseringsteknologier ganske komplementære, og vi ser det på flere områder. I dekning kan man med simulering veldig enkelt komme til 80%, 85%, kanskje 90% dekning, og da skjer det at man kommer raskt til et platå i kurven. Så er det de andre 5 %. Avhengig av hva kriteriene er for å gjøre avmeldingen, er det ytterligere 5 % eller så, og det er så mye randomisering du kan gjøre at vi fortsatt ikke kan nå dem. At 5 % tilfeldigvis er det gode stedet for formell, fordi sjansene er store for at 5 % enten er ting som er vanskelig å treffe, som hjørnesaker, som formelle er gode på, eller så er de død kode, noe som betyr at uansett hvor mye simulering du gjør du kan ikke treffe den. Dette etterlater deg med et spørsmålstegn, og så må en eller annen ingeniør gå inn for å se gjennom den koden og si: 'Jeg tror det ikke er tilgjengelig.' Så det er et manuelt inngrep. Måten vi gjør det på er at simuleringene og de formelle verktøyene våre fungerer på den samme databasen og hjelper hverandre."
Det samme scenariet gjelder for funksjonelle sikkerhetsapplikasjoner. "Du kan dekke så mye du kan for funksjonell sikkerhet og feiltoleranse, og deretter formelle skritt inn. Det er den samme historien med sikkerhet, og denne tilnærmingen fortsetter å spille på forskjellige domener. Få de enkle tingene gjort med simulering, kom deg til det platået, og ha formell å gjøre den siste milen,” forklarte Safarpour.
Domenespesifikke arkitekturer legger til sine egne unike problemer. "I motsetning til ikke-programmerbare ASIC-er, er DSA-er annerledes fordi du ikke kan forutsi de utallige måtene en programmerer vil bruke prosessoren på," sa Cadences Hardee. «Alle hendelser må dekkes, også det helt uforutsette. Formell er den eneste måten. Prosessorteknologilederne som Arm og Intel vet dette og har lenge investert i formell verifisering. Hvert selskap som gjør sin egen RISC-V-implementering, må gjøre det samme. Og veksten i matematiske co-prosessorer og AI/ML-motorer driver nyere formelle teknikker som C/C++ til RTL sekvensiell ekvivalenskontroll."
Formelles grenser
Som alle EDA-verktøy har imidlertid formelle begrensninger. "Formal har rykte på seg for å være noe som er bedre å kjøre på en modul eller blokk enn en full SoC," bemerket Siemens' Giles. «Formell har utfordringer når det gjelder lange, sekvensielle problemer. Et godt eksempel på dette vil være at det er utfordrende å bruke formell for å verifisere multipliser eller dividere funksjoner i en flytende kommaenhet. Den beste handlingen er å la formelle gjøre det formelle gjør best, og la simulering gjøre det simulering gjør best. Hvis du tar et flyttalldesign, kan du verifisere alt, men multiplikasjons- og delfunksjonaliteten gjøres best med simulering, slik at du er mye mer effektiv i bruken av simuleringsfunksjonene, og du verifiserer de tingene som må være gjort der. Da trenger du ikke å gjøre en flytende kommaenhet gjennom simulering.»
Som med alle verktøy, er det også et område hvor mye arbeid pågår for å overvinne disse begrensningene, både gjennom abstraksjoner og ny forskning. "Foreløpig går det inn i meldingen om at det er noen ting som formelt gjør bra og noen som simulering gjør bra," sa Giles. "Jeg ville aldri se et scenario der formell fullstendig eliminerer simulering. Akkurat som i årevis har jeg alltid ønsket å slutte med simulering på gatenivå, men det slo aldri ut. Vi vil se det med formell og simulering også.»
Formelle verifiseringsmetoder kan være uttømmende og grundige, men bør de være et krav over hele linjen?
Selv før 2014-oppkjøpet av Cadence, var Jasper pioner for en bredere spredning gjennom introduksjonen av formelle apper – ved å bruke modellsjekking, ofte med automatisk genererte påstander, for å løse vanlige verifikasjonsproblemer på en mer tilgjengelig måte, som krever et mye lavere nivå av formell ekspertise, Hardee sa.
Videre, "Tilkobling er et godt eksempel og en av de enkleste å ta i bruk - generer påstander fra et tilkoblingskart i et regneark eller IP-XACT form. Det samme kan gjøres med simulering, men det er kjedelig. Denne formelle metoden skalerer lett til brikkenivå siden det meste av den underliggende blokkfunksjonaliteten kan abstraheres. I noen tilfeller kan disse appene avlaste simuleringsarbeidsbelastninger, og verdien er å finne feil i hjørnet siden den tilfeldige verktøygenererte inputstimulusen er mer uttømmende enn simuleringstestbenker vanligvis er. Selv om disse appene er nyttige for å få verifiseringsingeniører i gang med formelle, kanskje fungerende som en «gateway», er de toppen av isfjellet når det gjelder bruk. For øyeblikket finner vi at hoveddelen av isfjellet, inkludert mesteparten av regresjonsbruken av formell verifisering, er å verifisere de prosessorbaserte DSA-designene med formell eiendomsverifisering og sekvensiell ekvivalenskontroll, både RTL-til-RTL og C/ C++ til RTL," la han til. «Så mye som jeg ønsker å sette formell verifisering som et krav over hele linjen, er det fortsatt eksempler der det er nødvendig, og andre eksempler der simulering fortsatt gjør en bedre jobb. Men vi ser at designtypene der formell verifisering er nødvendig vokser mye raskere.»
Når det gjelder hvordan alt dette utvikler seg, ser det ut til at EDA-økosystemet er på vei til å identifisere hvordan formell verifisering kan brukes utover tradisjonelle applikasjoner.
"Det er et sett med applikasjoner som er ganske vanlige for enhver leverandør som selger medfølgende formelle applikasjoner for spesifikke sluttbruk," konkluderte Giles. "Utfordringene og mulighetene fra både teknisk og forretningsmessig perspektiv inkluderer bruk av formelle på måter som for å utføre verifiseringen som ikke har vært mulig før, for eksempel trojanske hester deteksjon i maskinvare. Spesielt i denne verdenen av åpen kildekode-maskinvare er det veldig hyggelig å kunne bevise at det ikke er noe i designet som ikke skal være i det designet. Det er vanligvis ikke et verifiseringsproblem som løses ved simulering, fordi simulering generelt forutsetter at du vet hva du leter etter, og du prøver bare å sørge for at den gjør det. Med deteksjon av trojanske hester, leter du nå etter ting som effektivt er ute av det kjente tilstandsrommet. Dette er noe som har et enormt løfte."
Relatert Reading
RISC-V mikroarkitektonisk verifikasjon
Å verifisere en prosessor er mye mer enn å sørge for at instruksjonene fungerer, men industrien bygger fra en begrenset kunnskapsbase og få dedikerte verktøy.
Nye konsepter som kreves for sikkerhetsverifisering
Hvorfor det er så vanskelig å sikre at maskinvaren fungerer riktig og er i stand til å oppdage sårbarheter som kan dukke opp i felten.
- SEO-drevet innhold og PR-distribusjon. Bli forsterket i dag.
- PlatoData.Network Vertical Generative Ai. Styrk deg selv. Tilgang her.
- PlatoAiStream. Web3 Intelligence. Kunnskap forsterket. Tilgang her.
- PlatoESG. Karbon, CleanTech, Energi, Miljø, Solenergi, Avfallshåndtering. Tilgang her.
- PlatoHelse. Bioteknologisk og klinisk etterretning. Tilgang her.
- kilde: https://semiengineering.com/formal-verifications-usefulness-widens/
- : har
- :er
- :ikke
- :hvor
- $OPP
- 2014
- a
- I stand
- Om oss
- Absolute
- absolutt
- abstrahert
- akseleratorer
- akseptabelt
- tilgjengelig
- Ifølge
- Logg inn
- Oppnå
- oppkjøp
- tvers
- skuespill
- Handling
- legge til
- la til
- adoptere
- Adopsjon
- avansert
- siden
- AI / ML
- Alle
- langs
- også
- alltid
- am
- beløp
- an
- analyse
- og
- En annen
- besvare
- noen
- lenger
- hva som helst
- vises
- Søknad
- søknader
- tilnærming
- apps
- arkitekturer
- ER
- AREA
- områder
- ARM
- rundt
- AS
- Asics
- aspektet
- aspekter
- Montering
- vurdere
- antatt
- forsikring
- At
- Bar
- basen
- basert
- Battle
- BE
- fordi
- bli
- bli
- vært
- før du
- være
- bjeller
- nytte
- BEST
- Bedre
- mellom
- Beyond
- Stor
- Bit
- Svart
- svart belte
- Blokker
- borde
- både
- Grenseløst
- bredere
- Broke
- Brutt
- Bug
- bugs
- Bygning
- buntet
- virksomhet
- men
- by
- Cadence
- CAN
- Kan få
- evner
- stand
- saker
- catering
- Årsak
- konsernsjef
- viss
- sertifisering
- sertifisere
- utfordre
- utfordringer
- utfordrende
- sjansene
- endring
- sjekk
- kontroll
- chip
- chips
- chris
- fjerne
- klokke
- kode
- kommer
- komfortabel
- kommer
- Felles
- samfunnet
- Selskaper
- Selskapet
- utfyllende
- helt
- komplekse
- kompleksitet
- komponenter
- Beregn
- konsepter
- Bekymring
- konkluderte
- Tilkobling
- Vurder
- ansett
- konstant
- kontekst
- kontrast
- kontroll
- Corner
- korrigere
- riktig
- Korrupsjon
- kostbar
- kunne
- kurs
- dekke
- dekning
- dekket
- opprettet
- Opprette
- kriterier
- kritisk
- I dag
- skjøger
- cusp
- Kunder
- cyberattacks
- sykluser
- dato
- Database
- Dager
- død
- tiår
- dedikert
- forsinkelser
- levert
- levering
- Etterspørsel
- krevende
- krav
- avhengig
- utplassert
- dybde
- utforming
- designer
- designere
- utforme
- design
- Til tross for
- Gjenkjenning
- utviklere
- Utvikling
- enhet
- Enheter
- forskjellig
- annerledes
- vanskelig
- digitalt
- Regissør
- dele
- do
- gjør
- ikke
- gjør
- domener
- gjort
- ikke
- Av
- tviler
- drevet
- sjåfør
- kjøring
- hver enkelt
- Tidligere
- Tidlig
- enkleste
- lett
- lett
- økosystem
- pedagogisk
- Effektiv
- effektivt
- effekter
- effektiv
- innsats
- enten
- eliminerer
- omfavnet
- emulering
- slutt
- ingeniør
- Ingeniørarbeid
- Ingeniører
- Motorer
- forbedringer
- nok
- sikre
- Hele
- Miljø
- ekvivalens
- spesielt
- avgjørende
- Eter (ETH)
- Selv
- NOEN GANG
- stadig økende
- Hver
- alle
- alle
- alles
- alt
- overalt
- utvikler seg
- eksempel
- eksempler
- omfattende
- Expand
- ekspertise
- eksperter
- forklarte
- eksplosjon
- eksponentielt
- stoff
- faktor
- Failure
- ganske
- kjent
- raskere
- Egenskaper
- tilbakemelding
- føler
- Noen få
- færre
- felt
- filet
- finne
- Først
- fem
- flytende
- flyten
- fokuserte
- Til
- skjema
- formell
- fra
- fullt
- funksjon
- funksjonelle
- funksjonalitet
- funksjoner
- framtid
- Gevinst
- hull
- general
- generelt
- generere
- genererer
- geopolitiske
- få
- blir
- gigantene
- Giving
- globalisering
- Go
- skal
- god
- fikk
- GPU
- GPU
- flott
- Gruppe
- Økende
- Vokser
- Vekst
- skjer
- Hard
- maskinvare
- Ha
- å ha
- he
- hode
- hjelpe
- nølende
- hierarkisk
- Høy
- hit
- Hest
- Hvordan
- Men
- HTTPS
- stort
- menneskelig
- i
- identifisere
- identifisering
- if
- Påvirkning
- gjennomføring
- viktig
- in
- inkludere
- Inkludert
- Øke
- industri
- inngang
- instruksjoner
- integrering
- Intel
- hensikt
- interaksjoner
- interessant
- Interface
- intervensjon
- inn
- Introduksjon
- intuitiv
- investert
- investering
- innebærer
- IP
- utstedelse
- saker
- IT
- varer
- DET ER
- Jobb
- jpg
- bare
- bare én
- holde
- nøkkel
- slag
- Vet
- kunnskap
- kjent
- arbeidskraft
- stor
- større
- største
- Siste
- siste mil
- ledere
- Fører
- lært
- la
- Nivå
- Life
- livssykluser
- i likhet med
- begrensninger
- Begrenset
- linje
- lineær
- lite
- Bor
- Lang
- lang tid
- lenger
- Se
- ser
- Lot
- Lav
- lavere
- senket
- Mainstream
- større
- Flertall
- gjøre
- Making
- ledelse
- håndbok
- mange
- kart
- merke
- marked
- math
- Saken
- Kan..
- kan være
- betyr
- melding
- metode
- metodikk
- metoder
- mile
- Mobil
- modell
- moduler
- mer
- mer effektivt
- mest
- for det meste
- trekk
- mye
- flere
- må
- my
- myriade
- navn
- Natur
- nødvendigvis
- nødvendig
- Trenger
- behov
- aldri
- Ny
- nyere
- neste
- fint
- Nei.
- ikke-eksperter
- bemerket
- ingenting
- nå
- Antall
- of
- off
- ofte
- on
- ONE
- bare
- åpen
- åpen kildekode
- åpnet
- Muligheter
- optimalisering
- optimalisert
- or
- rekkefølge
- Annen
- vår
- ut
- enn
- Overcome
- egen
- pakke
- del
- spesielt
- Past
- Ansatte
- for
- utføre
- ytelse
- prospektet
- phd
- fenomenale
- fenomen
- brikke
- pionerer
- steder
- fly
- planlegging
- plato
- Platon Data Intelligence
- PlatonData
- Spille
- spiller
- Point
- poeng
- mulig
- makt
- forutsi
- spådd
- tilstedeværelse
- pen
- Problem
- problemer
- prosess
- prosessor
- prosessorer
- Produkt
- produktledelse
- Produksjon
- produktivitet
- Programmerer
- prosjekt
- fremtredende
- fremtredende
- løfte
- riktig
- egenskaper
- eiendom
- protokoller
- Bevis
- tilbydere
- Sette
- spørsmål
- spørsmål
- spørsmål
- raskt
- ganske
- FoU
- tilfeldig
- Sats
- priser
- ekte
- reell verdi
- reality-show
- Reality
- realisert
- grunnen til
- rimelig
- grunner
- gjenkjenne
- anbefales
- redusere
- refererer
- regresjon
- pålitelighet
- forbli
- forblir
- omdømme
- forespørsler
- påkrevd
- behov
- Krav
- Krever
- forskning
- anmeldelse
- Revolution
- root
- Kjør
- s
- trygge
- Sikkerhet
- Sa
- samme
- sier
- sier
- skalerbarhet
- Skala
- skalert
- vekter
- scenario
- ordningen
- Vitenskap
- Sean
- Sekund
- sikre
- sikkerhet
- se
- se
- sett
- Å Sell
- halvledere
- serie~~POS=TRUNC
- sett
- skift
- mangel
- mangel
- korteste
- bør
- Vis
- side
- signifikant
- betydelig
- Silicon
- på samme måte
- ganske enkelt
- simulering
- siden
- SIX
- ferdigheter
- litt annerledes
- liten
- So
- løsning
- Solutions
- LØSE
- løst
- noen
- Noen
- noe
- noen ganger
- kilde
- Rom
- spesifikk
- brukt
- Spot
- sprer
- regneark
- Staff
- trofaste
- startet
- Tilstand
- Trinn
- Steps
- Still
- stimulus
- Stopp
- Story
- fremskritt
- lykkes
- suksess
- slik
- suite
- ment
- sikker
- søt
- system
- Systemer
- Ta
- Talent
- Snakk
- snakker
- lag
- lag
- Teknisk
- teknikker
- Technologies
- Teknologi
- langtekkelig
- fortelle
- pleier
- vilkår
- test
- enn
- Det
- De
- Fremtiden
- Kilden
- verden
- deres
- Dem
- deretter
- Der.
- Disse
- de
- ting
- ting
- tror
- denne
- grundig
- De
- trodde
- Gjennom
- hele
- tid
- ganger
- typen
- til
- i dag
- toleranse
- også
- verktøy
- verktøy
- topp
- mot
- spore
- Sporing
- tradisjonelle
- enorm
- Trojan
- trojansk hest
- Stol
- troverdig
- prøver
- SVING
- to
- typen
- typer
- typisk
- etter
- underliggende
- forstå
- underveis
- uforutsett
- unik
- enhet
- med mindre
- us
- bruk
- bruke
- brukt
- nyttig
- Bruker
- Brukere
- bruker
- ved hjelp av
- vanligvis
- bruke
- benyttes
- verdi
- variant
- variasjon
- variere
- Varierende
- enorme
- leverandør
- leverandører
- Verifisering
- verifisere
- verifisere
- bevandret
- Versus
- vertikal
- veldig
- vice
- volum
- vs
- Sikkerhetsproblemer
- vandringer
- ønsker
- ønsket
- ønsker
- var
- Vei..
- måter
- we
- VI VIL
- var
- Hva
- uansett
- når
- om
- hvilken
- mens
- HVEM
- hvorfor
- bredere
- utbredt
- vil
- med
- innenfor
- uten
- Arbeid
- virker
- verden
- bekymring
- ville
- skriving
- år
- du
- Din
- zephyrnet