Formell verifiering används oftare och på fler ställen i chipdesigner i takt med att antalet möjliga interaktioner växer och när dessa chip används i mer kritiska applikationer.
Tidigare har mycket av formell verifiering var fokuserad på om ett chip skulle fungera korrekt. Men när designen blir mer komplex och heterogen, och när användningsfallen förändras, används formell verifiering i allt från att bedöma effekten av partitionering till att spåra källan till tyst datakorruption. Den används till och med för att identifiera möjliga vektorer för cyberattacker och för att spåra hur ström levereras och används inom en enhet.
"Lågeffektdesign har funnits väldigt länge, men det var ett tillvägagångssätt som mestadels användes för mobila chips", enligt Sean Safarpour, R&D-gruppdirektör i Synopsys' EDA-gruppen. "Nu är det över hela linjen. På samma sätt ser vi mer AI/ML som används i acceleratorer, och mängden arbete du kan göra per effekt är en viktig drivkraft. Så nu för alla, vad de än gör, är lågeffektdesign ett så stort problem. Vad detta har att göra med formell verifiering är att det finns specifika sätt som formell verifiering kan användas för att lösa några av dessa problem."
Det här handlar inte längre bara om klockport optimering, vilket innebär att simuleringsregressionerna körs om för att säkerställa att allt är korrekt. Idag måste makt ses i sammanhanget med andra komponenter i ett system, och ibland mellan system. Utan formell skulle det ta betydligt mer tid, om det överhuvudtaget kunde göras. Det behöver också undersökas i samband med olika användningsfall och arbetsbelastningar, där kraft behöver spåras från leverans till användning.
"Om du gör clock gating, kan vi göra analysen med och utan clock gating och berätta definitivt om funktionaliteten är densamma, eller om du kan ha en bugg och något gick sönder på vägen," sa Safarpour. "Baserat på användarförfrågningar är det nu också möjligt att ta hänsyn till maktavsikt genom en UPF-fil. För fem eller sex år sedan hade vi inga sådana förfrågningar. Nu är de så framträdande att folk säger: 'Jag gör egendomsverifiering. Jag har mina påståenden. Men nu vill jag kontrollera dessa påståenden i närvaro av min UPF. Jag gör anslutningskontroll på SoC-nivå, vilket är en annan specifik applikation. Men det är ofullständigt om du inte tar hänsyn till designens fullständiga UPF. Formal kan gå in på dessa mycket specifika områden så att användare kan säga: 'Vänta lite, vi behöver inte göra om hela vår regressionssvit. Vi kan ta dessa specifika problem och lösa dem uttömmande.' Det är det verkliga värdet av formell. Det är uttömmande till sin natur, så när du tittar på hela din testplan och du tittar på några av dessa aspekter, oavsett om det är låg effekt eller säkerhet, kan vi gå in på alla dessa. Du kommer att ha specifika rader för dessa i din testplan. Vissa av dem kan du gå och lösa uttömmande med formell verifiering, vilket är en av anledningarna till att det växer fram i dag när problemutrymmet blir större.”
Enkelt uttryckt, täckningsluckor som var acceptabla tidigare när det fanns färre funktioner och livscykler var kortare är oacceptabla i många applikationer idag.
"Alla pratar alltid om ständigt ökande komplexitet, och många människor kommer med rätta att använda det som en anledning att göra saker annorlunda", säger Chris Giles, chef för produktledning för statiska och formella lösningar på Siemens EDA. "När vi tittar på marknadsframgång och den allmänna utvecklingsprocessen, vad vi ser är att trots en flera decennier lång ökning av investeringar i verifiering, så hänger det inte med ökningen i komplexitet. Så även om vi alla inser att det finns en konstant ökning av komplexiteten, är hur vi har reagerat på det som bransch inte så effektivt som det behöver vara. Den förändring som setts under de senaste åren är vad världen kräver av kisel, och det är här som formell verifiering blir ett absolut krav. Vad världen kräver av kisel idag är ett annat verifieringssätt. Det vi kräver handlar inte längre om komplexitet. Det handlar om säkerhet. Det handlar om säkerhet. Det handlar om tillit. Det handlar om trygghet. Och alla dessa saker är väldigt svåra att bevisa med en linjär simuleringsmetod.
Detta har i sin tur skapat en explosion i efterfrågan på formell verifiering. "Det är här det formella överträffar," sa Giles. "På grund av dess uttömmande karaktär kan formell verifiering bevisa att en design är säker, säker eller pålitlig. Det finns mycket arbete som görs i branschen för att certifiera dessa fastigheter, så att ha ett flöde som genererar den certifieringen är avgörande. Det är här det formella är absolut nödvändigt. Om du tittar på IP-branschen så vet inte IP-företagen nödvändigtvis vilken slutprodukt deras IP kommer att vara i, så de måste planera för den typen av frågor. Hur vet jag att detta är en säker design? Hur vet jag att detta är en pålitlig design? Hur vet jag att det är säkert att sätta människoliv under dess kontroll? Det här är saker som även IP-team måste oroa sig för idag.”
Pete Hardee, produktledningschef i System & Verification Group på Kadens, sa att han har sett en fenomenal tillväxt i formell verifieringsanvändning under det senaste decenniet. "Utan tvekan har det "korsat klyftan" till utbredd mainstreamanvändning. Det är ett oumbärligt verktyg i verifieringsarsenalet för de allra flesta av de främsta halvledarföretagen.”
Ökande komplexitet, både för avancerade noder SoCs såväl som heterogen montering i ett paket, kräver mer verifiering. "Verifieringsbehovet tenderar att expandera exponentiellt med designkomplexiteten," sa Hardee. "Nyckeleffekterna har varit tvåfaldiga. För det första, med IP-baserad hierarkisk verifiering, har dela-och-härska varit en viktig faktor för verifieringsframgång – verifiera IP-blocket eller subsystemet noggrant, kontrollera sedan efter korrekt integration och ingenting gick sönder på nästa nivå upp. För IP-baserad verifiering har formell verifiering skalats för att uppnå formell signoff för många, men inte alla, typer av IP. Statligt utrymme kan fortfarande vara ett problem, trots stora framsteg i formell skalbarhet. Till exempel förblir komplexa seriella protokoll utmanande för formell verifiering – det sekventiella djupet är ofta för högt. Vissa formella tekniker kan skalas till chip-nivå, men bara på vissa begränsade sätt - full formell signoff för stora digitala SoCs är fortfarande för utmanande."
Processorbaserade konstruktioner har alltid varit utmanande, men de är särskilt svåra att verifiera när de använder domänspecifika arkitekturer. "Det finns en enorm ökning av massivt programmerbara konstruktioner - flerprocessorarkitekturer som använder många homogena eller heterogena arrayer av processorkärnor beroende på den vertikala applikationen," noterade han. "För applikationsprocessorer har Arm kontra x86 ISA-striden nu blåsts upp av RISC-V. GPU:er har funnits länge, men många andra typer av matematiska co-processorer och acceleratorer är vanliga, speciellt nu drivna av AI/ML-revolutionen. Alla designar sin egen variant av applikations- och matematiska kärnor optimerade för deras kraft-, prestanda- och områdesbehov." Kadens refererar till detta fenomen som domänspecifika arkitekturer (DSA).
Oron för tillförlitlighet sprider sig även till icke-kritiska enheter. "Varje design kan ha en formell verifieringslösning, inklusive aritmetikdominerade design", säger Ashish Darbari, VD för Axiomisera. "Aritmetikdominerad design drar nytta av avancerade lösningar från de största leverantörerna av formella verifieringsverktyg, som alla har lösningar som riktar sig mot aritmetisk verifiering, särskilt på flyttalssidan. I det stora hela är det här inte nödvändigtvis en stor mängd arbete, men det är tillräckligt betydande och viktigt för att vi inte ska se åt andra hållet.”
Det har öppnat dörren för att formellt kan användas mycket tidigare i flödet, där det kan användas för att undvika designrelaterade förseningar, och över en bredare del av ingenjörssamfundet. Men det har också skapat en talangbrist, eftersom alla inte är väl insatta i att skriva påståenden över en mängd olika applikationer.
"Alla med ett rimligt namn inom kiselbranschen, oavsett om det är en GPU eller ett processorföretag, eller ett tygföretag, använder formella," sa Darbari. "Alla jättar som bygger hårdvara använder formella. Och några av dem vill att så mycket formellt ska göras, men de har helt enkelt inte tillräckligt med talang.”
Adoptionsfrekvensen varierar också. "En del är mycket bekanta med och bekväma med formell verifiering, förstår vad den kan göra och utmanar den", konstaterade Siemens Giles. ”Andra är lite mer tveksamma, eftersom det ibland kan kännas som ett naturvetenskapligt projekt, eller så krävs en pedagogisk insats. När någon som inte är bekant med formella första hör formell verifiering rekommenderas, är deras första tanke: 'Nu måste jag ha en doktorsexamen på min personal. Vi måste få igång vårt projekt. Hur ska jag någonsin göra det här?' Och detta leder till olika grader av adoption.”
I vissa företag har formellt blivit bara en av många nödvändiga färdigheter. Detta är en betydande förändring. Under de tidiga dagarna av formell verifiering antogs det att en liten grupp ingenjörer skulle få färdighet i att använda verktygen.
"Vi insåg att designers, verifieringsingenjörer, ingenjörer från alla samhällsskikt kan använda sig av tekniken", säger Synopsys Safarpour. "Och det har varit upp till EDA-verktygsutvecklarna att göra det mer intuitivt för den användaren. Vi har olika personligheter, olika hattar. Nu, om du är en designer, kan du behöva ett lite annorlunda gränssnitt. Du kommer på det från en annan vinkel än ditt formella svarta bälte, och klockorna och visselpiporna som du letar efter är helt annorlunda. Som verktygsutvecklare har vi också lärt oss av våra användare vilka som kan få ut det mesta av verktygen. Även ur den aspekten har ribban sänkts. Idag, när jag får frågor eller pratar med kunder, finns det lika många icke-experter som begär förbättringar eller ger oss feedback om verktyget än traditionella formella experter."
Emulering vs. formell vs. simulering
Andra ståndpunkter i ett verifieringsflöde inkluderar simulering och emulering. Men för vissa konstruktioner kanske inte varje verifieringsverktyg är nödvändigt.
"Det finns vissa saker som är väl lämpade för formell verifiering som inte är lika väl lämpade för simulering, och vice versa," sa Siemens Giles. "Ett bra exempel på detta är anslutningskontroll. Att gå igenom processen att simulera att alla sammankopplingar, bit för bit, är korrekta är en ganska lång seriell process. Om du kan göra det uttömmande i en körning, kan du ta dessa simuleringscykler och använda dem för den simulering som fungerar bäst. Så det är en produktivitetslek. En annan sak som är tydlig när industrin går från en globaliseringsmodell till en regionaliserings- eller nationaliseringsmodell – och vi måste replikera ekosystemet av kiseldesign, utveckling och produktion, flera gånger över hela världen – är att det finns brist på arbetskraft förutspått i stort sett överallt i världen. Och detta har inte med designkomplexitet att göra. Det har att göra med de geopolitiska och makroekonomiska verkligheterna i världen. Detta skapar möjligheter överallt. Och verkligheten är att för att lyckas i den miljön behöver vi mer produktivitet av våra medarbetare. Att använda formell eller effektiv verifiering, att frigöra simuleringscykler för att göra det som simulering gör bäst, är en kritisk del av utvecklingen nu och i framtiden. Så dessa två saker – produktivitetsbiten såväl som att svara på kraven på vad världen ställer på kisel idag, och när det gäller säkerhet och försäkran, förtroende och säkerhet – det är skälen till varför jag anser att formell verifiering är absolut nödvändig för alla utveckling."
I vissa fall krävs mer än en typ av verktyg. Darbari pekar på en överlappning baserat på täckningskrav, såväl som kapaciteten hos olika verktyg från olika leverantörer. "Det finns fortfarande variation", sa han. "Debug är det mest intressanta. Felsökning är där jag kan komma till grundorsaken till misslyckanden på kortast tid, och är också ett område där vi tillbringade mycket tid för att orsaka saker."
Det finns också ett samspel mellan formell verifiering och simulering för att minska simuleringscyklerna, med formell verifiering som är dyrare för ingenjörsteamet.
"Du kan aldrig göra tillräckligt med simulering, så att efterfrågan är gränslös," sa Safarpour. "Alla vill göra simulering, men de har inte tillräckligt med beräkningar för det. Emellertid är simulerings- och formella verifieringstekniker ganska komplementära till sin natur, och vi ser det inom flera områden. I täckning, med simulering, kan man väldigt lätt komma till 80%, 85%, kanske 90% täckning, och då händer det att man snabbt kommer till en platå i kurvan. Sedan är det de andra 5%. Beroende på vad kriterierna är för att göra avregistreringen, finns det ytterligare 5 % eller så, och det finns så mycket randomisering du kan göra att vi fortfarande inte kan nå dem. Att 5 % råkar vara den söta platsen för formella, eftersom chansen är stor att 5 % antingen är saker som är svåra att träffa, som hörnfall, som formella är bra på, eller så är de död kod, vilket betyder att oavsett hur mycket simulering du gör du kan inte träffa den. Detta lämnar dig med ett frågetecken, och sedan skulle någon ingenjör behöva gå in för att granska den koden och säga, "Jag tror att det inte går att nå." Så det är ett manuellt ingrepp. Sättet vi gör det på är att våra simuleringar och formella verktyg fungerar utifrån samma databas och hjälper varandra."
Samma scenario gäller för tillämpningar för funktionell säkerhet. "Du kan täcka så mycket du kan för funktionell säkerhet och feltolerans, sedan formella steg in. Det är samma historia med säkerhet, och det här tillvägagångssättet fortsätter att spelas upp i olika domäner. Få de enkla sakerna gjorda med simulering, ta dig till den platån och låt dig sedan göra den sista milen formellt”, förklarade Safarpour.
Domänspecifika arkitekturer lägger till sina egna unika problem. "I motsats till icke-programmerbara ASIC:er är DSA:er annorlunda eftersom du inte kan förutsäga de otaliga sätten en programmerare kommer att använda processorn på", säger Cadence's Hardee. ”Alla händelser måste täckas, inklusive det helt oförutsedda. Formellt är det enda sättet. Processorteknikledare som Arm och Intel vet detta och har länge investerat i formell verifiering. Varje företag som gör sin egen RISC-V-implementering måste göra detsamma. Och tillväxten av matematiska co-processorer och AI/ML-motorer driver på nyare formella tekniker som C/C++ till RTL sekventiell ekvivalenskontroll."
Formalens gränser
Liksom alla EDA-verktyg har dock formella begränsningar. "Formell har ryktet om att vara något som är bättre att köra på en modul eller ett block än en fullständig SoC," noterade Siemens Giles. ”Formell har utmaningar när det kommer till långa, sekventiella problem. Ett bra exempel på detta skulle vara att det är utmanande att använda formellt för att verifiera multiplicera eller dividera funktioner i en flyttalsenhet. Det bästa tillvägagångssättet är att låta formellt göra det som formellt gör bäst, och låta simulering göra det som simulering gör bäst. Om du tar en flyttalsdesign kan du verifiera allt, men multiplicera och dividera funktionen görs bäst med simulering så att du är mycket effektivare i din användning av simuleringsfunktionerna och du verifierar de saker som måste vara gjort där. Då behöver du inte göra en hel flyttalsenhet genom simulering.”
Som med alla verktyg är det också ett område där mycket arbete pågår för att övervinna dessa begränsningar, både genom abstraktioner och ny forskning. "För tillfället matas det in i budskapet att det finns vissa saker som formellt fungerar bra och andra som simulering gör bra," sa Giles. "Jag skulle aldrig se ett scenario där formell helt eliminerar simulering. Precis som i flera år har jag alltid velat sluta göra simulering på grindnivå, men det lyckades aldrig. Vi kommer att se det med formell och simulering också.”
Formella verifieringsmetoder kan vara uttömmande och grundliga, men bör de vara ett krav över hela linjen?
Redan före 2014 års förvärv av Cadence var Jasper banbrytande för en bredare spridning genom introduktionen av formella appar – med modellkontroll, ofta med automatiskt genererade påståenden, för att lösa vanliga verifieringsproblem på ett mer tillgängligt sätt, vilket kräver en mycket lägre nivå av formell expertis, sa Hardee.
Vidare, "Connectivity är ett bra exempel och ett av de enklaste att använda - generera påståenden från en anslutningskarta i ett kalkylblad eller IP-XACT form. Detsamma kan göras med simulering men det är tråkigt. Denna formella metod skalas lätt till chip-nivå eftersom det mesta av den underliggande blockfunktionaliteten kan abstraheras. I vissa fall kan dessa appar ladda ner simuleringsarbetsbelastningar, och värdet ligger i att hitta buggar i hörnfall eftersom den slumpmässiga verktygsgenererade inmatningsstimulansen är mer uttömmande än simuleringstestbänkar vanligtvis är. Även om dessa appar är användbara för att få verifieringsingenjörer igång med formella, kanske fungerar som en "gateway", är de toppen av isberget när det gäller användning. För närvarande ser vi att huvuddelen av isberget, inklusive majoriteten av regressionsanvändningen av formell verifiering, är att verifiera de processorbaserade DSA-designerna med formell egendomsverifiering och sekventiell ekvivalenskontroll, både RTL-till-RTL och C/ C++ till RTL”, tillade han. ”Så mycket som jag skulle vilja ställa in formell verifiering som ett krav över hela linjen, finns det fortfarande exempel där det är nödvändigt och andra exempel där simulering fortfarande gör ett bättre jobb. Men vi ser att designtyperna där formell verifiering är nödvändig växer i mycket snabbare takt."
När det gäller hur allt detta utvecklas, verkar EDA:s ekosystem vara på väg att identifiera hur formell verifiering kan användas bortom traditionella applikationer.
"Det finns en uppsättning applikationer som är ganska vanliga för alla leverantörer som säljer paketerade formella applikationer för specifika slutanvändningar," avslutade Giles. "Utmaningarna och möjligheterna från både tekniska och affärsmässiga perspektiv inkluderar att använda formella på ett sätt som för att utföra verifieringen som inte har varit möjlig tidigare, såsom trojansk hästdetektering i hårdvara. Särskilt i den här världen av hårdvara med öppen källkod är det väldigt trevligt att kunna bevisa att det inte finns något i den designen som inte är tänkt att finnas i den designen. Det är vanligtvis inte ett verifieringsproblem som löses genom simulering, eftersom simulering i allmänhet förutsätter att du vet vad du letar efter, och du försöker bara se till att den gör det. Med detektering av trojanska hästar letar du nu efter saker som är effektivt utanför det kända tillståndsutrymmet. Det här är något som har ett enormt löfte."
Relaterad läsning
RISC-V Micro-Architectural Verification
Att verifiera en processor är mycket mer än att se till att instruktionerna fungerar, men branschen bygger från en begränsad kunskapsbas och få dedikerade verktyg.
Nya koncept som krävs för säkerhetsverifiering
Varför det är så svårt att säkerställa att hårdvaran fungerar korrekt och kan upptäcka sårbarheter som kan dyka upp i fält.
- SEO-drivet innehåll och PR-distribution. Bli förstärkt idag.
- PlatoData.Network Vertical Generative Ai. Styrka dig själv. Tillgång här.
- PlatoAiStream. Web3 Intelligence. Kunskap förstärkt. Tillgång här.
- Platoesg. Kol, CleanTech, Energi, Miljö, Sol, Avfallshantering. Tillgång här.
- PlatoHealth. Biotech och kliniska prövningar Intelligence. Tillgång här.
- Källa: https://semiengineering.com/formal-verifications-usefulness-widens/
- : har
- :är
- :inte
- :var
- $UPP
- 2014
- a
- Able
- Om oss
- Absolut
- absolut
- abstraherade
- acceleratorer
- godtagbart
- tillgänglig
- Enligt
- Konto
- Uppnå
- förvärv
- tvärs
- verkande
- Handling
- lägga till
- lagt till
- anta
- Antagande
- avancerat
- sedan
- AI / ML
- Alla
- längs
- också
- alltid
- am
- mängd
- an
- analys
- och
- Annan
- svar
- vilken som helst
- längre
- något
- visas
- Ansökan
- tillämpningar
- tillvägagångssätt
- appar
- arkitekturer
- ÄR
- OMRÅDE
- områden
- ARM
- runt
- AS
- ASIC
- aspekt
- aspekter
- Montage
- bedöma
- antas
- försäkran
- At
- bar
- bas
- baserat
- Slaget
- BE
- därför att
- blir
- passande
- varit
- innan
- Där vi får lov att vara utan att konstant prestera,
- klockor
- gynnar
- BÄST
- Bättre
- mellan
- Bortom
- Stor
- Bit
- Svart
- svart bälte
- Blockera
- ombord
- båda
- Gränslös
- bredare
- Pank
- Brutet
- Bug
- fel
- Byggnad
- bundled
- företag
- men
- by
- Kadens
- KAN
- Kan få
- kapacitet
- kapabel
- fall
- catering
- Orsak
- VD
- vissa
- certifiering
- intyga
- utmanar
- utmaningar
- utmanande
- chanser
- byta
- ta
- kontroll
- chip
- Pommes frites
- chris
- klar
- klocka
- koda
- kommer
- bekväm
- kommande
- Gemensam
- samfundet
- Företag
- företag
- komplementär
- fullständigt
- komplex
- Komplexiteten
- komponenter
- Compute
- Begreppen
- Oro
- ingås
- Anslutningar
- Tänk
- anses
- konstant
- sammanhang
- Däremot
- kontroll
- Corner
- korrekt
- korrekt
- Korruption
- kostsam
- kunde
- Naturligtvis
- täcka
- täckning
- omfattas
- skapas
- Skapa
- kriterier
- kritisk
- För närvarande
- kurva
- Udd
- Kunder
- cyberattack
- cykler
- datum
- Databas
- Dagar
- döda
- årtionde
- dedicerad
- fördröjningar
- levereras
- leverans
- Efterfrågan
- krävande
- krav
- beroende
- utplacerade
- djup
- Designa
- designer
- konstruktörer
- design
- mönster
- Trots
- Detektering
- utvecklare
- Utveckling
- anordning
- enheter
- olika
- annorlunda
- svårt
- digital
- Direktör
- dela
- do
- gör
- inte
- gör
- domäner
- gjort
- inte
- Dörr
- tvivlar
- driven
- chaufför
- drivande
- varje
- Tidigare
- Tidig
- enklaste
- lätt
- lätt
- ekosystemet
- pedagogiska
- Effektiv
- effektivt
- effekter
- effektiv
- ansträngning
- antingen
- eliminerar
- omfamnade
- tävlan
- änden
- ingenjör
- Teknik
- Ingenjörer
- Motorer
- förbättringar
- tillräckligt
- säkerställa
- Hela
- Miljö
- likvärdighet
- speciellt
- väsentlig
- Eter (ETH)
- Även
- NÅGONSIN
- ständigt ökande
- Varje
- alla
- alla
- allas
- allt
- överallt
- utvecklas
- exempel
- exempel
- omfattande
- Bygga ut
- expertis
- experter
- förklarade
- Explosionen
- exponentiellt
- tyg
- faktor
- Misslyckande
- ganska
- bekant
- snabbare
- Funktioner
- återkoppling
- känna
- få
- färre
- fält
- Fil
- finna
- Förnamn
- fem
- flytande
- flöda
- fokuserade
- För
- formen
- formell
- från
- full
- fungera
- funktionella
- funktionalitet
- funktioner
- framtida
- Få
- luckor
- Allmänt
- allmänhet
- generera
- genererar
- geopolitiska
- skaffa sig
- blir
- jättar
- Ge
- globaliseringen
- Go
- kommer
- god
- fick
- GPU
- GPUs
- stor
- Grupp
- Odling
- Växer
- Tillväxt
- händer
- Hård
- hårdvara
- Har
- har
- he
- huvud
- hjälpa
- Tveksam
- hierarkisk
- Hög
- Träffa
- Häst
- Hur ser din drömresa ut
- Men
- HTTPS
- stor
- humant
- i
- identifiera
- identifiera
- if
- Inverkan
- genomförande
- med Esport
- in
- innefattar
- Inklusive
- Öka
- industrin
- ingång
- instruktioner
- integrering
- Intel
- uppsåt
- interaktioner
- intressant
- Gränssnitt
- ingripande
- in
- Beskrivning
- intuitiv
- investerat
- investering
- innebär
- IP
- fråga
- problem
- IT
- artikel
- DESS
- Jobb
- jpg
- bara
- bara en
- hålla
- Nyckel
- slag
- Vet
- kunskap
- känd
- arbetskraft
- Large
- större
- största
- Efternamn
- sista milen
- ledare
- Leads
- lärt
- Låt
- Nivå
- livet
- livscyklar
- tycka om
- begränsningar
- Begränsad
- linje
- linjär
- liten
- Bor
- Lång
- länge sedan
- längre
- se
- du letar
- Lot
- Låg
- lägre
- sänkt
- Vanliga
- större
- Majoritet
- göra
- Framställning
- ledning
- manuell
- många
- karta
- markera
- marknad
- matte
- Materia
- Maj..
- kanske
- betyder
- meddelande
- metod
- Metodik
- metoder
- mil
- Mobil
- modell
- modul
- mer
- mer effektiv
- mest
- för det mesta
- förflyttar
- mycket
- multipel
- måste
- my
- myriad
- namn
- Natur
- nödvändigtvis
- nödvändigt för
- Behöver
- behov
- aldrig
- Nya
- nyare
- Nästa
- trevligt
- Nej
- icke-experter
- noterade
- inget
- nu
- antal
- of
- sänkt
- Ofta
- on
- ONE
- endast
- öppet
- öppen källkod
- öppnade
- möjligheter
- optimering
- optimerad
- or
- beställa
- Övriga
- vår
- ut
- över
- Övervinna
- egen
- paket
- del
- särskilt
- Tidigare
- Personer
- för
- utföra
- prestanda
- perspektiv
- phd
- fenomenal
- Fenomenet
- bit
- banat
- platser
- Planen
- planering
- plato
- Platon Data Intelligence
- PlatonData
- Spela
- spelar
- Punkt
- poäng
- möjlig
- kraft
- förutse
- förutsagda
- Närvaron
- pretty
- Problem
- problem
- process
- Processorn
- processorer
- Produkt
- produktledning
- Produktion
- produktivitet
- Programmerare
- projektet
- prominens
- framträdande
- löfte
- ordentligt
- egenskaper
- egenskapen
- protokoll
- Bevisa
- leverantörer
- sätta
- sökfrågor
- fråga
- frågor
- snabbt
- ganska
- R&D
- slumpmässig
- Betygsätta
- rates
- verklig
- riktigt värde
- realiteter
- Verkligheten
- insåg
- Anledningen
- rimlig
- skäl
- känner igen
- rekommenderas
- minska
- hänvisar
- regression
- tillförlitlighet
- förblir
- resterna
- rykte
- förfrågningar
- Obligatorisk
- krav
- Krav
- Kräver
- forskning
- översyn
- Rotation
- rot
- Körning
- s
- säker
- Säkerhet
- Nämnda
- Samma
- säga
- säger
- skalbarhet
- Skala
- skalad
- skalor
- scenario
- ordningen
- Vetenskap
- sean
- Andra
- säkra
- säkerhet
- se
- se
- sett
- Försäljningen
- halvledare
- seriell
- in
- skifta
- brist
- brist
- kortast
- skall
- show
- sida
- signifikant
- signifikant
- Kisel
- Liknande
- helt enkelt
- simulering
- eftersom
- SEX
- färdigheter
- något annorlunda
- Small
- So
- lösning
- Lösningar
- LÖSA
- löst
- några
- någon
- något
- ibland
- Källa
- Utrymme
- specifik
- spent
- Spot
- Spridning
- kalkylblad
- Personal
- ståndaktiga
- igång
- Ange
- Steg
- Steg
- Fortfarande
- stimulans
- Sluta
- Historia
- steg
- lyckas
- framgång
- sådana
- svit
- förment
- säker
- söt
- system
- System
- Ta
- Talang
- Diskussion
- tala
- grupp
- lag
- Teknisk
- tekniker
- Tekniken
- Teknologi
- tråkig
- tala
- tenderar
- villkor
- testa
- än
- den där
- Smakämnen
- Framtiden
- källan
- världen
- deras
- Dem
- sedan
- Där.
- Dessa
- de
- sak
- saker
- tror
- detta
- grundligt
- de
- trodde
- Genom
- hela
- tid
- gånger
- Tips
- till
- i dag
- tolerans
- alltför
- verktyg
- verktyg
- topp
- mot
- spåra
- spåra
- traditionell
- enorm
- Trojan
- trojansk häst
- Litar
- trovärdig
- försöker
- SVÄNG
- två
- Typ
- typer
- typiskt
- under
- underliggande
- förstå
- På gång
- oförutsedd
- unika
- enhet
- såvida inte
- us
- Användning
- användning
- Begagnade
- användbara
- Användare
- användare
- användningar
- med hjälp av
- vanligen
- utnyttja
- utnyttjas
- värde
- Variant
- mängd
- variera
- varierande
- Omfattande
- leverantör
- försäljare
- Verifiering
- verifiera
- verifiera
- bevandrad
- Kontra
- vertikal
- mycket
- vice
- volym
- vs
- sårbarheter
- promenader
- vill
- ville
- vill
- var
- Sätt..
- sätt
- we
- VÄL
- były
- Vad
- oberoende
- när
- om
- som
- medan
- VEM
- varför
- bredare
- utbredd
- kommer
- med
- inom
- utan
- Arbete
- fungerar
- världen
- oro
- skulle
- skrivning
- år
- dig
- Din
- zephyrnet