run Mig1 Dve.sv with Questa