112855Sgabeblack@google.comSystemC Simulation 212855Sgabeblack@google.comIn state 0 :: In state 0 :: going to state 1 312855Sgabeblack@google.comResult = 0 412855Sgabeblack@google.comIn state 1 :: staying in state 1 512855Sgabeblack@google.comResult = 0 612855Sgabeblack@google.comIn state 1 :: staying in state 1 712855Sgabeblack@google.comIn state 1 :: going to state 2 812855Sgabeblack@google.comResult = 0 912855Sgabeblack@google.comIn state 2 :: going to state 1 1012855Sgabeblack@google.comIn state 1 :: going to state 2 1112855Sgabeblack@google.comResult = 0 1212855Sgabeblack@google.comIn state 2 :: going to state 1 1312855Sgabeblack@google.comIn state 1 :: going to state 2 1412855Sgabeblack@google.comResult = 0 1512855Sgabeblack@google.comIn state 2 :: going to state 1 1612855Sgabeblack@google.comIn state 1 :: going to state 2 1712855Sgabeblack@google.comResult = 0 1812855Sgabeblack@google.comIn state 2 :: going to state 1 1912855Sgabeblack@google.comIn state 1 :: going to state 2 2012855Sgabeblack@google.comResult = 0 2112855Sgabeblack@google.comIn state 2 :: going to state 1 2212855Sgabeblack@google.comIn state 1 :: going to state 2 2312855Sgabeblack@google.comResult = 0 2412855Sgabeblack@google.comIn state 2 :: going to state 1 2512855Sgabeblack@google.comIn state 1 :: going to state 2 2612855Sgabeblack@google.comResult = 0 2712855Sgabeblack@google.comIn state 2 :: going to state 1 2812855Sgabeblack@google.comIn state 1 :: going to state 2 2912855Sgabeblack@google.comResult = 0 3012855Sgabeblack@google.comIn state 2 :: going to state 1 3112855Sgabeblack@google.comIn state 1 :: going to state 2 3212855Sgabeblack@google.comResult = 0 3312855Sgabeblack@google.comIn state 2 :: going to state 1 3412855Sgabeblack@google.comIn state 1 :: going to state 2 3512855Sgabeblack@google.comResult = 0 3612855Sgabeblack@google.comIn state 2 :: going to state 1 3712855Sgabeblack@google.comIn state 1 :: going to state 2 3812855Sgabeblack@google.comResult = 0 3912855Sgabeblack@google.comIn state 2 :: going to state 1 4012855Sgabeblack@google.comIn state 1 :: going to state 2 4112855Sgabeblack@google.comResult = 0 4212855Sgabeblack@google.comIn state 2 :: going to state 1 4312855Sgabeblack@google.comIn state 1 :: going to state 2 4412855Sgabeblack@google.comResult = 0 4512855Sgabeblack@google.comIn state 2 :: going to state 1 4612855Sgabeblack@google.comIn state 1 :: going to state 2 4712855Sgabeblack@google.comResult = 0 4812855Sgabeblack@google.comIn state 2 :: going to state 1 4912855Sgabeblack@google.comIn state 1 :: going to state 2 5012855Sgabeblack@google.comResult = 0 5112855Sgabeblack@google.comIn state 2 :: going to state 1 5212855Sgabeblack@google.comIn state 1 :: going to state 2 5312855Sgabeblack@google.comResult = 0 5412855Sgabeblack@google.comIn state 2 :: going to state 1 5512855Sgabeblack@google.comIn state 1 :: going to state 2 5612855Sgabeblack@google.comResult = 0 5712855Sgabeblack@google.comIn state 2 :: going to state 1 5812855Sgabeblack@google.comIn state 1 :: going to state 2 5912855Sgabeblack@google.comResult = 0 60