TRAFFIC

To find out more about TRAFFIC read the paper or visit the iBench Initiative. Here you can run a demo of our TRAFFIC compiler on some specifications we wrote or on specifications you write yourself.

Try a "Canned" Example

Choose one of the examples below and click Go to see the result.

Write Your Own Specification

For instructions on how to write your own specifications please see the user manual.