(vsim-1) Unable to checkout verification license - testbench generation feature (randomize, randcase, randsequence, covergroup) is only supported with QuestaSim. # Time: 0 ps Iteration: 0 Instance: /test File: ../dv/testbench.sv # Error loading design Error loading design # End time: 17:34:36 on Nov 07,2019, Elapsed time: 0:00:00 # Errors: 2, Warnings: 0