System Design with SystemC