Searching in doc/src/tutorials/timing_simulation