2D array  Additionneur  Algorithm  Algorithme  Algèbre Boole  Allocation de registres  Allocation de ressources  Analyse de données  Analyse factorielle  Analyse fonctionnement  Analyse temporelle  Application industrielle  Arbre binaire  Arbre décision  Architecture cible  Architecture des ordinateurs  Automates d'états finis  Automatic monitoring  Bibliothèque  Bipartitionnement de graphe  Breakdown  CADOC.LD  Calcul de De Morgan  Cao  Chemin de scan généralisé  Circuit VLSI  Circuit design  Circuit intégré  Circuit logique  Circuit numérique  Circuit programmable  Circuit rapide  Circuit à la demande  Circuits intégrés  Circuits intégrés à très grande échelle  Circuits reconfigurables  Codage d'automates synchrones  Codage des états  Compilateur de silicium  Compilateurs de silicium  Complémentation  Computer aided design  Computer program  Conception assistée  Conception assistée par ordinateur  Conception circuit  Conception de circuits  Contrainte temporelle  Controller  Contrôle automatique  Contrôleur  Correlation  Corrélation  Costs  Cube intersectant  Diagramme décision binaire  Digital circuit  Décomposition  Décomposition technologique  Défaut de fabrication  Détection zone critique  En ligne  Essai  Essai automatique  Essai fonctionnel  Etude expérimentale  Etude théorique  Evaluation performance  Expression booléenne  Fabrication microélectronique  Factor analysis  Factorisation  Factorisation algébrique  Factorisation booléenne  Factorisation lexicographique  Failure detection  Fiabilité  Flex 8000  Flot de conception  Gestion ressource  Granularité  Granularité technologique  Groupes d'adjacences  Génération de test  Génération hiérarchisée de test  Génération test  Haut rendement  Hypercube  Hypercube booléen  Hypergraphe  Immersion  Industrial application  Integrated circuit  Interconnection  Interconnexion  Langage évolué  Lfsr  Logiciel  Lpm  MOS technology  Macro bloc  Macro-génération  Macrogénérateur  Maximums et minimums  Microelectronic fabrication  Microprocesseur  Microprocesseurs -- Programmation  Microprocesseurs  Microprocessor  Microélectronique  Minimisation  Minimisation deux-couches  Minimisation symbolique  Modèle fonctionnel  Modèles profonds  Modélisation  Multiplicateur  Multiplier  Mémoire intégré sur tranche  Méthode essai  Noyau  Ntegrated circuit  Observability  Observabilité  On line  Operation study  Optimisation  Optimisation de circuits  Ordinateurs -- Mémoires  Ordinateurs  Ordonnancement  Pannes  Performance evaluation  Pga  Pile  Pla  Placement  Placement de circuit  Pld  Processor  Produits cartésien de machines  Programmable logic array  Programme P. E. T  Programme ordinateur  Programme reptil  Prolog  Propagation retardées  Reconfiguration  Reconstitution  Reliability  Rendement  Rtl  Réinjection  Réseau d'interconnexion  Réseau de commutateur  Réseau logique programmable  Réseau porte programmable  Réseaux de communication entre ordinateurs  Réseaux logiques programmables  Réseaux programmables  Scan partiel  Sciences appliquées  Simd  Simulation  Simulation symbolique  Software  Synthèse architecturale  Synthèse circuit  Synthèse de contrôleurs  Synthèse de haut niveau  Synthèse logique  Synthèse logique multicouche  Synthèse multi-couches  Synthèse rtl  Synthèse sur cellules standards  Synthèses multicouches  Systèmes à base de connaissances de seconde génération  Séquenceur  Table vérité  Tautologie  Technologie MOS  Technologie MOS complémentaire  Test  Test d'inclusion  Test de chemin de données  Test de circuits vlsi  Test en ligne  Test hors ligne  Test par faisceau d'électrons  Thesis  Thèse  Thèses et écrits académiques  Time analysis  Tolérance aux défauts  Tolérance aux défauts de fabrication  Traitement d'image  Traitement d'images  VLSI circuit  Verification  Vérification  Wsi