Complete the example of the post-mapping formal verification section of the TTool tutorial
The "Example of post-mapping formal verification" section of the TTool tutorial (page 80) is incomplete. We need to complete it with an example for the throughput that is small enough to be visualized by the graph.