チップアトラス: すべての部品に住所を

web/{groups,graph,schematic,timing}.json から tools/export-atlas-doc.py が 生成している。以下のどれも手で打ったものではない。ダイデータか導出を変えたら 作り直せば、この文書が付いてくる。

このダイの上のノード、トランジスタ、ワイヤはそれぞれちょうど一つのアドレスを 持ち、アドレスの接頭辞はその下にある集合を名指す正当なやり方になる。狙いは ホスト名ではなく IP アドレスだ: 前が経路を決め、後ろが同定する。

8365 アドレス: ノード 1547、トランジスタ 3510、ワイヤ 3308。すべて一意で、 すべて解析できる。このファイルが書かれる前に生成器が検査している。

書き方の規則

<container> : <class> : <slot>

右から解析する。 スロットは最後のコロンの後、クラスはその一つ前、そして コンテナは残り全部だ。フィールド数を固定するやり方は使えない: コンテナのキー は正当にコロンを含むことがあり (alat:ADL/ABL)、束は二つのコンテナを名指す (regs:a~sbus:sb)。

区切りがコロンである理由

これを決めたのは趣味ではなく、ダイだ。707 個の名前にわたって使われている 約物は # ( ) + - . / _ で、コンテナのキーが : を足す。ダイの名前にコロンは 一つも現れないし、kind:id はこのプロジェクトが他のどこでもコンテナを 綴るやり方でもある。. と / はどちらも落ちた: . は 33 個の名前と 14 個の キーに、/ は 47 個と 5 個にある。

三つのフィールド

スロットはダイの番号であり、そこが荷重を受けている決定

他のフィールドはどれも導出であり、ここでの導出は動く: チップマップは、争わ れているノードをどの種類が持つかを既に変えているし、割り込みの歩き方は その所有の規則を既に変えている。最後のフィールドが導出であるようなアドレスは、 そうした改善のたびに壊れることになる。

生成器はその性質を主張する代わりに証明する。種類の所有順を逆にすると 1547 ノードのうち 88 の持ち主が変わり、スロットは 0 個動く。

だから接頭辞は改められる主張であり、スロットはそうではない。アドレスを最後の フィールドまで削っても、その部品はまだ見つかる。

クラスの語彙は閉じていて、34 語ある

NMOS に AND ゲートは無く、OR ゲートも無い。プルアップが出力を high に保ち、 接地へのプルダウン網がそれに勝つので、どの静的ゲートも積和の反転だ: 並列な脚 が OR、直列なトランジスタが AND になる。だから脚の内訳は、ゲートに付けた札 ではなく、そのゲートが計算するものの完全な記述だ。aoi2.1 は NOT((A AND B) OR C) である。

尾は長く、それは規則が緩いのではなくダイが不規則だということだ: 34 クラスの うち 17 はそれぞれ 5 個未満のゲートしか持たず、そのうち 11 は ALU とフラグの 論理が一度だけ組む AOI の形だ。残りは dyn2、dyn6、dyn8、dyn9、 inert、nor9。

事実はタグとして乗り、フィールドにはならない

アドレスに要る識別子はちょうど一つで、それは不変でなければならない。部品に ついて他に真であることは、すべてタグだ: 問い合わせられて、順序を持たず、何も 動かさずに変わっていい。

sbus:sb:bus:#1188                  name=sb3  bit=3@sb  depth=6
regs:x.SBX:dyn3:#1186              name=dpc3_SBX  opens=8  precharged  phase=phi1  depth=5  also=sbus:off  also=dpc:phi1
regs:a:bus:#737                    name=a0  bit=0@a  depth=7
clock:gen:dyn5:#943                name=cclk  opens=243  precharged  depth=4

bit= はトレーサが実測したバスの幹の規則 (文字だけ、not の補数は無し、 ビット 0 に名前があり、ビット 0..7 のうち少なくとも七つ) を使い、24 本の幹 に落ち着く。depth= は最も近いピンからのホップ数。phase= はチップを走らせて 実測している。also= は、重なり合う層ではこのノードを自分のものだと言うが、 分割では取り負けたコンテナを名指す。

名前はどこから来たか

どれも私たちのものではないので、述べておく価値がある。答えは三段深い。出どころ は保存アーカイブの 6502_datapath.wiki だ。

だから制御線の名前は、半分が座標で半分が機能だ。接頭辞は本物の順序になって いる: 線を dpc の番号で並べるとダイを左から右へ並ぶ順になり、43 本のうち 6 箇所の逆転はすべて隣どうしの組だ。番号が負のものが二つ、dpc-1_ADL/ABL と dpc-2_ADH/ABH があるのは、アドレスラッチのロードがデータパスの番号が始まる 場所より左に座っているからだ。

tools/check-dpc-vs-wiki.py は wiki の主張をチップに問い直す。

項目

23 種類にまたがる 132 グループが、1547 ノードのすべてをちょうど一度覆い、 それに意図して重なる 138 個のコンテナが加わる。n はノード数。id に . が 入っているグループは、その上のグループの子だ。

regs: レジスタ

flags: ステータスフラグ

alat: アドレスラッチ

dbus: データバス

irp: 命令レジスタ

sbus: 特殊バス

sdp: ストアのパイプライン

rdy: レディ論理

pcr: プログラムカウンタ

pipe: パイプラインのラッチ

sync: SYNC

clock: クロック生成器

intr: 割り込み

branch: 分岐の論理

decimal: 十進補正

alu: ALU

incr: PC のインクリメンタ

chain: タイミングチェーン

bus: 内部バス

stage: デコードの項

pins: ピン

rest: ブロックの残り

logic: 静的な論理

重なり合う層にしか存在しないコンテナ

これらは分割ではノードを一つも自分のものにしていない。中にあるものはすべて、 もっと限定的な導出がすでに持っているからだ。それでも、「このノードは何の一部 なのか」に対する正直な答えではある。

122 ノードは複数のコンテナに入っていて、最大で 5 個だ。この数は欠陥では ない: 十進補正にあるノードは ALU の一枚にもあり、そのうち一つだけだと言うのは、 図が互いに素な箱を必要とすることの結果にすぎない。

アドレスが教えてくれないこと

• 向き。 パス・トランジスタは両方向に導通するので、トポロジだけではどちら の端がソースなのかを言えない。Hanson の SOURCE/DEST の名前だけがその記録 であり、あれは書き下ろしで、実測ではない。
• 近所。 depth= はピンからのホップ数で、距離であって近所ではない。 「2 ホップ以内に何があるか」は問い合わせであって、座標ではない。
• どのコンテナがいちばん面白いか。 分割は箱を描けるように持ち主を一つ 選ぶ。残りは also= が運ぶ。
• ノード 866 について何でも。 これは inert に分類され、それは正しい: トランジスタ一つをゲートしているが、チップの中のどれもそれを駆動できない ので、どんな走行も決してそれを観測できない。