Résumé

  • Lynn Conway a exprimé largeurs, espacements, recouvrements et prolongements comme des multiples d’une longueur de base, λ, qu’un procédé cible convertissait ensuite en dimensions réelles.
  • Ces règles étaient volontairement courtes, prudentes et non optimales. Elles privilégiaient la transmission, l’enseignement et la réutilisation plutôt que la densité maximale d’une ligne de fabrication donnée.
  • Un contrôle réussi démontre la conformité à un contrat géométrique. Il ne prouve ni la connectivité voulue, ni le comportement électrique, le timing, la puissance, le rendement ou l’absence de défauts.

Deux dessins peuvent contenir exactement les mêmes nombres et pourtant devenir des objets de tailles différentes. Une piste mesure deux unités, un intervalle trois, un recouvrement encore une autre valeur entière. Le premier procédé fixe λ à une longueur physique ; le second lui en donne une autre. Les proportions restent lisibles alors que les micromètres changent.

C’est le levier des règles de dessin extensibles mises au point par Lynn Conway à Xerox PARC dans le cadre des méthodes Mead–Conway. Au lieu de disséminer les cotes propres à une usine dans tout un plan, le concepteur travaillait avec des rapports sans dimension. Le fabricant devait ensuite choisir une valeur physique de λ qui rende l’ensemble des contraintes sûr pour son procédé.

Un contrat volontairement conservateur

Dans ses souvenirs sur le VLSI, Conway oppose cette page compacte aux volumineux manuels propres à chaque procédé. Elle explique avoir cherché une unité issue de limites prudentes sur les largeurs, séparations, prolongements et recouvrements. Le résultat était, selon ses propres termes, grossier et non optimal. Sa force venait précisément du peu de choses qu’il obligeait à partager.

Son récit de carrière précise l’attribution : Conway situe chez elle l’idée des règles simplifiées ; Carver Mead en vit rapidement l’intérêt et l’aida à affiner les rapports. Leur ouvrage Introduction to VLSI Systems les intégra ensuite à une méthode structurée plus vaste.

Le livre rappelle pourquoi un procédé ne peut pas accepter aveuglément le symbole λ. Gravure, alignement des masques, exposition et dimensions de la tranche introduisent des marges. La valeur physique choisie doit absorber ces tolérances. Dans son entretien au Computer History Museum, Conway ajoute qu’un dessin ne peut être réduit que jusqu’à un certain point et qu’il doit être confié à un procédé conforme aux règles.

La portabilité était donc conditionnelle. Elle s’achetait aussi avec de l’espace. Un spécialiste pouvait resserrer un dessin au moyen de règles particulières, plus fines, mais rendait alors le résultat captif d’une technologie. La règle λ misait sur une économie différente : davantage de surface par circuit, en échange de cellules réutilisables, d’outils plus simples et d’un coût de migration réduit.

Ce que contrôle la vérification géométrique

Un contrôle de règles examine les formes représentées : largeurs minimales, intervalles, recouvrements, prolongements et combinaisons prévues. Une validation autorise une seule phrase robuste : ce fichier respecte cette version de ce jeu de règles géométriques.

Elle ne garantit pas qu’une connexion souhaitée existe, ni qu’aucun court-circuit involontaire subsiste, sauf extraction et comparaison séparées. Elle ne simule pas les transistors, ne ferme pas le timing, ne qualifie ni bruit ni consommation, et ne prédit pas le rendement d’une tranche. Lorsque λ reçoit une nouvelle valeur, résistances et capacités parasites évoluent : les mêmes nombres ne produisent donc pas nécessairement les mêmes performances.

La provenance compte jusque dans ce résultat étroit. Il faut connaître la version des règles, la correspondance avec le procédé, le vérificateur utilisé et l’identité exacte du fichier transmis à l’usine. Un voyant vert dépourvu de ces éléments prouve peu.

L’histoire des premiers cours illustre la limite. Les archives du cours du MIT de 1978 montrent un apprentissage relié à une fabrication rapide. Plusieurs projets fonctionnèrent ; d’autres révélèrent des erreurs de câblage. Conway raconte qu’une partie du contrôle était encore manuelle. Le silicium constituait une expérience décisive, pas une conséquence logique de la seule conformité géométrique.

Une infrastructure collective

La notation n’aurait pas suffi sans les outils et les opérations. Les archives VLSI de Conway mentionnent notamment ICARUS de Doug Fairbairn et Jim Rowson, CIF 2.0 avec Bob Sproull et Dick Lyon, MOSSIM de Randy Bryant, ainsi que CAESAR et MAGIC de John Ousterhout. Chaque composant rendait le contrat plus exécutable.

MPC79 regroupa des travaux universitaires sur une fabrication commune. Les sources ne comptent pas la même chose : Conway évoque 124 projets, tandis que Caltech indique 124 concepteurs et 82 dessins. Il faut préserver cette distinction. DARPA situe ensuite l’ouverture de MOSIS en janvier 1981 : plusieurs dessins partageaient une tranche, avec de petites séries à coût réduit.

Conway a joué un rôle pivot dans l’idée des règles et dans l’interface entre création et fabrication. Mead a contribué à leur mise au point et à leur diffusion. PARC, Caltech, MIT, DARPA, les fabricants, les auteurs d’outils et les étudiants ont construit le système qui leur a donné une portée industrielle. L’histoire perd sa substance si l’on transforme ce réseau en invention solitaire.

La leçon durable

Une abstraction honnête publie sa garantie et ses exclusions. Ici, la garantie concerne la géométrie sous un jeu de règles nommé et une correspondance de procédé qualifiée. Fonction, timing, consommation, défauts, rendement et équivalence de performance restent en dehors. Ils exigent extraction, comparaison avec l’intention, analyses électriques, traçabilité du fichier, données de fabrication et tests.

Conway n’a pas supprimé le savoir de fabrication. Elle a décidé quelle partie devait franchir la frontière. C’est une leçon actuelle pour toute plateforme qui promet la portabilité : une interface commune est puissante tant que personne ne présente son contrôle de conformité comme la preuve d’un résultat qu’elle ne décrit pas.

Sources