Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications (English only)

Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications (English only)

English only

Bibliographic Details
Main Author:	Mir, S.
Language:	ENG
Published:	1993
Subjects:	[SPI:NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics conception circuits intégrés raisonnement heuristique
Online Access:	http://tel.archives-ouvertes.fr/tel-00010456 http://tel.archives-ouvertes.fr/docs/00/04/85/61/PDF/tel-00010456.pdf

Similar Items

Architecture study and design of mixed circuits using asynchronous logic: Application to very low power consumption and contactless systems
by: Caucheteux, D.
Published: (2005)

Modèles d'intégration d'outils et de composants logiciels/matériels pour la conception des systèmes hétérogènes embarqués
by: DZIRI, A.
Published: (2004)

Synthèse logique de circuits asynchrones micropipeline
by: REZZAG, A.
Published: (2004)

Contribution à la conception de circuits intégrés sécurisés : l'alternative asynchrone
by: Bouesse, G.F.
Published: (2005)

Méthodologie et flot semi-automatique d'aide à la conception et à la validation des macro-cellules ASIC dédiées au traitement du signal
by: Tambour, L.
Published: (2003)

Génération de système d'exploitation pour le ciblage de logiciel multitâche sur des architectures multiprocesseurs hétérogènes dans le cadre des systèmes embarqués spécifiques.
by: Gauthier, L.
Published: (2001)

Etude de la robustesse du contrôle intelligent face aux fautes induites par les radiations
by: Cheynet, P.
Published: (1999)

Test et LSI
by: Courtois, Beranrd
Published: (1981)

Contribution à la conception de capteurs de vision CMOS à grande dynamique
by: Labonne, E.
Published: (2007)

Gestion des unités de mémorisation pour la synthèse d'architecture
by: Corre, Gwenolé
Published: (2005)

Contribution à l'étude de la stabilité des oscillateurs harmoniques à transistors
by: Burian, Yaro
Published: (1968)

CONTRIBUTION A L'ETUDE DE LA CONDUCTION ELECTRIQUE DANS LES MICAS MUSCOVITES
by: Chapeau, Alain
Published: (1968)

Outils pour l'exploration d'architectures programmables embarquées dans le cadre d'applications industrielles (Tools for exploration of embedded programmable architectures in industrial applications)
by: Nacabal, F.
Published: (1998)

Traitement du signal échantillonné non uniformément : algorithme et architecture
by: Aeschlimann, F.
Published: (2006)

Outil de CAO pour la génération d'opérateurs arithmétiques auto-contrôlables
by: Alzaher-Noufal, I.
Published: (2001)

Interface Analogique Numérique Asynchrone: une Nouvelle Famille de Convertisseurs Basés sur la Quantification du Temps
by: Allier, E.
Published: (2003)

Etude d'adequation algorithme-architecture pour terminaux multimedia portables: segmentation d'images par un reseau de processeurs asynchrones
by: Galilee, B.
Published: (2002)

Conception Automatique de Chemins de Données en Logique Asynchrone QDI
by: Fragoso, J.
Published: (2005)

Nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents
by: Ritter, G.
Published: (2001)

Conception de microcapteurs pH-ISFET faible bruit et d'inductances intégrées suspendues à fort facteur de qualité Q
by: Palan, B.
Published: (2002)

Systèmes Complexes, Outils de CAO et Nanotechnologies
by: Kolonis, E.
Published: (2006)

Conception d'une architecture de BIST analogique et mixte programmable en technologie CMOS très submicronique
by: Prenat, G.
Published: (2005)

Méthode de validation globale pour les systèmes monopuces
by: Husinger, F.
Published: (2006)

Contribution à l'étude du bruit de fond dans les composants et circuits intégrés analogiques
by: Sauvage, Didier
Published: (1982)

Conception de haut niveau des MPSoCs à partir d'une spécification Simulink: Passerelle entre la conception d'algorithmes et la conception d'architectures
by: Atat, Y.
Published: (2007)

Contribution à l'étude d'un microcapteur de type MOS sensible à l'hydrogène
by: Caratge, Philippe
Published: (1978)

Contribution à l'étude de l'influence des centres recombinants sur les performances électriques des redresseurs de puissance
by: Derdouri, Mohamed
Published: (1978)

Contribution à l'étude du bruit de fond des transistors bilpolaires : influence de la défocalisation
by: Le Gac, Gilles
Published: (1977)

Caractérisation électrique des couches d'AsGa : Ge épitaxiées par la technique des jets moléculaires
by: Baceiredo, Servando
Published: (1981)

Le transistor à effet de champ à canal vertical entièrement diffusé
by: Morenza-Gil, José Luis
Published: (1975)

Apport des processeurs microprogrammables au système d'acquisition et au contrôle en ligne de l'expérience NA10
by: Klein, Philippe
Published: (1982)

Conception et réalisation d'un système de développement, exécutable sur mini-ordinateur Nord-10, pour un microprocesseur spécialisé
by: Huot, Gérard
Published: (1978)

Aide à la conception de systèmes sur puce hétérogènes par l'exploration paramétrable des solutions au niveau système
by: Le Moullec, Yannick
Published: (2003)

Conception et modélisation d'un système de contrôle d'applications de télécommunication avec une architecture de réseau sur puce (NoC)
by: Lemaire, R.
Published: (2006)

Construction de Modèles Réduits et Vérification Symbolique de Circuits Industriels décrits au Niveau RTL
by: Dumitrescu, E.
Published: (2003)

Découpage transformationnel pour la conception de systèmes mixtes logiciel/matériel
by: Marchioro, G.F.
Published: (1998)

Techniques de conception pour le durcissement des circuits intégrés face aux rayonnements
by: VINCI DOS SANTOS, F.
Published: (1998)

Outils CAO pour Microsystèmes
by: JUNEIDI, Zein
Published: (2003)

Conception et réalisation d'un convertisseur électro-thermique à grande constante de temps en technologie microsystème pour un disjoncteur thermique (Electro-thermal converter with long time constant in microsystem technology for thermal breaker)
by: Veychard, D.
Published: (1999)

Modélisation, simulation et vérification de circuits numériques asynchrones dans le standard SystemC v2.0.1
by: Sirianni, A.
Published: (2004)