aiT-Screenshot   aiT-Screenshot

Die aiT-Benutzeroberfläche: Quellcode-, Disassembly- und Meldungsfenster.

 

aiT-Analyseergebnisse: die berechnete WCET wird in CPU-Zyklen angegeben. In dem Aufruf- und Kontrollflußgraphen können detaillierte Informationen zu jedem Knoten abgerufen werden, von kompletten Routinen bis hin zu einzelnen Instruktionen.


aiT für M32C/85   aiT für M32C/85

Ausführliche Analyseergebnisse: der Beitrag einer Routine zur Gesamt-WCET in verschiedenen Kontexten.

 

Der Worst-Case-Ausführungspfad wird im Aufruf- und Kontrollflußgraphen farblich hervorgehoben.


aiT für ARM7 TDMI   aiT für Motorola ColdFire MCF5307

Für jede Kante gibt sum # die Anzahl ihrer Durchläufe im schlimmsten Fall an und max t die WCET des Basisblocks, von dem die Kante ausgeht. Für jede einzelne Instruktion kann die Menge aller möglichen Pipeline-Zustände eingesehen werden.

 

Formales Pipeline-Modell des ColdFire 5307, eine der Grundlagen zur WCET-Berechnung.


aiT für PowerPC755 aiT für MPC5xx

aiT für PowerPC 755: Visualisierung des Cache- und Pipeline-Verhaltens. Jede horizontale Ebene entspricht einem CPU-Zyklus. Verzweigungen in dem Ausführungsbaum stellen verschiedene Ausführungsszenarien dar, z.B. einen Cache-Hit und einen Cache-Miss, sofern beide Fälle analysiert werden müssen. aiT rechnet automatisch alle möglichen Szenarien durch.

 

aiT für MPC5xx: Visualisierung der Ergebnisse der Pipeline-Analyse für eine einzige Instruktion. Jeder gelbe bzw. grüne Untergraph entspricht einem Pipeline-Zustand. Der in aiT integrierte Graph-Browser aiSee ermöglicht interaktives Erkunden von CPU- und CPU-Core-Zuständen an beliebigen Stellen im Graph.


aiT für MPC5xx
aiT für MPC5xx: Visualisierung der Pipeline-Analyseergebnisse.
1: Startzustand*
2: Zwischenzustand*
3: Endzustand*
4: Zustandsbeschreibung
5: Flash A
6: Flash B
7: Memory-Controller
8: L2U
  9: Fetch
10: Dispatch
11: Execute
12: Write-Back
13: Decode-Buffer
14: Prefetch-Queue
15: History-Queue
* Bezüglich der zu analysierenden Instruktion.

Hoch