Verifier」による検証メソドロジ「UVM」のサポートを発表した。2019b以降からで、Matlab/Simulinkで開発したアルゴリズムモデルからシーケンスやスコアボードなどのUVMコンポーネントを自動生成可能に。生成されるUVMコンポーネントはUVMをサポートする市販のHDLシミュレータで利用可能で、これらを用いる事で手書きでテストベンチを作成する工数を大幅に減らす事ができる。DPIコンポーネントなども生成することが可能。これらを利用してMATLAB/Simulinkとの協調検証や、FPGAボード/開発ボードを使用したハードウェア・ベース検証を行うことができる。