VCS与Verdi的联合仿真