出てきました。AXI Bus Functional Model v1.1 User Guide
このドキュメントによると、AXI BFMはケイデンスから調達している模様。AXI UVC、とある。
そして、
P1735をサポートしているシミュレータは、P1735で暗号化されたライブラリが使えるようです。
このドキュメントによると、AXI BFMはケイデンスから調達している模様。AXI UVC、とある。
そして、
引用 The BFM solution is encrypted using either the Verilog P1735 IEEE standard or a vendor-specific encryption scheme.とあります。このBFMは、ModelSimの場合は、ModelSim用の暗号化されてライブラリですが、
P1735をサポートしているシミュレータは、P1735で暗号化されたライブラリが使えるようです。
AXIリファレンスガイドもあります。
検証、Verification、FPGA