Analyse et amélioration de la robustesse des circuits asynchrones QDI

Résumé : La conception de circuits intégrés asynchrones, notamment de circuits QDI (Quasi-Delay Insensitive), offrent la possibilité de disposer de circuits très robustes aux conditions environnementales (tension, température) ainsi qu'aux variations des procédés de fabrication. Ces bonnes propriétés sont dues à une conception ne comportant pas d'hypothèses temporelles à l'exception de la fourche isochrone --hypothèse finalement très faible. Ainsi, une variation de la tension se traduit par une réduction de la vitesse de fonctionnement sans pour autant altérer la fonctionnalité du circuit. Cette thèse étudie la robustesse des circuits asynchrones dans des environnements de fonctionnement très sévères susceptibles de mettre en défaut la correction fonctionnelle des circuits asynchrones QDI. Cette situation se présente par exemple quand les transitions des signaux sur les portes deviennent très lentes. Cette situation exceptionnelle peut-être directement provoquée par un environnement agressif (émission électromagnétique, particules à haute énergie, ...) ou par les effets du vieillissement du circuit intégré. Dans un contexte où le circuit est employé à des fins sécuritaires telles que les applications aéronautiques, spatiales ou médicales, il s'avère nécessaire de quantifier les limites de fonctionnement des circuits asynchrones et de trouver des moyens pour améliorer leur robustesse. Ce manuscrit propose une étude complète du comportement des circuits asynchrones et propose des techniques de conception pour en améliorer la robustesse. Les résultats obtenus ont été validés sur des technologies CMOS avancées de ST Microelectronics par des simulations analogiques d'une part, et avec l'aide d'un outil de preuve formelle développé à l'Université British Columbia au Canada d'autre part.
Type de document :
Thèse
Autre. Université Grenoble Alpes, 2011. Français. <NNT : 2011GRENT062>


https://tel.archives-ouvertes.fr/tel-00680544
Contributeur : Abes Star <>
Soumis le : lundi 19 mars 2012 - 16:29:15
Dernière modification le : vendredi 8 juillet 2016 - 01:05:30
Document(s) archivé(s) le : mercredi 20 juin 2012 - 02:31:19

Fichier

23031_OUCHET_2011_archivage1.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00680544, version 1

Collections

STAR | TIMA | UGA

Citation

Florent Ouchet. Analyse et amélioration de la robustesse des circuits asynchrones QDI. Autre. Université Grenoble Alpes, 2011. Français. <NNT : 2011GRENT062>. <tel-00680544>

Exporter

Partager

Métriques

Consultations de
la notice

381

Téléchargements du document

225