Zusammenfassung

  • Vor der Fertigung hatte Acorn die Architektur bereits mit einem Verhaltensmodell, Befehlstests, schnelleren Simulatoren, Interpretern sowie portiertem BBC BASIC und dem Tube-System geprüft.
  • Sophie Wilson entwarf den Befehlssatz und leitete die Validierung; Steve Furber schrieb das erste BBC-BASIC-Modell und entwickelte die Mikroarchitektur; weitere Teams trugen Verifikation, Compiler, physisches Design und Fertigung.
  • Der erste Start belegte die Übereinstimmung des beobachteten Pfads von ISA, Implementierung, Platine und Software. Vollständige Korrektheit, Leistung, Energie, Timing, Ausbeute, Qualifikation, Serienreife und Markterfolg blieben offen.

Ein Chip trifft auf vorbereitete Erwartungen

Wilson schildert in ihrer Oral History beim Computer History Museum einen klaren Ablauf. Die Chips kamen von VLSI Technology zurück, wurden in die bereitstehende Zweitprozessor-Platine gesteckt, Tube OS bootete und BBC BASIC lief. Ein einfacher Befehl lieferte das erwartete Ergebnis; das Team feierte.

Die Wendung „funktionierte beim ersten Mal“ lässt die Vorarbeit verschwinden. ARM war vor dem Silizium bereits in ausführbaren Darstellungen vorhanden. Tests kannten Sollzustände. Software für die noch nicht existierende Maschine war geschrieben worden. Die Platine war vorbereitet. Daher konnte das physische Ergebnis mit mehr als einer Hoffnung verglichen werden.

Der Bootvorgang war der Endpunkt einer Beweiskette, nicht ihr Ersatz. Seine Aussage hängt davon ab, welche Semantik modelliert, welche Befehle geprüft und welche Übersetzungen von der Spezifikation bis zur Fertigung durchlaufen wurden.

Genaue Zuschreibung trennt die Ebenen

Wilson schreibt das erste ARM-Verhaltensmodell in BBC BASIC Steve Furber zu. Es erreichte nur wenige Zyklen pro Sekunde. Wilson hatte den Befehlssatz entworfen und leitete eine größere Gruppe, die Testprogramme, Validierungssoftware und Interpreter schrieb. Auch die Royal Society nennt ihren ISA-Beitrag und würdigt Wilson und Furber gemeinsam.

ISA, Modell und Chip sind verschiedene Dinge. Die ISA beschreibt die für Software sichtbare Bedeutung. Das Modell macht diese Bedeutung ausführbar. Furbers Mikroarchitektur und Blockbeschreibungen legen eine Realisierung fest. Schaltungs- und physisches Design machen daraus ein herstellbares Objekt.

Wilson nennt Hugo Tyson, Jez Wills, Jon Thackray und David Seal neben sich selbst als Autoren von Verifikations- und Validierungssoftware sowie Interpretern. Arm bezeichnete später ISA-Verifikation und -Validierung als Seals wichtigsten Beitrag zu Project A. Lee Smith und Harry Meekings führten die Compilerarbeit. Die Kreditverteilung ist deshalb zugleich eine Landkarte der geprüften Schnittstellen.

Vom langsamen Modell zur realen Software

Das langsame Modell musste keine Produktgeschwindigkeit vorhersagen. Es musste eindeutig sagen, welchen Zustand eine Operation erzeugen sollte. Tests konnten Register, Speicher, Bedingungen, Sprünge, Loads und Stores vergleichen.

Später entstanden reine Befehlssimulatoren. Wilson erinnerte sich an Hunderttausende simulierte ARM-Befehle pro Sekunde auf einem 6502-Zweitprozessor. Damit konnten längere Programme laufen. BBC BASIC wurde portiert, Tube OS vorbereitet, Interpreter und weitere Software entstanden. Compiler erzeugten Befehlsfolgen, die kein einzelner Testautor vollständig vorplanen musste.

