bp062_delivery.txt

amba3 sva 完全验证的代码

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.