Altera Mentor Verification IP Altera Edition AMBA AXI3/4T Manuel d'utilisateur Page 699
- Page / 783
- Table des matières
- MARQUE LIVRES
Noté. / 5. Basé sur avis des utilisateurs
Assertions
AXI4 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b
679
September 2013
a particular BFM. The property covered for each assertion is noted in Table A-2 under the
Property Reference column. The reference number refers to the section number in the AMBA
AXI Protocol Specification.
Note
Table A-2. AXI4 Assertions
Error
Code
Error Name Description Property
Ref
AXI4-
60000
AXI4_ADDRESS_WIDTH_EXCEEDS_64 AXI4 supports up to 64-bit
addressing.
A10.3.1
AXI4-
60001
AXI4_ADDR_FOR_READ_BURST_
ACROSS_4K_BOUNDARY
This read transaction has crossed a
4KB boundary.
A3.4.1
AXI4-
60002
AXI4_ADDR_FOR_WRITE_BURST_
ACROSS_4K_BOUNDARY
This write transaction has crossed a
4KB boundary.
A3.4.1
AXI4-
60003
AXI4_ARADDR_CHANGED_BEFORE_
ARREADY
The value of ARADDR has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted.
A3.2.1
AXI4-
60004
AXI4_ARADDR_FALLS_IN_REGION_
HOLE
The ARADDR value cannot be
decoded to a region in the region
map.
A8.2.1
AXI4-
60005
AXI4_ARADDR_UNKN ARADDR has an X value/ARADDR
has a Z value.
AXI4-
60006
AXI4_ARBURST_CHANGED_BEFORE_
ARREADY
The value of ARBURST has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted.
A3.2.1
AXI4-
60007
AXI4_ARBURST_UNKN ARBURST has an X
value/ARBURST has a Z value.
AXI4-
60008
AXI4_ARCACHE_CHANGED_BEFORE_
ARREADY
The value of ARCACHE has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted.
A3.2.1
AXI4-
60009
AXI4_ARCACHE_UNKN ARCACHE has an X
value/ARCACHE has a Z value.
AXI4-
60010
AXI4_ARID_CHANGED_BEFORE_ARREADY The value of ARID has changed from
its initial value between the time
ARVALID was asserted and before
ARREADY was asserted.
A3.2.1
AXI4-
60011
AXI4_ARID_UNKN ARID has an X value/ARID has a Z
value.
- Verification IP Altera 1
- Edition 1
- AMBA AXI3/4 1
- User Guide 1
- Table of Contents 10
- List of Examples 13
- List of Figures 16
- List of Tables 17
- About This User Guide 19
- Protocol Restrictions 19
- Supported Simulators 20
- Simulator GCC Requirements 21
- Chapter 1 23
- Mentor VIP Altera Edition 23
- What Is a Transaction? 24
- An AXI Transaction 24
- Chapter 2 31
- SystemVerilog API Overview 31
- Transaction Record 33
- Table 2-1. Transaction Fields 35
- AXI3 BFM Delay Mode 48
- Chapter 3 51
- SystemVerilog Master API 57
- Chapter 4 87
- SystemVerilog Slave API 93
- Operational 100
- Transaction 100
- AXI3 Example 101
- AXI4 Example 101
- September 2013 107
- AXI3 BFM 109
- Helper Functions 118
- Chapter 5 121
- Monitor BFM Protocol Support 122
- Monitor Timing and Events 122
- Monitor BFM Configuration 122
- Timing Variables 124
- Slave Attributes 125
- Error Detection 125
- Monitor Assertions 126
- SystemVerilog Monitor API 127
- Prototype 128
- Arguments 128
- Arguments config_name 130
- (AXI4) Configuration name: 130
- Chapter 6 155
- SystemVerilog Tutorials 155
- AXI3 BFM Master Test Program 156
- AXI4 BFM Master Test Program 161
- Verifying a Slave DUT 162
- Verifying a Master DUT 173
- Example 6-30. process_write 184
- Example 6-31. handle_write 185
- AXI4 BFM Slave Test Program 186
- Internal Memory 187
- Example 6-44. handle_read 197
- Example 6-45. process_write 198
- Chapter 7 203
- VHDL API Overview 203
- Test Program VHDL 204
- VHDL to SV Wrapper 204
- Configuration 205
- Creating Transactions 206
- AXI4 Transaction Definition 207
- Table 7-1. Transaction Fields 209
- Transaction Field Description 209
- Protocol Transaction Fields 209
- Executing Transactions 212
- Waiting Events 213
- Access Transaction Record 214
- Operation Mode 216
- Channel Handshake Delay 217
- AXI4 BFM Handshake Delay 218
- Data Beat Done 220
- Transaction Done 220
- Chapter 8 221
- Master BFM Protocol Support 222
- Master Timing and Events 222
- Master BFM Configuration 222
- Master Assertions 225
- AXI4 Assertion Configuration 226
- VHDL Master API 227
- Protocol 233
- Arguments cache 255
- AXI4 BFM 297
- Chapter 9 365
- VHDL AXI3 and AXI4 Slave BFMs 365
- Slave BFM Configuration 366
- Slave Assertions 369
- AXI3 Assertion Configuration 370
- VHDL Slave API 371
- Returns transaction_id 378
- Chapter 10 505
- VHDL Monitor API 511
- Chapter 11 627
- VHDL Tutorials 627
- Example 11-29. handle read 656
- Example 11-38. process_write 668
- Chapter 12 673
- Running the Qsys Tool 676
- Running Simulation 679
- Example Script Processing 682
- Appendix A 685
- Assertions 685
- AXI4 Assertions 698
- Appendix B 715
- Programs 715
- Appendix C 751
- End-User License Agreement 779
Produits connexes et manuels pour Instruments de mesure Altera Mentor Verification IP Altera Edition AMBA AXI3/4T
Instruments de mesure Altera PCI Development Kit, Cyclone II Edition Getting St Manuel d'utilisateur
(40 pages)
(40 pages)
Instruments de mesure Altera PCI Express Development Kit, Stratix II GX Edition Manuel d'utilisateur
(36 pages)
(36 pages)
Instruments de mesure Altera PowerPlay Early Power Estimator for Altera CPLDs Manuel d'utilisateur
(30 pages)
(30 pages)
© 2020, manymanuals.fr. Tous droits réservés | 0.019 s |
Manymanuals.com
Manymanuals.de
Manymanuals.fr
Manymanuals.it
Manymanuals.pl
Manymanuals.cz
Manymanuals.es
Manymanuals-pt.com
Commentaires sur ces manuels