Devices modeling in SystemC based on behaviours separation