systemc config