| SystemC Simulation |
| 1 ns proc_a - lock requested |
| 1 ns proc_a - lock obtained |
| 2 ns proc_b - lock requested |
| 3 ns proc_a - unlock successful |
| 3 ns proc_b - lock obtained |
| 6 ns proc_a - trylock failed |
| 6 ns proc_a - unlock successful |
| 7 ns proc_b - unlock successful |
| 7 ns proc_a - lock requested |
| 7 ns proc_a - lock obtained |
| 9 ns proc_a - unlock successful |
| 10 ns proc_b - trylock successful |
| 10 ns proc_b - unlock successful |
| 12 ns proc_a - trylock successful |
| 12 ns proc_a - unlock successful |
| 12 ns proc_b - lock requested |
| 12 ns proc_b - lock obtained |
| 13 ns proc_a - lock requested |
| 13 ns proc_a - lock obtained |
| 15 ns proc_a - unlock successful |
| 16 ns proc_b - unlock successful |
| 18 ns proc_a - trylock successful |
| 18 ns proc_a - unlock successful |
| 19 ns proc_b - trylock successful |
| 19 ns proc_b - unlock successful |
| 19 ns proc_a - lock requested |
| 19 ns proc_a - lock obtained |
| 21 ns proc_b - lock requested |
| 21 ns proc_b - lock obtained |
| 21 ns proc_a - unlock successful |
| 24 ns proc_a - trylock successful |
| 24 ns proc_a - unlock successful |
| 25 ns proc_b - unlock successful |
| 25 ns proc_a - lock requested |
| 25 ns proc_a - lock obtained |
| 27 ns proc_a - unlock successful |
| 28 ns proc_b - trylock successful |
| 28 ns proc_b - unlock successful |
| 30 ns proc_a - trylock successful |
| 30 ns proc_a - unlock successful |
| 30 ns proc_b - lock requested |
| 30 ns proc_b - lock obtained |
| 31 ns proc_a - lock requested |
| 31 ns proc_a - lock obtained |
| 33 ns proc_a - unlock successful |
| 34 ns proc_b - unlock successful |
| 36 ns proc_a - trylock successful |
| 36 ns proc_a - unlock successful |
| 37 ns proc_b - trylock successful |
| 37 ns proc_b - unlock successful |
| 37 ns proc_a - lock requested |
| 37 ns proc_a - lock obtained |
| 39 ns proc_b - lock requested |
| 39 ns proc_b - lock obtained |
| 39 ns proc_a - unlock successful |
