VeriSIM_sq