要約

  • Lynn Conway は線幅、間隔、重なり、延長を基本長 λ の倍数で表し、対応する製造工程が抽象レイアウトを物理寸法へ変換できるようにした。
  • ルールは意図的に短く、保守的で、面積最適ではなかった。狙いは特定工程の限界密度ではなく、教育、再利用、工程間の移行だった。
  • ルール検査の合格が示すのは幾何制約への適合である。接続、電気的機能、タイミング、電力、歩留まり、欠陥の有無、移行後の同一性能は証明しない。

ある配線の幅を二単位、隣との間隔を三単位とする。同じ整数のまま、一つの工程は λ にある物理長を、別の工程は別の長さを割り当てる。工程がルールに適合する限り、比率は保存される。

Xerox PARC で Lynn Conway が発展させたスケーラブル設計規則の核心はそこにあった。製造ライン固有の寸法を図面の隅々へ埋め込まず、無次元の比として扱う。工程側は λ を安全な実寸に対応づける。この分担は、設計から製造への制御面を作り替えた。

小ささを選んだ契約

Conway は VLSI の回想 で、工程固有の長い規則集に対し、必要最小限の線幅、間隔、延長、重なりを一枚ほどにまとめようとした経緯を記す。λ は保守的な限界から選ばれ、各制約は比率に変換された。本人が「粗く、非最適」と表現したことは重要である。

貢献関係も同じ精度で扱う必要がある。経歴回顧の第3部 で Conway は、単純化したルールの着想を自らに位置づけ、Carver Mead が価値を理解して比率の調整を助けたと述べる。共著の Introduction to VLSI Systems は、その規則を構造化設計法の一部として広めた。

実工程には過剰エッチング、マスクずれ、露光やウェハの変動がある。したがって λ と書いてあるだけでは製造可能にならない。全規則に安全余裕を与える物理値を工程側が選ぶ必要がある。Computer History Museum のオーラルヒストリー で Conway は、縮小には限界があり、そのルールと整合する工程へ渡さなければならないと説明している。

可搬性は余白と引き換えだった。工程専用の細かなルールなら、同じ回路をさらに詰められる場合がある。しかし、そのレイアウトは工程に縛られ、移行時に再解釈や再検証を要する。λ は局所密度を一部手放し、再利用と保守の費用を下げる選択だった。

DRC が答える一つの問い

設計規則検査は、表現された図形について最小線幅、間隔、重なり、延長などを調べる。合格時に言えるのは、「このファイルは、この版の幾何ルールに適合する」という限定された命題である。

意図した接続がすべて存在するか、余計な接続がないかは、抽出と照合を別に行わなければ分からない。トランジスタ動作、タイミング、電力、ノイズ、工程ばらつき、欠陥や歩留まりも DRC の結論ではない。λ の実寸が変われば寄生抵抗と容量も変わるため、整数が同じでも性能は同じとは限らない。

狭い幾何学的結論にも来歴が要る。規則の版、工程マッピング、検査器の版、送付ファイルのハッシュを結びつけなければ、緑色の合格表示は弱い証拠になる。

1978年の MIT コース はこの境界を実地で示した。学生は体系的な方法を学び、短期間でチップを受け取った。一度で動く例もあれば配線誤りもあり、初期には規則確認の多くが手作業だった。製造は重要な検証だが、幾何適合から機能が論理的に導かれたわけではない。

記号を制度へ変えた共同作業

Conway の VLSI Archive には、Doug Fairbairn と Jim Rowson の ICARUS、Bob Sproull と Dick Lyon の CIF 2.0、Randy Bryant の MOSSIM、John Ousterhout の CAESAR と MAGIC などが記録される。教育、ソフトウェア、工程、運用がそろって初めて契約は実行可能になった。

MPC79 は複数大学の設計を一つの製造にまとめた。史料の数字は対象が異なり、Conway は124件の設計プロジェクト、Caltech は124人の設計者と82設計を挙げる。DARPA によれば、MOSIS は1981年1月に開始し、複数設計を一枚のウェハに載せて小ロットを低コストで提供した。

Conway は規則と設計・製造インターフェースに決定的な貢献をした。Mead は洗練と普及を担い、PARC、Caltech、MIT、DARPA、製造パートナー、ツール作者、学生が不可欠な部品を加えた。単独発明の物語では、この方法がなぜ拡大できたのかを説明できない。

現代にも残る境界

信頼できる抽象は、保証と対象外を同時に公開する。λ の保証は、特定された規則と互換工程のもとでの幾何適合である。接続、機能、タイミング、電力、欠陥、歩留まり、性能同等性には、抽出、電気解析、ファイル同一性、工程認定、製造データ、実機試験が必要だ。

Conway が消したのは製造知識ではない。境界を越えるべき知識を選び直したのである。共通インターフェースで可搬性を約束する現代のプラットフォームも、適合検査を仕様外の成果証明に膨らませない限りで、この設計思想を受け継げる。

出典