aiSee: Validation of Hardware Traces

• Graph 1
• Graph 2
• Graph 3
• Graph 4
• Graph 5
• Graph 6
• Graph 7

All images produced by aiTraval.

aiTraval was developed to compare hardware traces with the predictions of aiT for MPC755.

The validation process is implemented in a depth-first-search manner. First, all nodes matching to the first event of a given trace are searched. Starting at one of these nodes, the tool tries to match the whole given trace by stepping deeper and deeper into the graph.

As a result of the validation process, a GDL file is written. The resulting graph shows all paths found that match the given trace. The edges are labeled with the bus clock delay between the corresponding states. States that don’t contain any events are folded away.

• May 2005: Rush Hour puzzle solution graph
• March 2005: History of computer languages
• Related graphs: Evolution and time diagrams Application examples Hardware design Software visualization Edge labels Graph of the month Graphs with 500+ nodes GIF SVG GDL PNG PS
• Submit a graph of yours
• RSS

• Home
• About
• Examples
  • Graph of
    the month
    04/2005
  • GDL files
  • SVG output
  • PNG output
  • HTML output
  • PS output
  • Applications
  • Output split
  • Animations
  • Search
• Free trial
• Help
• Store
• Legal
• Contact
• Extras
• Sitemap