La vérification formelle est déployée plus souvent et à plus d’endroits dans la conception des puces à mesure que le nombre d’interactions possibles augmente et que ces puces sont utilisées dans des applications plus critiques.
Dans le passé, une grande partie vérification formelle se concentrait sur le bon fonctionnement d’une puce. Mais à mesure que les conceptions deviennent plus complexes et hétérogènes et que les cas d’utilisation évoluent, la vérification formelle est utilisée dans tous les domaines, depuis l’évaluation de l’impact du partitionnement jusqu’à la recherche de la source de la corruption silencieuse des données. Il est même utilisé pour identifier les vecteurs possibles de cyberattaques et pour retracer la manière dont l’énergie est fournie et utilisée dans un appareil.
"La conception à faible consommation existe depuis très longtemps, mais c'était une approche principalement adoptée pour les puces mobiles", selon Sean Safarpour, directeur du groupe R&D en Synopsys ' Groupe EDA. «Maintenant, c'est généralisé. De même, nous constatons de plus en plus d’utilisation de l’IA/ML dans les accélérateurs, et la quantité de travail que vous pouvez effectuer par puissance est un facteur majeur. Alors maintenant, pour tout le monde, quoi qu'ils fassent, la conception à faible consommation est une préoccupation majeure. Ce que cela a à voir avec la vérification formelle, c’est qu’il existe des moyens spécifiques d’utiliser la vérification formelle pour résoudre certains de ces problèmes.
Il ne s'agit plus seulement horloge gating l'optimisation, qui implique de réexécuter des régressions de simulation pour s'assurer que tout est correct. Aujourd’hui, l’énergie doit être considérée dans le contexte des autres composants d’un système, et parfois entre systèmes. Sans formalité, cela prendrait beaucoup plus de temps, si cela pouvait être fait. Il doit également être examiné dans le contexte de différents cas d’utilisation et charges de travail, où l’énergie doit être tracée depuis la livraison jusqu’à l’utilisation.
"Si vous effectuez un clock gating, nous pouvons faire l'analyse avec et sans clock gating et vous dire définitivement si la fonctionnalité est la même, ou si vous pouvez avoir un bug et quelque chose s'est cassé en cours de route", a déclaré Safarpour. « En fonction des demandes des utilisateurs, il est désormais également possible de prendre en compte l'intention de puissance via un fichier UPF. Il y a cinq ou six ans, nous n'avions pas de telles demandes. Maintenant, ils sont si importants que les gens disent : « Je fais la vérification des propriétés ». J'ai mes affirmations. Mais maintenant je veux vérifier ces affirmations en présence de mon UPF. Je vérifie la connectivité au niveau du SoC, ce qui est une autre application spécifique. Mais cela est incomplet à moins de prendre en compte l’UPF complet de la conception. Formal est capable d'entrer dans ces domaines très spécifiques afin que les utilisateurs puissent dire : « Attendez une seconde, nous n'avons pas besoin de refaire l'intégralité de notre suite de régression. Nous pouvons prendre ces problèmes spécifiques et les résoudre de manière exhaustive. C'est la vraie valeur du formel. C'est de nature exhaustive, donc lorsque vous examinez l'ensemble de votre plan de test et que vous examinez certains de ces aspects, qu'il s'agisse de la faible consommation ou de la sécurité, nous pouvons aborder tous ces aspects. Vous aurez des éléments de campagne spécifiques pour ceux-ci dans votre plan de test. Certains d’entre eux peuvent être résolus de manière exhaustive grâce à une vérification formelle, ce qui est l’une des raisons pour lesquelles cela prend de l’importance ces jours-ci, à mesure que l’espace des problèmes s’agrandit.
En termes simples, les écarts de couverture qui étaient acceptables dans le passé lorsque les fonctionnalités étaient moins nombreuses et que les cycles de vie étaient plus courts sont aujourd'hui inacceptables dans de nombreuses applications.
"Tout le monde parle toujours d'une complexité toujours croissante, et beaucoup de gens utiliseront à juste titre cela comme une raison pour faire les choses différemment", a déclaré Chris Giles, responsable de la gestion des produits pour les solutions statiques et formelles chez Siemens EDA. « Lorsque nous examinons le succès du marché et le processus de développement général, nous constatons que malgré une augmentation des investissements dans la vérification sur plusieurs décennies, celle-ci ne suit pas l'augmentation de la complexité. Ainsi, même si nous reconnaissons tous qu’il y a une complexité croissante, la façon dont nous y avons répondu en tant qu’industrie n’est pas aussi efficace qu’elle devrait l’être. Le changement observé ces dernières années concerne ce que le monde exige du silicium, et c’est là que la vérification formelle devient une exigence absolue. Ce que le monde exige aujourd’hui du silicium, c’est une approche de vérification différente. Ce que nous exigeons n’est plus une question de complexité. C'est une question de sécurité. C'est une question de sécurité. C'est une question de confiance. C'est une question d'assurance. Et toutes ces choses sont très difficiles à prouver avec une méthodologie de simulation linéaire.
Cela a engendré une explosion de la demande de vérification formelle. "C'est là que le formel excelle", a déclaré Giles. « En raison de sa nature exhaustive, la vérification formelle peut prouver de manière concluante qu'une conception est sécurisée, sûre ou digne de confiance. Beaucoup de travail est effectué dans l'industrie pour certifier ces propriétés, il est donc essentiel de disposer d'un flux qui génère cette certification. C’est là que le formel est absolument essentiel. Si vous regardez le secteur de la propriété intellectuelle, les sociétés de propriété intellectuelle ne savent pas nécessairement dans quel produit final leur propriété intellectuelle va aboutir, elles doivent donc se préparer à ce genre de questions. Comment puis-je savoir qu'il s'agit d'une conception sécurisée ? Comment puis-je savoir s'il s'agit d'une conception digne de confiance ? Comment puis-je savoir s'il est sécuritaire de mettre des vies humaines sous son contrôle ? Ce sont des choses dont même les équipes IP doivent se préoccuper aujourd’hui.
Pete Hardee, directeur de la gestion des produits au sein du groupe Système et vérification chez Cadence, a déclaré avoir constaté une croissance phénoménale de l'utilisation de la vérification formelle au cours de la dernière décennie. « Il ne fait aucun doute qu'il a « franchi le gouffre » et est désormais largement utilisé par le grand public. Il s'agit d'un outil indispensable dans l'arsenal de vérification de la grande majorité des plus grandes entreprises de semi-conducteurs.
La complexité croissante, tant pour les SoC à nœuds avancés que pour l'assemblage hétérogène dans un package, nécessite davantage de vérifications. "Le besoin de vérification a tendance à croître de façon exponentielle avec la complexité de la conception", a déclaré Hardee. « Les principaux effets ont été doubles. Premièrement, avec la vérification hiérarchique basée sur IP, la stratégie diviser pour régner a été un facteur majeur de réussite de la vérification : vérifiez minutieusement le bloc ou le sous-système IP, puis vérifiez l'intégration correcte et rien n'a été cassé au niveau supérieur. Pour la vérification basée sur la propriété intellectuelle, la vérification formelle a évolué pour obtenir une approbation formelle pour de nombreux types de propriété intellectuelle, mais pas pour tous. L’espace d’état peut encore poser problème, malgré des progrès majeurs en matière d’évolutivité formelle. Par exemple, les protocoles série complexes restent difficiles à vérifier formellement : la profondeur séquentielle est souvent trop élevée. Certaines techniques formelles peuvent s'adapter au niveau de la puce, mais seulement de manière limitée : l'approbation formelle complète des grands SoC numériques reste trop difficile.
Les conceptions basées sur des processeurs ont toujours été difficiles à vérifier, mais elles sont particulièrement difficiles à vérifier lorsqu'elles utilisent des architectures spécifiques à un domaine. « Il y a une augmentation considérable des conceptions massivement programmables – des architectures multiprocesseurs utilisant de nombreuses matrices homogènes ou hétérogènes de cœurs de processeur en fonction de l'application verticale », a-t-il noté. «Pour les processeurs d'applications, la bataille Arm contre x86 ISA a maintenant été déclenchée par RISC-V. Les GPU existent depuis longtemps, mais de nombreux autres types de coprocesseurs et d'accélérateurs mathématiques sont monnaie courante, en particulier maintenant sous l'impulsion de la révolution IA/ML. Chacun conçoit sa propre variante d'applications et de cœurs mathématiques optimisés pour ses besoins en matière de puissance, de performances et de zone. Cadence fait référence à ce phénomène sous le nom d'architectures spécifiques à un domaine (DSA).
Les préoccupations concernant la fiabilité s’étendent également aux appareils non critiques. « Chaque conception peut avoir une solution de vérification formelle, y compris les conceptions à prédominance arithmétique », a déclaré Ashish Darbari, PDG de Axiomiser. « Les conceptions à dominante arithmétique bénéficient de solutions avancées proposées par les plus grands fournisseurs d'outils de vérification formelle, qui proposent tous des solutions adaptées à la vérification arithmétique, en particulier du côté des virgules flottantes. Dans l'ensemble, cela ne représente pas nécessairement un volume de travail important, mais c'est suffisamment important pour que nous ne détournions pas les yeux.
Cela a ouvert la porte à une utilisation formelle beaucoup plus tôt dans le flux, où il peut être utilisé pour éviter les retards liés à la conception, et dans une partie plus large de la communauté des ingénieurs. Mais cela a également créé une pénurie de talents, car tout le monde n’est pas doué en écriture. affirmations à travers une variété d’applications différentes.
« Toute personne ayant un nom raisonnable dans le secteur du silicium, qu'il s'agisse d'une entreprise de GPU, de processeurs ou d'une entreprise de tissus, utilise le formel », a déclaré Darbari. «Tous les géants qui construisent du matériel utilisent le formel. Et certains d’entre eux veulent que beaucoup de choses formelles soient accomplies, mais ils n’ont tout simplement pas assez de talent.»
Les taux d’adoption varient également. "Certains sont très familiers et à l'aise avec la vérification formelle, comprennent ce qu'elle peut faire et la contestent", a noté Giles de Siemens. « D'autres sont un peu plus hésitants, car cela peut parfois ressembler à un projet scientifique, ou un effort pédagogique s'impose. Lorsqu'une personne qui n'est pas familière avec le formel entend pour la première fois que la vérification formelle est recommandée, sa première pensée est : « Maintenant, je dois avoir un doctorat dans mon équipe. Nous devons faire avancer notre projet. Comment vais-je pouvoir faire ça ? Et cela conduit à différents degrés d’adoption.
Dans certaines entreprises, le formel n’est devenu qu’une des nombreuses compétences requises. Il s’agit d’un changement important. Au début de la vérification formelle, on supposait qu’un petit groupe d’ingénieurs maîtriserait l’utilisation des outils.
« Nous avons réalisé que les concepteurs, les ingénieurs de vérification et les ingénieurs de tous horizons peuvent utiliser cette technologie », a déclaré Safarpour de Synopsys. « Et c'est aux développeurs de l'outil EDA de le rendre plus intuitif pour cet utilisateur. Nous avons des personnalités différentes, des chapeaux différents. Désormais, si vous êtes concepteur, vous aurez peut-être besoin d'une interface légèrement différente. Vous l'abordez sous un angle différent de celui de votre ceinture noire formelle, et les cloches et les sifflets que vous recherchez sont assez différents. En tant que développeurs d'outils, nous avons également appris de nos utilisateurs qui peuvent tirer le meilleur parti des outils. De ce point de vue également, la barre a été abaissée. Aujourd'hui, lorsque je reçois des questions ou que je parle à des clients, il y a autant de non-experts qui font des demandes d'amélioration ou nous font part de leurs commentaires sur l'outil que d'experts formels traditionnels.
Émulation vs formelle vs simulation
D'autres piliers d'un flux de vérification incluent la simulation et l'émulation. Mais pour certaines conceptions, tous les outils de vérification peuvent ne pas être nécessaires.
"Certaines choses conviennent bien à la vérification formelle mais ne conviennent pas aussi bien à la simulation, et vice versa", a déclaré Giles de Siemens. « La vérification de la connectivité en est un bon exemple. Passer par le processus de simulation pour que toutes les interconnexions, petit à petit, soient correctes est un processus en série assez long. Si vous pouvez le faire de manière exhaustive en une seule fois, vous pouvez alors prendre ces cycles de simulation et les utiliser pour ce que la simulation fait le mieux. C'est donc un jeu de productivité. Une autre chose qui apparaît clairement à mesure que l’industrie passe d’un modèle de mondialisation à un modèle de régionalisation ou de nationalisation – et que nous devons reproduire l’écosystème de conception, de développement et de production de silicium à plusieurs reprises dans le monde – est qu’il existe une pénurie de main-d’œuvre. prédit un peu partout dans le monde. Et cela n’a rien à voir avec la complexité de la conception. Cela est lié aux réalités géopolitiques et macro-économiques du monde. Cela crée des opportunités partout. Et la réalité est que pour réussir dans cet environnement, nous avons besoin d’une plus grande productivité de la part de nos collaborateurs. Utiliser une vérification formelle ou efficace, libérer les cycles de simulation pour faire ce que la simulation fait le mieux, est un élément essentiel du développement actuel et futur. Donc ces deux choses – l’aspect productivité ainsi que la réponse aux exigences de ce que le monde impose aujourd’hui au silicium, et en termes de sûreté et d’assurance, de confiance et de sécurité – sont les raisons pour lesquelles je considère qu’une vérification formelle est absolument requise pour tout développement."
Dans certains cas, plusieurs types d’outils sont nécessaires. Darbari souligne un chevauchement basé sur les exigences de couverture, ainsi que sur les capacités de différents outils de différents fournisseurs. "Il y a encore des variations", a-t-il déclaré. « Le débogage est le plus intéressant. Le débogage est l'endroit où je peux identifier la cause première d'un échec dans les plus brefs délais, et c'est également un domaine dans lequel nous avons passé beaucoup de temps à trouver la cause des problèmes.
Il existe également une interaction entre vérification formelle et simulation afin de réduire les cycles de simulation, la vérification formelle étant plus coûteuse pour l'équipe d'ingénierie.
« On ne peut jamais faire assez de simulation, la demande est donc illimitée », a déclaré Safarpour. « Tout le monde veut faire de la simulation, mais ils ne disposent pas de suffisamment de ressources informatiques pour cela. Cependant, les technologies de simulation et de vérification formelle sont de nature assez complémentaire, et nous le constatons dans de nombreux domaines. En termes de couverture, avec la simulation, vous pouvez très facilement atteindre une couverture de 80 %, 85 %, peut-être 90 %, et ce qui se passe ensuite, c'est que vous atteignez rapidement un plateau dans la courbe. Ensuite, il y a les 5 % restants. Selon les critères d'approbation, il y a environ 5 % supplémentaires, et il y a tellement de randomisation possible que nous ne pouvons toujours pas les atteindre. Ces 5 % se trouvent être le point idéal pour le formel, car il y a de fortes chances que 5 % correspondent soit à des choses difficiles à atteindre, comme des cas particuliers, pour lesquels le formel est bon, soit à du code mort, ce qui signifie que peu importe combien simulation que vous faites, vous ne pouvez pas y toucher. Cela vous laisse avec un point d'interrogation, et un ingénieur devra alors intervenir pour examiner ce code et dire : « Je pense que ce n'est pas accessible ». Il s'agit donc d'une intervention manuelle. La façon dont nous procédons est que nos outils de simulation et formels fonctionnent à partir de la même base de données et s’entraident.
Le même scénario se joue pour les applications de sécurité fonctionnelle. « Vous pouvez couvrir autant que possible la sécurité fonctionnelle et la tolérance aux pannes, puis des mesures formelles sont prises. C'est la même histoire avec la sécurité, et cette approche ne cesse de se répéter dans différents domaines. Réalisez les tâches faciles avec la simulation, atteignez ce plateau, puis demandez au formel de parcourir le dernier kilomètre », a expliqué Safarpour.
Les architectures spécifiques à un domaine ajoutent leurs propres problèmes uniques. "Contrairement aux ASIC non programmables, les DSA sont différents car vous ne pouvez pas prédire la myriade de façons dont un programmeur utilisera le processeur", a déclaré Hardee de Cadence. « Chaque éventualité doit être couverte, y compris l'imprévu. Le formel est le seul moyen. Les leaders de la technologie des processeurs comme Arm et Intel le savent et investissent depuis longtemps dans la vérification formelle. Chaque entreprise effectuant sa propre implémentation de RISC-V doit faire de même. Et la croissance des coprocesseurs mathématiques et des moteurs AI/ML entraîne de nouvelles techniques formelles telles que le C/C++ vers la vérification d’équivalence séquentielle RTL.
Les limites du formel
Cependant, comme tous les outils EDA, le formel présente certaines limites. "Formal a la réputation d'être quelque chose qui fonctionne mieux sur un module ou un bloc que sur un SoC complet", a noté Giles de Siemens. « Le formel présente des défis lorsqu'il s'agit de problèmes longs et séquentiels. Un bon exemple de ceci serait qu'il est difficile d'utiliser le formel pour vérifier des fonctions de multiplication ou de division dans une unité à virgule flottante. La meilleure solution consiste à laisser le formel faire ce que le formel fait le mieux, et à laisser la simulation faire ce que la simulation fait le mieux. Si vous adoptez une conception à virgule flottante, vous pouvez tout vérifier, mais la fonctionnalité de multiplication et de division est mieux réalisée avec la simulation, vous êtes donc beaucoup plus efficace dans votre utilisation des fonctions de simulation et vous vérifiez les éléments qui doivent être fait là. Vous n’avez alors pas besoin de créer une unité à virgule flottante complète via la simulation.
Comme pour tous les outils, c'est également un domaine dans lequel de nombreux travaux sont en cours pour surmonter ces limitations, à la fois par le biais d'abstractions et de nouvelles recherches. "Pour l'instant, cela alimente le message selon lequel il y a certaines choses que le formel fait bien et d'autres que la simulation fait bien", a déclaré Giles. « Je n’imaginerais jamais un scénario dans lequel le formel éliminerait complètement la simulation. Comme pendant des années, j’ai toujours voulu arrêter de faire de la simulation au niveau des portes, mais cela n’a jamais abouti. Nous le verrons également avec le formel et la simulation.
Les méthodes de vérification formelle peuvent être exhaustives et approfondies, mais devraient-elles constituer une exigence générale ?
Même avant l'acquisition par Cadence en 2014, Jasper a été le pionnier d'une prolifération plus large grâce à l'introduction d'applications formelles - en utilisant la vérification de modèles, souvent avec des assertions générées automatiquement, pour résoudre les problèmes de vérification courants d'une manière plus accessible, nécessitant un niveau d'expertise formelle bien inférieur. dit Hardee.
De plus, « la connectivité est un excellent exemple et l'un des plus faciles à adopter : générer des assertions à partir d'une carte de connectivité dans une feuille de calcul ou IP-XACT formulaire. La même chose peut être faite avec la simulation mais c'est fastidieux. Cette méthode formelle s'adapte facilement au niveau de la puce puisque la plupart des fonctionnalités de bloc sous-jacentes peuvent être abstraites. Dans certains cas, ces applications peuvent décharger les charges de travail de simulation, et l'intérêt réside dans la recherche de bogues ponctuels, car le stimulus d'entrée aléatoire généré par l'outil est plus exhaustif que ne le sont généralement les bancs d'essai de simulation. Bien que ces applications soient utiles pour permettre aux ingénieurs de vérification de démarrer de manière formelle, agissant peut-être comme une « passerelle », elles ne représentent que la pointe de l'iceberg en termes d'utilisation. Actuellement, nous constatons que la majeure partie de l'iceberg, y compris la majorité de l'utilisation de la vérification formelle par régression, consiste à vérifier les conceptions DSA basées sur un processeur avec une vérification formelle des propriétés et une vérification d'équivalence séquentielle, à la fois RTL-to-RTL et C/. C++ vers RTL », a-t-il ajouté. « Même si j'aimerais faire de la vérification formelle une exigence à tous les niveaux, il existe encore des exemples où elle est nécessaire, et d'autres exemples où la simulation fait encore un meilleur travail. Mais nous constatons que les types de conception où une vérification formelle est nécessaire se développent à un rythme beaucoup plus rapide.
Quant à l’évolution de tout cela, l’écosystème EDA semble être sur le point d’identifier comment la vérification formelle peut être utilisée au-delà des applications traditionnelles.
"Il existe un ensemble d'applications assez courantes chez tout fournisseur vendant des applications formelles groupées pour des utilisations finales spécifiques", a conclu Giles. « Les défis et les opportunités, tant du point de vue technique que commercial, incluent l'utilisation de méthodes formelles permettant d'effectuer des vérifications qui n'étaient pas possibles auparavant, comme la détection des chevaux de Troie dans le matériel. Surtout dans ce monde de matériel open source, c'est très agréable de pouvoir prouver qu'il n'y a rien dans cette conception qui n'est pas censé y figurer. Ce n'est généralement pas un problème de vérification qui est résolu par la simulation, car la simulation suppose généralement que vous savez ce que vous recherchez, et vous essayez simplement de vous assurer qu'elle le fait. Avec la détection des chevaux de Troie, vous recherchez désormais des éléments qui se trouvent effectivement en dehors de l'espace d'état connu. C’est quelque chose qui est extrêmement prometteur.
Lecture connexe
Vérification micro-architecturale RISC-V
Vérifier un processeur signifie bien plus que s’assurer que les instructions fonctionnent, mais l’industrie s’appuie sur une base de connaissances limitée et peu d’outils dédiés.
Nouveaux concepts requis pour la vérification de la sécurité
Pourquoi est-il si difficile de garantir que le matériel fonctionne correctement et soit capable de détecter les vulnérabilités qui peuvent apparaître sur le terrain.
- Contenu propulsé par le référencement et distribution de relations publiques. Soyez amplifié aujourd'hui.
- PlatoData.Network Ai générative verticale. Autonomisez-vous. Accéder ici.
- PlatoAiStream. Intelligence Web3. Connaissance Amplifiée. Accéder ici.
- PlatonESG. Carbone, Technologie propre, Énergie, Environnement, Solaire, La gestion des déchets. Accéder ici.
- PlatoHealth. Veille biotechnologique et essais cliniques. Accéder ici.
- La source: https://semiengineering.com/formal-verifications-usefulness-widens/
- :possède
- :est
- :ne pas
- :où
- $UP
- 2014
- a
- Capable
- A Propos
- Absolute
- absolument
- distrait
- accélérateurs
- acceptable
- accessible
- Selon
- Compte
- atteindre
- acquisition
- à travers
- intérim
- Action
- ajouter
- ajoutée
- adopter
- Adoption
- Avancée
- depuis
- AI / ML
- Tous
- le long de
- aussi
- toujours
- am
- montant
- an
- selon une analyse de l’Université de Princeton
- ainsi que
- Une autre
- répondre
- tous
- plus
- quoi que ce soit d'artificiel
- apparaît
- Application
- applications
- une approche
- applications
- architectures
- SONT
- Réservé
- domaines
- BRAS
- autour
- AS
- Asics
- d'aspect
- aspects
- Assemblée
- Évaluation
- assumé
- assurance
- At
- barre
- base
- basé
- Bataille
- BE
- car
- devenez
- devenir
- était
- before
- va
- cloches
- bénéficier
- LES MEILLEURS
- Améliorée
- jusqu'à XNUMX fois
- Au-delà
- Big
- Bit
- Noir
- ceinture noire
- Block
- planche
- tous les deux
- Illimité
- plus large
- Cassé
- Cassé
- Punaise
- bogues
- Développement
- fourni
- la performance des entreprises
- mais
- by
- Cadence
- CAN
- Peut obtenir
- capacités
- capable
- cas
- VIP gastronomie à bord,
- Causes
- CEO
- certaines
- Certifications
- certifier
- challenge
- globaux
- difficile
- chances
- Change
- vérifier
- vérification
- puce
- chips
- Chris
- clair
- horloge
- code
- vient
- confortable
- Venir
- Commun
- Communautés
- Sociétés
- Société
- complémentaire
- complètement
- complexe
- complexité
- composants électriques
- calcul
- concepts
- PROBLÈMES DE PEAU
- conclu
- Connectivité
- Considérer
- considéré
- constant
- contexte
- contraste
- des bactéries
- Coin
- correct
- correctement
- la corruption
- cher
- pourriez
- cours
- couverture
- couverture
- couvert
- créée
- La création
- critères
- critique
- Lecture
- courbe
- Cuspide
- Clients
- cyber-attaques
- cycles
- données
- Base de données
- jours
- parfaite
- décennie
- dévoué
- retards
- livré
- page de livraison.
- Demande
- exigeant
- demandes
- Selon
- déployé
- profondeur
- Conception
- Création de Design
- designers
- conception
- Avec nos Bagues Halo
- Malgré
- Détection
- mobiles
- Développement
- dispositif
- Compatibles
- différent
- différemment
- difficile
- numérique
- Directeur
- diviser
- do
- Ne fait pas
- faire
- domaines
- fait
- Ne pas
- Porte
- doute
- entraîné
- driver
- conduite
- chacun
- Plus tôt
- "Early Bird"
- plus facile
- même
- Easy
- risque numérique
- pédagogique
- Efficace
- de manière efficace
- les effets
- efficace
- effort
- non plus
- élimine
- embrassé
- émulation
- fin
- ingénieur
- ENGINEERING
- Les ingénieurs
- Moteurs
- améliorations
- assez
- assurer
- Tout
- Environment
- équivalence
- notamment
- essential
- Ether (ETH)
- Pourtant, la
- JAMAIS
- de plus en plus
- Chaque
- tout le monde
- tout le monde
- tout le monde est
- peut
- partout
- évolue
- exemple
- exemples
- complet
- Développer vous
- nous a permis de concevoir
- de santé
- expliqué
- explosion
- exponentielle
- .
- facteur
- Échec
- équitablement
- familier
- plus rapide
- Fonctionnalités:
- Réactions
- ressentir
- few
- moins
- champ
- Déposez votre dernière attestation
- trouver
- Prénom
- cinq
- flottant
- flux
- concentré
- Pour
- formulaire
- formel
- De
- plein
- fonction
- fonctionnel
- fonctions
- avenir
- Gain
- lacunes
- Général
- généralement
- générer
- génère
- géopolitique
- obtenez
- obtient
- géants
- Don
- la mondialisation
- Go
- aller
- Bien
- eu
- GPU
- GPU
- l'
- Réservation de groupe
- Croissance
- Pousse
- Croissance
- arrive
- Dur
- Matériel
- Vous avez
- ayant
- he
- front
- vous aider
- Hésitant
- Hiérarchique
- Haute
- Frappé
- Cheval
- Comment
- Cependant
- HTTPS
- majeur
- humain
- i
- identifier
- identifier
- if
- Impact
- la mise en oeuvre
- important
- in
- comprendre
- Y compris
- Améliore
- industrie
- contribution
- Des instructions
- l'intégration
- Intel
- intention
- interactions
- intéressant
- Interfaces
- intervention
- développement
- Introduction
- intuitif
- investi
- un investissement
- implique
- IP
- aide
- vous aider à faire face aux problèmes qui vous perturbent
- IT
- articles
- SES
- Emploi
- jpg
- juste
- juste un
- en gardant
- ACTIVITES
- types
- Savoir
- spécialisées
- connu
- COUTURE
- gros
- plus importantes
- le plus grand
- Nom de famille
- dernier kilomètre
- dirigeants
- Conduit
- savant
- laisser
- Niveau
- VIE
- Les cycles de la vie
- comme
- limites
- limité
- Gamme
- linéaire
- peu
- Vit
- Location
- Longtemps
- plus long
- Style
- recherchez-
- Lot
- Faible
- baisser
- réduit
- Courant dominant
- majeur
- Majorité
- a prendre une
- Fabrication
- gestion
- Manuel
- de nombreuses
- Localisation
- marque
- Marché
- math
- Matière
- Mai..
- peut être
- sens
- message
- méthode
- Méthodologie
- méthodes
- mile
- Breeze Mobile
- modèle
- module
- PLUS
- plus efficace
- (en fait, presque toutes)
- la plupart
- se déplace
- beaucoup
- plusieurs
- must
- my
- myriade
- prénom
- Nature
- nécessairement
- nécessaire
- Besoin
- Besoins
- n'allons jamais
- Nouveauté
- Plus récent
- next
- agréable
- aucune
- non-spécialistes
- noté
- rien
- maintenant
- nombre
- of
- de rabais
- souvent
- on
- ONE
- uniquement
- ouvert
- open source
- ouvert
- Opportunités
- à mettre en œuvre pour gérer une entreprise rentable. Ce guide est basé sur trois décennies d'expérience
- optimisé
- or
- de commander
- Autre
- nos
- ande
- plus de
- Overcome
- propre
- paquet
- partie
- particulièrement
- passé
- Personnes
- /
- effectuer
- performant
- perspectives
- phd
- phénoménal
- phénomène
- pièce
- pionnier
- Des endroits
- plan
- et la planification de votre patrimoine
- Platon
- Intelligence des données Platon
- PlatonDonnées
- Jouez
- joue
- Point
- des notes bonus
- possible
- power
- prévoir
- prédit
- présence
- assez
- Problème
- d'ouvrabilité
- processus
- Processeur
- processeurs
- Produit
- gestion des produits
- Vidéo
- productivité
- Programmeur
- Projet
- importance
- important
- PROMETTONS
- correctement
- propriétés
- propriété
- protocoles
- Prouver
- fournisseurs
- Putting
- requêtes
- question
- fréquemment posées
- vite.
- assez
- R & D
- aléatoire
- Tarif
- Tarifs
- réal
- valeur réelle
- réalités
- Réalité
- réalisé
- raison
- raisonnable
- Les raisons
- reconnaître
- recommandé
- réduire
- se réfère
- régression
- fiabilité
- rester
- reste
- réputation
- demandes
- conditions
- exigence
- Exigences
- a besoin
- un article
- Avis
- Révolution
- racine
- Courir
- s
- des
- Sécurité
- Saïd
- même
- dire
- dire
- Évolutivité
- Escaliers intérieurs
- escaladé
- Balance
- scénario
- programme
- Sciences
- Sean
- Deuxièmement
- sécurisé
- sécurité
- sur le lien
- voir
- vu
- Disponible
- semi-conducteur
- en série
- set
- décalage
- pénurie
- les pénuries
- le plus court
- devrait
- montrer
- côté
- significative
- de façon significative
- Silicium
- De même
- simplement
- simulation
- depuis
- SIX
- compétences
- légèrement différente
- petit
- So
- sur mesure
- Solutions
- RÉSOUDRE
- résolu
- quelques
- Quelqu'un
- quelque chose
- parfois
- Identifier
- Space
- groupe de neurones
- dépensé
- Spot
- Diffusion
- Tableur
- L'équipe
- les fidèles
- j'ai commencé
- Région
- étapes
- Étapes
- Encore
- stimulus
- Arrêter
- Histoire
- progrès
- réussir
- succès
- tel
- suite
- supposé
- sûr
- sucré
- combustion propre
- Système
- Prenez
- Talent
- discutons-en
- parlant
- équipe
- équipes
- Technique
- techniques
- Les technologies
- Technologie
- fastidieux
- dire
- tendance
- conditions
- tester
- que
- qui
- La
- El futuro
- La Source
- le monde
- leur
- Les
- puis
- Là.
- Ces
- l'ont
- chose
- des choses
- penser
- this
- complètement
- ceux
- pensée
- Avec
- tout au long de
- fiable
- fois
- pointe
- à
- aujourd'hui
- tolérance
- trop
- outil
- les outils
- top
- vers
- tracer
- Traçant
- traditionnel
- énorme
- Trojan
- cheval de Troie
- La confiance
- digne de confiance
- essayer
- TOUR
- deux
- type
- types
- typiquement
- sous
- sous-jacent
- comprendre
- En cours
- imprévu
- expérience unique et authentique
- unité
- à moins que
- us
- Utilisation
- utilisé
- d'utiliser
- incontournable
- Utilisateur
- utilisateurs
- Usages
- en utilisant
- d'habitude
- utiliser
- utilisé
- Plus-value
- Variante
- variété
- varier
- variant
- Vaste
- vendeur
- fournisseurs
- Vérification
- vérifier
- vérifier
- versé
- Versus
- vertical
- très
- vice
- le volume
- vs
- vulnérabilités
- marche
- souhaitez
- voulu
- veut
- était
- Façon..
- façons
- we
- WELL
- ont été
- Quoi
- quelle que soit
- quand
- que
- qui
- tout en
- WHO
- why
- plus large
- répandu
- sera
- comprenant
- dans les
- sans
- activités principales
- vos contrats
- world
- s'inquiéter
- pourra
- écriture
- années
- you
- Votre
- zéphyrnet