and_tb_xsim_rtl.tcl 11 Bytes