Modélisation et vérification des conceptions de signaux mixtes

Kouhoul, Abderaouf (2018). Modélisation et vérification des conceptions de signaux mixtes. Mémoire. Gatineau, Université du Québec en Outaouais, Département d'informatique et d'ingénierie, 88 p.

Prévisualisation

PDF Télécharger (3MB) | Prévisualisation

Résumé

Le progrès dans les technologies de Silicon et la mise à l'échelle de la taille des transistors ont permis de placer des millions de transistors dans de petites puces, de réduire la consommation d'énergie, d'augmenter les performances et par conséquent de réduire les coûts de production. D'un autre côté, l'intégration de circuits analogiques et numériques sur une même puce est devenue une exigence fondamentale dans les conceptions les plus récentes. Cependant, de nombreux problèmes ont été soulevés tels que l'interfaçage analogique avec le numérique, l'horloge et la vérification et la validation.
Cette recherche porte sur la modélisation et la vérification des conceptions de signaux mixtes. En fait, comme les dispositifs analogiques et numériques sont intégrés ensemble, la modélisation et la vérification des systèmes de signaux mixtes deviennent très critiques et une tâche difficile pour assurer l'exactitude des conceptions indépendamment des disparitions entre les simulateurs analogiques et numériques. Ainsi, trouver des approches, des méthodologies et des outils pour surmonter l'écart entre les simulateurs analogiques et numériques afin de fournir un cadre pour la vérification des signaux mixtes a été une nouvelle direction de recherche dans l'électronique moderne. La modélisation comportementale des conceptions analogiques est l'approche adoptée dans cette recherche car elle permet la simulation des conceptions analogiques dans des simulateurs numériques.
Dans ce mémoire, un cadre réutilisable et flexible pour développer un modèle comportemental est proposé. Comme preuve de concept, nous avons conçu un modèle physique d'un oscillateur commandé par tension analogique (VCO), puis développé un modèle comportemental suivant le cadre proposé pour montrer la faisabilité du cadre proposé. Après cela, nous fournissons des idées sur la façon d'intégrer les modèles comportementaux VCO dans un verrou de boucle de phase analogique (PLL). Enfin, sur la base de la réalisation physique (Layout) du VCO, nous fournissons une réflexion sur la façon d'augmenter le modèle comportemental pour inclure les variations de température, de puissance et de processus de fabrication.

Type de document:	Thèse (Mémoire)
Directeur de mémoire/thèse:	Talbi, Larbi
Co-directeurs de mémoire/thèse:	Haddad, Tahar
Départements et école, unités de recherche et services:	Informatique et ingénierie
Date de dépôt:	25 févr. 2019 21:24
Dernière modification:	31 août 2021 19:47
URI:	https://di.uqo.ca/id/eprint/1053

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt