Generation automatique de circuits avec alpha du centaur

Automatic circuit generation with alpha du centaur

• Auteur / Autrice : Catherine Dezan
• Direction : QUINTON
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Rennes 1

Résumé

Alpha du centaur est un atelier de conception d'architectures regulieres. Afin de completer la chaine de conception, une extension de alpha du centaur pour la generation de circuits sous forme d'asic est proposee. La conception d'un circuit se fait par raffinements successifs de specifications initiales abstraites. Les differentes etapes de la conception sont realisees par transformations de programmes decrits en alpha. Les transformations de synthese d'architecture deja existantes sont alors completees par de nouvelles transformations. Ces dernieres permettent de generer le controle du circuit ainsi que de decomposer les calculs en fonctionnalites elementaires correspondant a des portes. Parallelement au processus de synthese, on s'interesse a la verification de circuits. On montre que la preuve d'un circuit peut se faire en utilisant une approche ascendante (synthese) et descendante (abstraction). La methodologie de preuve ainsi proposee permet de comparer la modelisation du circuit avec les specifications attendues de celui-ci. Les nouvelles transformations necessaires a la generation et a la verification ont ete validees avec alpha. Elles s'accompagnent de strategies d'application afin d'aider l'utilisateur dans sa conception