ARM、AMBA 3 AXI仕様のSystemVerilog/OVLアサーションをリリース>>ソースを無償提供

2006年3月7日、ARMは、AMBA 3 AXIファブリックをベースとしたSoCの設計と検証を高速化するAMBA 3 AXIアサーションのリリースを発表した。

プレスリリース：http://www.jp.arm.com/pressroom/06/060307.html

リリースされたアサーションは、SystemVerilog Assertions（SVA）形式とOpen Verification Library（OVL）形式の2種類で、これらはARMのWebサイト上で公開されており、ロイヤリティやライセンス料金を払うことなく、ソース形式で入手することができる。

※ダウンロードサイト： http://www.arm.com/products/solutions/amba_3_axi_pc.html

※AMBA 3 AXIアサーションに関する詳細は、アーム株式会社にお問い合わせ下さい。
http://www.jp.arm.com/