La verifica formale viene implementata più spesso e in più punti nella progettazione dei chip man mano che aumenta il numero di possibili interazioni e poiché tali chip vengono utilizzati in applicazioni più critiche.
In passato, gran parte di verifica formale si concentrava sul funzionamento corretto di un chip. Ma poiché i progetti diventano più complessi ed eterogenei e i casi d’uso cambiano, la verifica formale viene utilizzata in ogni ambito, dalla valutazione dell’impatto del partizionamento all’individuazione della fonte della corruzione silenziosa dei dati. Viene utilizzato anche per identificare possibili vettori di attacchi informatici e per tracciare il modo in cui l'energia viene fornita e utilizzata all'interno di un dispositivo.
"La progettazione a basso consumo esiste da molto tempo, ma era un approccio adottato soprattutto per i chip mobili", secondo Sean Safarpour, direttore del gruppo R&D in Synopsys ' Gruppo EDA. “Ora la situazione è generalizzata. Allo stesso modo, stiamo vedendo più AI/ML utilizzati negli acceleratori e la quantità di lavoro che puoi svolgere per potenza è un fattore importante. Quindi ora per tutti, qualunque cosa stiano facendo, la progettazione a basso consumo è una grande preoccupazione. Ciò che ha a che fare con la verifica formale è che ci sono modi specifici in cui la verifica formale può essere utilizzata per risolvere alcuni di questi problemi”.
Non si tratta più solo di questo gating dell'orologio ottimizzazione, che prevede la riesecuzione delle regressioni della simulazione per assicurarsi che tutto sia corretto. Oggi, il potere deve essere considerato nel contesto di altri componenti di un sistema, e talvolta tra sistemi. Senza formalità ciò richiederebbe molto più tempo, sempre che sia possibile farlo. Deve inoltre essere esaminato nel contesto di diversi casi d’uso e carichi di lavoro, in cui l’energia deve essere tracciata dalla consegna all’utilizzo.
"Se stai eseguendo il clock gating, possiamo fare l'analisi con e senza il clock gating e dirti in modo definitivo se la funzionalità è la stessa o se potresti avere un bug e qualcosa si è rotto lungo il percorso", ha detto Safarpour. “In base alle richieste degli utenti, ora è anche possibile tenere conto del power intent tramite un file UPF. Cinque o sei anni fa non avevamo richieste del genere. Ora sono così importanti che la gente dice: "Eseguo la verifica delle proprietà". Ho le mie affermazioni. Ma ora voglio verificare quelle affermazioni in presenza del mio UPF. Eseguo il controllo della connettività a livello di SoC", che è un'altra applicazione specifica. Ma ciò è incompleto a meno che non si tenga conto dell’intero UPF del progetto. Formal è in grado di entrare in queste aree molto specifiche in modo che gli utenti possano dire: "Aspetta un secondo, non abbiamo bisogno di rifare l'intera suite di regressione". Possiamo prendere questi problemi specifici e risolverli in modo esaustivo." Questo è il vero valore del formale. È di natura esaustiva, quindi quando guardi l'intero piano di test e guardi alcuni di questi aspetti, che si tratti di basso consumo o sicurezza, possiamo approfondire tutti questi. Avrai elementi pubblicitari specifici per questi nel tuo piano di test. Alcuni di questi possono essere risolti in modo esaustivo con una verifica formale, che è uno dei motivi per cui sta diventando sempre più importante in questi giorni man mano che lo spazio del problema diventa più ampio.
In parole povere, le lacune di copertura che erano accettabili in passato, quando c’erano meno funzionalità e cicli di vita più brevi, sono oggi inaccettabili in molte applicazioni.
"Tutti parlano sempre di complessità sempre crescente, e molte persone lo useranno giustamente come motivo per fare le cose in modo diverso", ha affermato Chris Giles, responsabile della gestione del prodotto per le soluzioni statiche e formali presso SiemensEDA. “Quando guardiamo al successo del mercato e al processo di sviluppo generale, ciò che vediamo è che, nonostante un aumento pluridecennale degli investimenti nella verifica, non riesce a tenere il passo con l'aumento della complessità. Quindi, anche se tutti riconosciamo che c'è un costante aumento della complessità, il modo in cui abbiamo risposto ad esso come settore non è così efficace come dovrebbe essere. Il cambiamento osservato negli ultimi anni riguarda ciò che il mondo chiede al silicio, ed è qui che la verifica formale sta diventando un requisito assoluto. Ciò che oggi il mondo chiede al silicio è un diverso approccio di verifica. Ciò che chiediamo non riguarda più la complessità. Si tratta di sicurezza. Si tratta di sicurezza. Si tratta di fiducia. Si tratta di sicurezza. E tutte queste cose sono molto difficili da dimostrare con una metodologia di simulazione lineare”.
Ciò, a sua volta, ha creato un’esplosione della richiesta di verifica formale. "È qui che il formale eccelle", ha detto Giles. “A causa della sua natura esaustiva, la verifica formale può dimostrare in modo definitivo che un progetto è sicuro, protetto o affidabile. C'è molto lavoro da fare nel settore per certificare queste proprietà, quindi avere un flusso che generi tale certificazione è fondamentale. È qui che il formale è assolutamente essenziale. Se si guarda al settore della proprietà intellettuale, le società di proprietà intellettuale non sanno necessariamente in quale prodotto finale sarà la loro proprietà intellettuale, quindi devono pianificare questo tipo di domande. Come faccio a sapere che si tratta di un progetto sicuro? Come faccio a sapere che si tratta di un design affidabile? Come faccio a sapere se è sicuro mettere vite umane sotto il suo controllo? Queste sono cose di cui oggi anche i team IP devono preoccuparsi”.
Pete Hardee, direttore della gestione del prodotto nel System & Verification Group di Cadenza, ha affermato di aver assistito a una crescita fenomenale nell'utilizzo della verifica formale negli ultimi dieci anni. “Senza dubbio ha 'superato il baratro' diventando un uso diffuso e mainstream. È uno strumento indispensabile nell'arsenale di verifica per la stragrande maggioranza delle principali aziende di semiconduttori."
La crescente complessità, sia per i SoC a nodi avanzati che per l'assemblaggio eterogeneo in un pacchetto, richiede una maggiore verifica. "La necessità di verifica tende ad espandersi in modo esponenziale con la complessità della progettazione", ha affermato Hardee. “Gli effetti chiave sono stati duplici. Innanzitutto, con la verifica gerarchica basata su IP, il divide et impera è stato un fattore importante per il successo della verifica: verifica accuratamente il blocco o il sottosistema IP, quindi controlla la corretta integrazione e nulla si è rotto al livello successivo. Per la verifica basata su IP, la verifica formale è stata ampliata per ottenere l’approvazione formale per molti, ma non tutti, i tipi di IP. Lo spazio statale può ancora rappresentare un problema, nonostante i grandi passi avanti nella scalabilità formale. Ad esempio, i protocolli seriali complessi rimangono impegnativi per la verifica formale: la profondità sequenziale è spesso troppo elevata. Alcune tecniche formali possono scalare a livello di chip, ma solo in alcuni modi limitati: l’approvazione formale completa per i SoC digitali di grandi dimensioni rimane troppo impegnativa”.
I progetti basati su processori sono sempre stati impegnativi, ma sono particolarmente difficili da verificare quando utilizzano architetture specifiche del dominio. "C'è un enorme aumento di progetti massivamente programmabili: architetture multiprocessore che utilizzano molti array omogenei o eterogenei di core del processore a seconda dell'applicazione verticale", ha osservato. “Per i processori applicativi, la battaglia Arm contro ISA x86 è stata ora aperta da RISC-V. Le GPU esistono da molto tempo, ma molti altri tipi di coprocessori e acceleratori matematici sono all'ordine del giorno, soprattutto ora guidati dalla rivoluzione AI/ML. Ognuno progetta la propria variante di core applicativi e matematici ottimizzati per le proprie esigenze di potenza, prestazioni e area." Cadence si riferisce a questo fenomeno come architetture specifiche del dominio (DSA).
Le preoccupazioni sull’affidabilità si stanno diffondendo anche ai dispositivi non critici. "Ogni progetto può avere una soluzione di verifica formale, compresi i progetti dominati dall'aritmetica", ha affermato Ashish Darbari, CEO di assiomizzare. “La progettazione dominata dall’aritmetica sta beneficiando delle soluzioni avanzate dei maggiori fornitori di strumenti di verifica formale, i quali dispongono tutti di soluzioni che si rivolgono alla verifica aritmetica, in particolare sul lato della virgola mobile. Nel grande schema delle cose, questo non è necessariamente un grosso volume di lavoro, ma è abbastanza significativo e importante da permetterci di non voltarci dall’altra parte”.
Ciò ha aperto la strada al formale utilizzo molto più precocemente nel flusso, dove può essere utilizzato per evitare ritardi legati alla progettazione, e in una fascia più ampia della comunità ingegneristica. Ma ha anche creato una carenza di talenti, perché non tutti sono esperti nella scrittura asserzioni attraverso una varietà di applicazioni diverse.
"Tutti coloro che hanno un nome ragionevole nel settore del silicio, che si tratti di una GPU, di un'azienda di processori o di un'azienda di tessuti, utilizzano il formale", ha affermato Darbari. “Tutti i giganti che costruiscono hardware utilizzano il formato formale. E alcuni di loro vogliono che venga fatto tanto formale, ma semplicemente non hanno abbastanza talento.
Anche i tassi di adozione variano. "Alcuni hanno molta familiarità e si sentono a proprio agio con la verifica formale, capiscono cosa può fare e la mettono in discussione", ha osservato Giles di Siemens. “Altri sono un po’ più titubanti, perché a volte può sembrare un progetto scientifico o è necessario uno sforzo educativo. Quando qualcuno che non ha familiarità con la verifica formale sente per la prima volta raccomandare la verifica formale, il suo primo pensiero è: "Ora devo avere un dottorato di ricerca nel mio staff". Dobbiamo portare avanti il nostro progetto. Come potrò mai farlo?' E questo porta a diversi gradi di adozione”.
In alcune aziende, il formale è diventato solo una delle tante competenze richieste. Questo è un cambiamento significativo. All'inizio della verifica formale, si presumeva che un piccolo gruppo di ingegneri avrebbe acquisito competenze nell'utilizzo degli strumenti.
"Ci siamo resi conto che progettisti, ingegneri di verifica e ingegneri di tutti i ceti sociali possono utilizzare la tecnologia", ha affermato Safarpour di Synopsys. “Ed è compito degli sviluppatori dello strumento EDA renderlo più intuitivo per l'utente. Abbiamo personaggi diversi, cappelli diversi. Ora, se sei un designer, potresti aver bisogno di un'interfaccia leggermente diversa. Ci arrivi da un punto di vista diverso rispetto alla tua cintura nera formale, e gli accessori che stai cercando sono molto diversi. Come sviluppatori di strumenti, abbiamo anche imparato dai nostri utenti chi può ottenere il massimo dagli strumenti. Anche sotto questo aspetto l’asticella si è abbassata. Oggi, quando ricevo domande o parlo con i clienti, ci sono tanti non esperti che avanzano richieste di miglioramenti o ci forniscono feedback sullo strumento rispetto agli esperti tradizionali."
Emulazione vs. formale vs. simulazione
Altri pilastri di un flusso di verifica includono la simulazione e l’emulazione. Ma per alcuni progetti, tutti gli strumenti di verifica potrebbero non essere necessari.
"Ci sono alcune cose che sono adatte per la verifica formale che non sono altrettanto adatte per la simulazione, e viceversa", ha detto Giles di Siemens. “Un buon esempio di ciò è il controllo della connettività. Passare attraverso il processo di simulazione che tutte le interconnessioni, bit per bit, siano corrette è un processo seriale piuttosto lungo. Se riesci a farlo in modo esaustivo in una sola esecuzione, puoi prendere quei cicli di simulazione e usarli per ciò che la simulazione sa fare meglio. Quindi è un gioco di produttività. Un’altra cosa chiara mentre l’industria passa da un modello di globalizzazione a un modello di regionalizzazione o nazionalizzazione – e dobbiamo replicare l’ecosistema di progettazione, sviluppo e produzione del silicio, più volte in tutto il mondo – è che ci sono carenze di manodopera. previsto praticamente ovunque nel mondo. E questo non ha nulla a che fare con la complessità del design. Ha a che fare con le realtà geopolitiche e macroeconomiche del mondo. Ciò sta creando opportunità ovunque. E la realtà è che, per avere successo in quell’ambiente, abbiamo bisogno di maggiore produttività da parte del nostro personale. L'utilizzo della verifica formale o efficiente, liberando i cicli di simulazione per fare ciò che la simulazione sa fare meglio, è una parte fondamentale dello sviluppo ora e in futuro. Quindi queste due cose - l'aspetto della produttività e la risposta alle richieste di ciò che il mondo sta mettendo oggi sul silicio, e in termini di sicurezza e garanzia, fiducia e protezione - sono ragioni per cui ritengo che la verifica formale sia assolutamente necessaria per qualsiasi sviluppo."
In alcuni casi è necessario più di un tipo di strumento. Darbari sottolinea una sovrapposizione basata sui requisiti di copertura, nonché sulle capacità di diversi strumenti di diversi fornitori. "C'è ancora variazione", ha detto. “Il debug è quello più interessante. Il debug è il luogo in cui posso individuare la causa principale del guasto nel più breve tempo possibile ed è anche un'area in cui abbiamo dedicato molto tempo alla ricerca della causa principale dei problemi."
Esiste anche un'interazione tra verifica formale e simulazione al fine di ridurre i cicli di simulazione, con la verifica formale che è più costosa per il team di ingegneri.
“Non si può mai fare abbastanza simulazione, quindi la domanda è illimitata”, ha detto Safarpour. “Tutti vogliono fare simulazioni, ma non hanno abbastanza risorse di calcolo per farlo. Tuttavia, le tecnologie di simulazione e di verifica formale sono di natura abbastanza complementare, e lo vediamo in molteplici aree. Nella copertura, con la simulazione, puoi facilmente arrivare all'80%, all'85%, forse al 90%, e poi quello che succede è che arrivi rapidamente a un plateau nella curva. Poi c'è quell'altro 5%. A seconda di quali siano i criteri per l'approvazione, c'è un altro 5% circa, e c'è così tanta randomizzazione che puoi fare che non riusciamo ancora a raggiungerli. Quel 5% sembra essere il punto debole per il formale, perché è probabile che il 5% sia qualcosa che è difficile da raggiungere, come i casi limite, in cui il formale è bravo, o è un codice morto, il che significa che non importa quanto simulazione che fai non puoi colpirla. Questo ti lascia con un punto interrogativo, e poi qualche ingegnere dovrebbe intervenire per rivedere quel codice e dire: "Penso che non sia raggiungibile". Quindi è un intervento manuale. Il modo in cui lo facciamo è che la nostra simulazione e gli strumenti formali funzionano sullo stesso database e si aiutano a vicenda”.
Lo stesso scenario si verifica per le applicazioni di sicurezza funzionale. “Puoi coprire tutto il possibile per quanto riguarda la sicurezza funzionale e la tolleranza agli errori, poi si interviene in modo formale. Con la sicurezza è la stessa storia e questo approccio continua a ripetersi in ambiti diversi. Porta a termine le cose facili con la simulazione, raggiungi quel plateau e poi fai formalmente l'ultimo miglio", ha spiegato Safarpour.
Le architetture specifiche del dominio aggiungono i propri problemi unici. "A differenza degli ASIC non programmabili, i DSA sono diversi perché non è possibile prevedere la miriade di modi in cui un programmatore utilizzerà il processore", ha affermato Hardee di Cadence. “Ogni eventualità deve essere coperta, compreso quello del tutto imprevisto. Il formale è l'unico modo. I leader nella tecnologia dei processori come Arm e Intel lo sanno e investono da tempo nella verifica formale. Ogni azienda che esegue la propria implementazione RISC-V deve fare lo stesso. E la crescita dei coprocessori matematici e dei motori AI/ML sta guidando nuove tecniche formali come il controllo di equivalenza sequenziale da C/C++ a RTL”.
I limiti del formale
Come tutti gli strumenti EDA, tuttavia, anche quello formale presenta alcune limitazioni. "Formal ha la reputazione di essere qualcosa che funziona meglio su un modulo o un blocco piuttosto che su un SoC completo", ha osservato Giles di Siemens. “Il formato formale presenta sfide quando si tratta di problemi lunghi e sequenziali. Un buon esempio di ciò potrebbe essere che è difficile utilizzare il formato formale per verificare le funzioni di moltiplicazione o divisione in un'unità a virgola mobile. La migliore linea d’azione è lasciare che il formale faccia ciò che il formale sa fare meglio e lasciare che la simulazione faccia ciò che la simulazione sa fare meglio. Se prendi un progetto a virgola mobile, puoi verificare tutto, ma la funzionalità di moltiplicazione e divisione viene eseguita meglio con la simulazione, quindi sei molto più efficiente nell'uso delle funzioni di simulazione e stai verificando le cose che devono essere fatto lì. Quindi non è necessario eseguire un'unità in virgola mobile completa attraverso la simulazione. "
Come per tutti gli strumenti, è anche un'area in cui si sta lavorando molto per superare tali limiti, sia attraverso astrazioni che nuove ricerche. "Per ora, alimenta il messaggio che ci sono alcune cose che funzionano bene in termini formali e altre che funzionano bene in simulazione", ha detto Giles. “Non vedrei mai uno scenario in cui il formale elimini completamente la simulazione. Proprio come per anni, ho sempre voluto smettere di fare simulazioni a livello di gate, ma non è mai andata bene. Lo vedremo anche con il formale e la simulazione.
I metodi di verifica formale possono essere esaustivi e approfonditi, ma dovrebbero essere un requisito generale?
Anche prima dell'acquisizione da parte di Cadence nel 2014, Jasper è stato pioniere in una più ampia proliferazione attraverso l'introduzione di app formali, utilizzando il controllo dei modelli, spesso con asserzioni generate automaticamente, per risolvere problemi comuni di verifica in un modo più accessibile, richiedendo un livello molto più basso di competenze formali, Hardee ha detto.
Inoltre, “La connettività è un ottimo esempio e uno dei più facili da adottare: generare asserzioni da una mappa di connettività in un foglio di calcolo o IP-XACT modulo. Lo stesso può essere fatto con la simulazione ma è noioso. Questo metodo formale è facilmente scalabile a livello di chip poiché la maggior parte delle funzionalità del blocco sottostante può essere astratta. In alcuni casi, queste app possono scaricare i carichi di lavoro di simulazione e il valore sta nel trovare bug marginali poiché lo stimolo di input casuale generato dallo strumento è più esaustivo di quanto lo siano solitamente i testbench di simulazione. Sebbene queste app siano utili per consentire agli ingegneri di verifica di iniziare con la verifica formale, magari fungendo da "gateway", sono la punta dell'iceberg in termini di utilizzo. Attualmente, stiamo scoprendo che la maggior parte dell'iceberg, inclusa la maggior parte dell'utilizzo della regressione della verifica formale, sta nella verifica dei progetti DSA basati su processore con verifica formale delle proprietà e controllo sequenziale di equivalenza, sia da RTL a RTL che da C/ Da C++ a RTL", ha aggiunto. “Per quanto mi piacerebbe impostare la verifica formale come requisito a tutti i livelli, ci sono ancora esempi in cui è necessaria e altri esempi in cui la simulazione svolge ancora un lavoro migliore. Ma stiamo vedendo i tipi di progettazione in cui è necessaria la verifica formale crescere a un ritmo molto più rapido”.
Per quanto riguarda l’evoluzione di tutto ciò, l’ecosistema EDA sembra essere sul punto di identificare come utilizzare la verifica formale oltre le applicazioni tradizionali.
"Esiste una serie di applicazioni abbastanza comuni per qualsiasi fornitore che vende applicazioni formali in bundle per usi finali specifici", ha concluso Giles. “Le sfide e le opportunità sia dal punto di vista tecnico che aziendale includono l'utilizzo di metodi formali per eseguire la verifica che prima non era possibile, come il rilevamento del cavallo di Troia nell'hardware. Soprattutto in questo mondo di hardware open source, è molto bello poter dimostrare che in quel progetto non c'è nulla che non dovrebbe esserci. Di solito non si tratta di un problema di verifica risolto dalla simulazione, perché la simulazione generalmente presuppone che tu sappia cosa stai cercando e stai solo cercando di assicurarti che lo faccia. Con il rilevamento dei cavalli di Troia, ora stai cercando cose che sono effettivamente al di fuori dello spazio degli stati noto. Questo è qualcosa che ha un’enorme quantità di promesse”.
Lettura correlata
Verifica microarchitettonica RISC-V
Verificare un processore è molto più che assicurarsi che le istruzioni funzionino, ma il settore si sta basando su una base di conoscenza limitata e su pochi strumenti dedicati.
Nuovi concetti richiesti per la verifica della sicurezza
Perché è così difficile garantire che l'hardware funzioni correttamente e sia in grado di rilevare le vulnerabilità che potrebbero manifestarsi sul campo.
- Distribuzione di contenuti basati su SEO e PR. Ricevi amplificazione oggi.
- PlatoData.Network Generativo verticale Ai. Potenzia te stesso. Accedi qui.
- PlatoAiStream. Intelligenza Web3. Conoscenza amplificata. Accedi qui.
- PlatoneESG. Carbonio, Tecnologia pulita, Energia, Ambiente, Solare, Gestione dei rifiuti. Accedi qui.
- Platone Salute. Intelligence sulle biotecnologie e sulle sperimentazioni cliniche. Accedi qui.
- Fonte: https://semiengineering.com/formal-verifications-usefulness-widens/
- :ha
- :È
- :non
- :Dove
- $ SU
- 2014
- a
- capace
- WRI
- Assoluta
- assolutamente
- astratto
- acceleratori
- accettabile
- accessibile
- Secondo
- Il mio account
- Raggiungere
- acquisizione
- operanti in
- recitazione
- Action
- aggiungere
- aggiunto
- adottare
- Adozione
- Avanzate
- fa
- AI / ML
- Tutti
- lungo
- anche
- sempre
- am
- quantità
- an
- .
- ed
- Un altro
- rispondere
- in qualsiasi
- più
- nulla
- appare
- Applicazioni
- applicazioni
- approccio
- applicazioni
- architetture
- SONO
- RISERVATA
- aree
- ARM
- in giro
- AS
- Asics
- aspetto
- aspetti
- montaggio
- valutare
- assunto
- garanzia
- At
- bar
- base
- basato
- Battaglia
- BE
- perché
- diventare
- diventando
- stato
- prima
- essendo
- campane
- beneficiando
- MIGLIORE
- Meglio
- fra
- Al di là di
- Big
- Po
- Nero
- cintura nera
- Bloccare
- tavola
- entrambi
- Illimitato
- più ampia
- Rotto
- Rotto
- Insetto
- bug
- Costruzione
- in bundle
- affari
- ma
- by
- Cadenza
- Materiale
- Può ottenere
- funzionalità
- capace
- casi
- ristorazione
- Causare
- ceo
- certo
- Certificazione
- certificare
- Challenge
- sfide
- impegnativo
- probabilità
- il cambiamento
- dai un'occhiata
- verifica
- patata fritta
- Chips
- chris
- pulire campo
- Orologio
- codice
- viene
- confortevole
- arrivo
- Uncommon
- comunità
- Aziende
- azienda
- complementare
- completamente
- complesso
- complessità
- componenti
- Calcolare
- concetti
- Problemi della Pelle
- concluso
- Connettività
- Prendere in considerazione
- considerato
- costante
- contesto
- contrasto
- di controllo
- Angolo
- correggere
- correttamente
- Corruzione
- costoso
- potuto
- corso
- coprire
- copertura
- coperto
- creato
- Creazione
- criteri
- critico
- Attualmente
- curva
- Cuspide
- Clienti
- attacchi informatici
- cicli
- dati
- Banca Dati
- Giorni
- morto
- decennio
- dedicato
- ritardi
- consegnato
- consegna
- Richiesta
- esigente
- richieste
- Dipendente
- schierato
- profondità
- Design
- Designer
- designer e gli illustratori veneziani,
- progettazione
- disegni
- Nonostante
- rivelazione
- sviluppatori
- Mercato
- dispositivo
- dispositivi
- diverso
- diversamente
- difficile
- digitale
- Direttore
- dividere
- do
- effettua
- non
- fare
- domini
- fatto
- Dont
- Porta
- dubbio
- spinto
- autista
- guida
- ogni
- In precedenza
- Presto
- più semplice
- facilmente
- facile
- ecosistema
- educativo
- Efficace
- in maniera efficace
- effetti
- efficiente
- sforzo
- o
- elimina
- abbracciato
- emulazione
- fine
- ingegnere
- Ingegneria
- Ingegneri
- Motori
- miglioramenti
- abbastanza
- garantire
- Intero
- Ambiente
- equivalenza
- particolarmente
- essential
- Etere (ETH)
- Anche
- EVER
- sempre crescente
- Ogni
- tutti
- tutti
- di tutti
- qualunque cosa
- ovunque
- si evolve
- esempio
- Esempi
- globale
- Espandere
- competenza
- esperti
- ha spiegato
- esplosione
- in modo esponenziale
- tessuto
- fattore
- Fallimento
- abbastanza
- familiare
- più veloce
- Caratteristiche
- feedback
- sentire
- pochi
- meno
- campo
- Compila il
- ricerca
- Nome
- cinque
- galleggiante
- flusso
- concentrato
- Nel
- modulo
- formale
- da
- pieno
- function
- funzionale
- funzionalità
- funzioni
- futuro
- Guadagno
- lacune
- Generale
- generalmente
- generare
- genera
- geopolitica
- ottenere
- si
- giganti
- Dare
- globalizzazione
- Go
- andando
- buono
- ha ottenuto
- GPU
- GPU
- grande
- Gruppo
- Crescita
- cresce
- Crescita
- accade
- Hard
- Hardware
- Avere
- avendo
- he
- capo
- Aiuto
- Esitante
- gerarchica
- Alta
- Colpire
- cavallo
- Come
- Tuttavia
- HTTPS
- Enorme
- umano
- i
- identificare
- identificazione
- if
- Impact
- implementazione
- importante
- in
- includere
- Compreso
- Aumento
- industria
- ingresso
- istruzioni
- integrazione
- Intel
- intento
- interazioni
- interessante
- Interfaccia
- intervento
- ai miglioramenti
- Introduzione
- intuitivo
- investito
- investimento
- comporta
- IP
- problema
- sicurezza
- IT
- elementi
- SUO
- Lavoro
- jpg
- ad appena
- solo uno
- conservazione
- Le
- tipi
- Sapere
- conoscenze
- conosciuto
- lavoro
- grandi
- superiore, se assunto singolarmente.
- maggiore
- Cognome
- ultimo miglio
- capi
- Leads
- imparato
- lasciare
- Livello
- Vita
- cicli vitali
- piace
- limiti
- Limitato
- linea
- lineare
- piccolo
- Lives
- Lunghi
- a lungo
- più a lungo
- Guarda
- cerca
- lotto
- Basso
- inferiore
- abbassato
- corrente principale
- maggiore
- Maggioranza
- make
- Fare
- gestione
- Manuale
- molti
- carta geografica
- marchio
- Rappresentanza
- matematica
- Importanza
- Maggio..
- può essere
- significato
- messaggio
- metodo
- Metodologia
- metodi
- miglio
- Mobile
- modello
- modulo
- Scopri di più
- più efficiente
- maggior parte
- soprattutto
- si muove
- molti
- multiplo
- devono obbligatoriamente:
- my
- miriade
- Nome
- Natura
- necessariamente
- necessaria
- Bisogno
- esigenze
- mai
- New
- più nuovo
- GENERAZIONE
- bello
- no
- non esperto
- noto
- Niente
- adesso
- numero
- of
- MENO
- di frequente
- on
- ONE
- esclusivamente
- aprire
- open source
- ha aperto
- Opportunità
- ottimizzazione
- ottimizzati
- or
- minimo
- Altro
- nostro
- su
- ancora
- Superare
- proprio
- pacchetto
- parte
- particolarmente
- passato
- Persone
- per
- eseguire
- performance
- prospettive
- phd
- fenomenale
- fenomeno
- pezzo
- pioniere
- Partner
- piano
- pianificazione
- Platone
- Platone Data Intelligence
- PlatoneDati
- Giocare
- gioca
- punto
- punti
- possibile
- energia
- predire
- previsto
- presenza
- piuttosto
- Problema
- problemi
- processi
- Processore
- processori
- Prodotto
- gestione del prodotto
- Produzione
- della produttività
- Programmatore
- progetto
- prominenza
- prominente
- PROMETTIAMO
- propriamente
- proprietà
- proprietà
- protocolli
- Dimostra
- fornitori
- Mettendo
- query
- domanda
- Domande
- rapidamente
- abbastanza
- R&D
- casuale
- tasso
- di rose
- valore reale
- realtà
- Realtà
- realizzato
- ragione
- ragionevole
- motivi
- riconoscere
- raccomandato
- ridurre
- si riferisce
- regressione
- problemi di
- rimanere
- resti
- reputazione
- richieste
- necessario
- requisito
- Requisiti
- richiede
- riparazioni
- recensioni
- Rivoluzione
- radice
- Correre
- s
- sicura
- Sicurezza
- Suddetto
- stesso
- dire
- detto
- Scalabilità
- Scala
- scalato
- bilancia
- scenario
- schema
- Scienze
- Sean
- Secondo
- sicuro
- problemi di
- vedere
- vedendo
- visto
- Vendita
- semiconduttore
- serial
- set
- spostamento
- carenza
- la carenza di
- più breve
- dovrebbero
- mostrare attraverso le sue creazioni
- lato
- significativa
- significativamente
- Silicio
- Allo stesso modo
- semplicemente
- simulazione
- da
- SIX
- abilità
- leggermente diversa
- piccole
- So
- soluzione
- Soluzioni
- RISOLVERE
- risolto
- alcuni
- Qualcuno
- qualcosa
- a volte
- Fonte
- lo spazio
- specifico
- esaurito
- Spot
- Diffondere
- Foglio di calcolo
- STAFF
- coraggiosi
- iniziato
- Regione / Stato
- step
- Passi
- Ancora
- stimolo
- Fermare
- Storia
- passi avanti
- avere successo
- il successo
- tale
- suite
- suppone
- sicuro
- dolce
- sistema
- SISTEMI DI TRATTAMENTO
- Fai
- Talento
- Parlare
- parlando
- team
- le squadre
- Consulenza
- tecniche
- Tecnologie
- Tecnologia
- noioso
- dire
- tende
- condizioni
- test
- di
- che
- Il
- Il futuro
- L’ORIGINE
- il mondo
- loro
- Li
- poi
- Là.
- Strumenti Bowman per analizzare le seguenti finiture:
- di
- cosa
- cose
- think
- questo
- a fondo
- quelli
- pensiero
- Attraverso
- per tutto
- tempo
- volte
- tipo
- a
- oggi
- tolleranza
- pure
- strumenti
- top
- verso
- tracciare
- Tracciato
- tradizionale
- enorme
- Trojan
- cavallo di Troia
- Affidati ad
- affidabili sul mercato
- cerca
- TURNO
- seconda
- Digitare
- Tipi di
- tipicamente
- per
- sottostante
- capire
- In corso
- imprevisto
- unico
- unità
- salvo che
- us
- Impiego
- uso
- utilizzato
- utile
- Utente
- utenti
- usa
- utilizzando
- generalmente
- utilizzare
- utilizzati
- APPREZZIAMO
- Variante
- varietà
- variare
- variando
- Fisso
- venditore
- fornitori
- Convalida
- verificare
- verifica
- versato
- contro
- verticale
- molto
- vice
- volume
- vs
- vulnerabilità
- passeggiate
- volere
- ricercato
- vuole
- Prima
- Modo..
- modi
- we
- WELL
- sono stati
- Che
- qualunque
- quando
- se
- quale
- while
- OMS
- perché
- più ampia
- molto diffuso
- volere
- con
- entro
- senza
- Lavora
- lavori
- mondo
- preoccuparsi
- sarebbe
- scrittura
- anni
- Tu
- Trasferimento da aeroporto a Sharm
- zefiro