update systemc.odt