Mentor ：xRTL Compilerって何だ？

Verification Engineerの戯言 : SystemVerilogの世界へようこそ

MentorのブログEmulation 104 -- Running More Tests in Less Timeに

  引用
For example, OVM provides transaction-based verification with interoperability between standards compliant simulation and emulation environments, making testbenches re-usable. Many high-level testbench constructs can now be synthesized for use in emulation by tools like Mentor’s System Verilog extended RTL compiler (xRTL compiler).

のxRTL Complierってなんだ？

Googleに聞いてみたら、DVCon2008：Ending Endless VerificationのPgae.54にxRTL Compilerというものがある。
ブログに書いてあるようにどうやらエミュレータ関連のようだ！
もしかして、Transaction-based Simulation Acceleration Software - TestBench XPressのことか？

Mentorで調べてみたら、
TestBench Xpress Transaction-Based AccelerationにあるExtended RTL Compilerのことらしい。

で、XRTLを使うと、

    • RTL subset
    • Initial blocks
    • Clock generation & Reset logic using initial blocks
    • SV DPI Functions & Tasks
    • Events & Waits
    • Loops & Conditions
    • Implicit state machines
    • Multiple drivers
    • $finish & $display
    • $readmemh & $writememh

が合成できるそうな！

検証、Verification、Mentor、DPI-C