Due to changes in Drain Manager, the lastest systemc coupling doesn't work. The code for handling Checkpoint has been modified and it is now compatiable with new drain manager.

Testing is being done on systemC coupling. It needs more testing to verify checkpointing feature.