Jede Ebene fand andere Fehler. Ein Mikotest isolierte Semantik; ein Simulator verarbeitete Sequenzen; eine Sprache kombinierte Aufrufe, Arithmetik und Speicher; ein Betriebssystempfad prüfte Initialisierung und Schnittstellen. Keine Ebene war vollständig. Zusammen gaben sie dem späteren Silizium einen belastbaren Maßstab.

Die Grenze zur physischen Implementierung

Furber beschreibt kurze Blockspezifikationen für ALU, Registersatz und andere Einheiten. Acorns VLSI-Gruppe setzte sie in Schaltungen und Layout um. Nach seiner Erinnerung arbeiteten zunächst drei Personen direkt am ARM; für den späteren Vier-Chip-Satz wuchs die Gruppe.

VLSI Technology stellte Werkzeuge und Fertigung bereit. Die Oral History des Unternehmens unterscheidet Wilson und Furber als Architekten von der physischen Chipentwicklung und der Foundry-Rolle. Zwischen Blockbeschreibung und Wafer liegen Schaltungen, Platzierung, Verdrahtung, Masken und Prozess. Der erste Start zeigte, dass diese Übersetzungen den beobachteten Funktionspfad nicht zerstört hatten.

Hermann Hauser gab dem Vorhaben organisatorischen Rückhalt. Die spätere Pointe von wenig Geld und wenig Personal beschreibt den Druck zu einem kleinen Entwurf. Knappe Ressourcen sind jedoch kein Korrektheitsbeweis. Der Beleg entstand durch Ingenieure und vergleichbare Artefakte.

Was der Start besagte

Der Start von Tube OS zeigte, dass der Prozessor genügend erwartetes Verhalten ausführte und mit der Zweitprozessor-Umgebung kommunizierte. BBC BASIC ergänzte einen komplexen, gut verstandenen Softwarepfad. ISA, Modell, Simulator, Software, Mikroarchitektur, physisches Design, Fertigung und Platine trafen in einer sichtbaren Programmausführung zusammen.

Das deckte nicht jeden Befehlsrandfall, jede Interrupt-Reihenfolge, seltene Zustände oder Langzeitbetrieb ab. Es maß weder Energie unter repräsentativen Lasten noch Spannung, Frequenz, Temperatur oder Prozessstreuung. Wafer-Ausbeute, Gehäuse, Zuverlässigkeit, Qualifikation, Kosten und Serienkapazität brauchten eigene Nachweise. Ebenso wenig waren damit der vollständige Chipsatz, ein ausgereiftes Betriebssystem oder ein marktfertiger Rechner geliefert.

Wilson trennt in ihrem Bericht spätere Chipqualifikation, den kompletten Acorn-Rechner und die Weiterentwicklung des Betriebssystems. Arms offizielle Geschichte führt ARM2, Archimedes, die Firmengründung 1990 und das Lizenzmodell separat. Der spätere Welterfolg war nicht schon im ersten BASIC-Prompt enthalten.

Einfach ist nicht automatisch richtig

ARM1 hatte ungefähr 25.000 Transistoren. Ein kleiner Entwurf reduziert Wechselwirkungen und macht die Struktur verständlicher. Das senkt Risiko, garantiert aber keinen fehlerfreien ersten Lauf. Auch einfache RISC-Projekte können scheitern; spätere ARM-Generationen bringen neue Komplexität.

Entscheidend ist, dass das Team Einfachheit nicht als Grund für weniger Verifikation behandelte. Es verlagerte Unsicherheit in eine Phase, in der Modell, Test oder Spezifikation noch günstiger zu ändern waren als Masken und Wafer. Der Erfolg bewies nicht, dass Prozessorbau leicht war. Er zeigte, dass viele unklare Erwartungen vor der teuren physischen Korrektur in ausführbare Vergleiche verwandelt worden waren.

Quellen