Later on, use this file with gtkwave.
To be used to check realtime behaviour of the system.