Synopsys supplied VMT(Vera model technology) can reduce the work amount of verification .

• Synopsys公司VMT(Vera验证模型技术)工具可减小验证的工作量、节约时间。