Systemc details