bp062_delivery.txt

来自「amba3 sva 完全验证的代码」· 文本 代码 · 共 48 行

This transaction contains the ARM data versions listed below.

This data, unless otherwise stated, is ARM Proprietary and access to it
is subject to the internet click-thru agreement at:

http://www.arm.com/products/solutions/amba_3_axi_pc.html 

If you experience problems with this data, please contact ARM 
via the email address: [e-mail] 

 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

- BP062-BU-01000-r0p0-00rel0
  AMBA 3 AXI Protocol Assertions Bundle
  This is a bundled release containing the following:
  |
  |- BP062-DC-06002-r0p0-00rel0
  |  Release Note
  |  AMBA 3 AXI Protocol Checker Release Note
  |  internal access
  |
  |- BP062-DC-08001-r0p0-00rel0
  |  User Guide
  |  AMBA 3 AXI Protocol v1.0 Checker User Guide
  |  internal access
  |
  |- BP062-VL-70002-r0p0-00rel0
  |  Verilog OVL Assertions
  |  AMBA 3 AXI protocol assertions - Verilog OVL
  |  internal access
  |
  |- BP062-VL-70004-r0p0-00rel0
  |  System Verilog Assertions (SVA)
  |  AMBA 3 AXI Protocol assertions - SVA
  |  internal access
  |
  |- BP148-MN-22001-r0p0-00rel0
  |  AXI Protocol Support Synthesizable Verlg
  |  AXI Protocol Support Files Synthesizable Verilog
  |  internal access

 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

In addition to the data versions listed above, this transaction contains
this file, BP062_DELIVERY.TXT, which is the delivery note.