How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Inheritance diagram for class svt_axi_checker:
|
||
|
|
Check description: Checks if snoop address is aligned with snoop data width
Pass condition: When ACADDR must be aligned to the data transfer size, which is determined by the width of the snoop data bus in bytes Fail condition: When ACADDR is not aligned to the data transfer size, which is determined by the width of the snoop data bus in bytes Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that ACSNOOP does not have reserved values Pass condition: When ACSNOOP value is inside {0, 1, 2, 3, 7, 8, 9, 13, 14, 15} Fail condition: When ACSNOOP value is not inside {0, 1, 2, 3, 7, 8, 9, 13, 14, 15} Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if acvalid was interrupted before acready got asserted Pass condition: When acvalid is asserted and arvalid to acready delay is zero Fail condition: When acvalid is not observed and acvalid to acready delay is not equal to zero Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks if acvalid is low when reset is active Pass condition: When reset is high than acvalid must not be asserted Fail condition: When reset is high and acvalid is asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that ARADDR/AWADDR should always be aligned to Atomicity Size Pass condition: When transaction never has an atomicity size greater than the alignment of its start address on ARADDR/AWADDR Fail condition: When transaction has an atomicity size greater than the alignment of its start address on ARADDR/AWADDR Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if read burst cross a 4KB boundary
Pass condition: When read burst must not cross the 4KB boundary Fail condition: When read burst is cross the 4KB boundary Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if read burst of WRAP type has an aligned address
Pass condition: When start address is aligned for read burst of WRAP type Fail condition: When start address is not aligned for read burst of WRAP type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if the value of arburst=2'b11 when arvalid is high Pass condition: When the arvalid is asserted and the arburst should not take reserved value 2'b11 Fail condition: When the arvalid is asserted and the arburst is taking reserved value 2'b11 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1 |
|
|
Check description: Checks if read burst of WRAP type has a valid length
Pass condition: When burst length for read burst of WRAP type must be inside of 2,4,8,16 Fail condition: When burst length for read burst of WRAP type is not inside of 2,4,8,16 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if size of read transfer exceeds the width of the data bus
Pass condition: When the burst size is not greater than the size of data width Fail condition: When the burst size is greater than the size of data width Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks the combinations of ARDOMAIN,ARSNOOP and ARBAR are valid and unreserved Pass condition: When the combinations of ARDOMAIN, ARSNOOP and ARBAR takes valid and unreserved values Fail condition: When the combinations of ARDOMAIN, ARSNOOP and ARBAR are not takes valid and unreserved values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the value of arcache[3:2]=2'b00 when arvalid is high and arcache[1] is also low
Pass condition: When the arvalid is asserted and arcache[1] is low than the value of arcache[3:2] is equal to 2'b00 Fail condition: When the arvalid is asserted and arcache[1] is not low than the value of arcache[3:2] is not equal to 2'b00 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1 |
|
|
Check description: Checks if arvalid was interrupted before arready got asserted Pass condition: When arready is asserted and arvalid to arready delay is zero Fail condition: When arvalid is not observed and arvalid to arready delay is not equal to zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if arvalid is low when reset is active Pass condition: When reset is high than arvalid must not be asserted Fail condition: When reset is high and arvalid is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if write burst cross a 4KB boundary
Pass condition: When write burst must not cross the 4KB boundary Fail condition: When write burst cross 4KB boundary Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if write burst of WRAP type has an aligned address
Pass condition: When start address is aligned for write burst of WRAP type Fail condition: When start address is not aligned for write burst of WRAP type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if the AWLEN for INCR is valid for AXI Transactions
Pass condition: When the AWLEN can be any value from 1-16 for an INCR burst and AWLEN must be 2,4,8 or 16 for a WRAP burst Fail condition: When the AWLEN does not take value from 1-16 for an INCR burst and AWLEN must be 2,4,8 or 16 for a WRAP burst Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the value of awburst=2'b11 when awvalid is high Pass condition: When the awvalid is asserted and the awburst should not take reserved value 2'b11 Fail condition: When the awvalid is asserted and the awburst is taking reserved value 2'b11 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if write burst of WRAP type has a valid length
Pass condition: When burst length for write burst of WRAP type must be inside of 2,4,8,16 Fail condition: When burst length for write burst of WRAP type is not inside of 2,4,8,16 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if size of write transfer exceeds the width of the data bus
Pass condition: When the burst size is not greater than the size of data width Fail condition: When the burst size is greater than the size of data width Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks the combinations of AWDOMAIN,AWSNOOP and AWBAR are valid and unreserved Pass condition: When the combinations of AWDOMAIN, AWSNOOP and AWBAR takes valid and unreserved values Fail condition: When the combinations of AWDOMAIN, AWSNOOP and AWBAR are not takes valid and unreserved values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the value of awcache[3:2]=2'b00 when awvalid is high and awcache[1] is also low
Pass condition: When the awvalid is asserted and awcache[1] is low than the value of awcache[3:2] is equal to 2'b00 Fail condition: When the awvalid is asserted and awcache[1] is not low than the value of awcache[3:2] is not equal to 2'b00 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if awvalid was interrupted before awready got asserted Pass condition: When awready is asserted and awvalid to awready delay is zero Fail condition: When awvalid is not observed and awvalid to awready delay is not equal to zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if awvalid is low when reset is active Pass condition: When reset is high than awvalid must not be asserted Fail condition: When reset is high and awvalid is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if the AXCACHE and AXDOMAIN value are valid
Pass condition: When the combination of AXCACHE and AXDOMAIN value are valid Fail condition: When the combination of AXCACHE and AXDOMAIN value are not valid Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the Device transactions, as indicated by AxCACHE[1] = 0, must only use AxDOMAIN = 11 Checks if the Cacheable transactions, as indicated by AxCACHE[3:2] != 00, must not use AxDOMAIN = 11
Pass condition: When device transaction indicated by AxCACHE[1] = 0, must only use AxDOMAIN = 11 When cacheable transaction indicated by AxCACHE[3:2] != 00, must not use AxDOMAIN = 11 Fail condition: When device transaction indicated by AxCACHE[1] = 0, not use AxDOMAIN = 11 When cacheable transaction indicated by AxCACHE[3:2] != 00, use AxDOMAIN = 11 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the Barrier Id valid and unreserved Pass condition: When range of ID values which can be used for Barrier transactions are specified using members barrier_id_min and barrier_id_max Fail condition: When range of ID values which can be used for Barrier transactions are not specified using members barrier_id_min and barrier_id_max Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that barrier pairs must be issued in the same sequence on the read address and write address channels Pass condition: When Barrier pairs must be issued in the same sequence on the read address and write address channels Fail condition: When Barrier pairs not issued in the same sequence on the read address and write address channels Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that both transactions in a barrier pair must have the same AxID, AxBAR, AxDOMAIN, and AxPROT values Pass condition: When ReadBarrier and write barrier transactions with AxID, AxBAR, AxDOMAIN, AxPROT not matching the last WriteBarrier/ReadBarrier with AxID Fail condition: When ReadBarrier and write barrier transactions with AxID, AxBAR, AxDOMAIN, AxPROT is matching the last WriteBarrier/ReadBarrier with AxID Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the Read Barrier valid response Pass condition: When RRESP must be all zeros for read barrier transactions Fail condition: When RRESP is not zeros for read barrier transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid value of AxUSER for write barrier transactions Pass condition: When a barrier transaction AxUSER has valid value 0x00 Fail condition: When a barrier transaction AxUSER not have valid value Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the Write Barrier valid response Pass condition: When BRESP must be all zeros for write barrier transactions Fail condition: When BRESP is not zeros for write barrier transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if bvalid was interrupted before bready got asserted Pass condition: When bready is asserted and bvalid to bready delay is zero Fail condition: When bvalid is not observed and bvalid to bready delay is not equal to zero Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if bvalid is low when reset is active Pass condition: When reset is high than bvalid must not be asserted Fail condition: When reset is high and bvalid is asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if the address is aligned for ARBURST in Cache Line Size Transactions
Pass condition: When address is aligned to burst_size for INCR burst in a Cache Line Size Transaction Fail condition: When address is not aligned to burst_size for INCR burst in a Cache Line Size Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARBURST is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARBURST Fail condition: When All cache line size transactions not have have valid ARBURST Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the address is aligned for ARBURST in Cache Line Size Transactions
Pass condition: When address is aligned to burst_size for WRAP burst in a Cache Line Size Transaction Fail condition: When address is not aligned to burst_size for WRAP burst in a Cache Line Size Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARCACHE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARCACHE Fail condition: When All cache line size transactions not have have valid ARCACHE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARDOMAIN is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARDOMAIN Fail condition: When All cache line size transactions not have have valid ARDOMAIN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARLEN is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARLEN Fail condition: When All cache line size transactions not have have valid ARLEN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARLOCK is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARLOCK Fail condition: When All cache line size transactions not have have valid ARLOCK Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARSIZE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARSIZE Fail condition: When All cache line size transactions not have have valid ARSIZE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARSIZE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid ARSIZE Fail condition: When All cache line size transactions not have have valid ARSIZE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the address is aligned for AWBURST in Cache Line Size Transactions
Pass condition: When address is aligned to burst_size for INCR burst in a Cache Line Size Transaction Fail condition: When address is not aligned to burst_size for INCR burst in a Cache Line Size Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWBURST is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWBURST Fail condition: When All cache line size transactions not have valid AWBURST Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the address is aligned for AWBURST in Cache Line Size Transactions
Pass condition: When address is aligned to burst_size for WRAP burst in a Cache Line Size Transaction Fail condition: When address is not aligned to burst_size for WRAP burst in a Cache Line Size Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWCACHE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWCACHE Fail condition: When All cache line size transactions not have have valid AWCACHE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWDOMAIN is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWDOMAIN Fail condition: When All cache line size transactions not have have valid AWDOMAIN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLEN is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWLEN Fail condition: When All cache line size transactions not have have valid AWLEN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLOCK is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWLOCK Fail condition: When All cache line size transactions not have have valid AWLOCK Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWSIZE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWSIZE Fail condition: When All cache line size transactions not have have valid AWSIZE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWSIZE is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AWSIZE Fail condition: When All cache line size transactions not have have valid AWSIZE Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AxBAR is valid for Cache Line Size Transactions
Pass condition: When All cache line size transactions must have valid AxBAR Fail condition: When All cache line size transactions not have have valid AxBAR Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AxLEN is correctly indicated as per the Cache Line Size configured
Pass condition: When Coherent transaction type of CLEANUNIQUE, EVICT, CLEANSHARED, CLEANINVALID, MAKEINVALID, MAKEUNIQUE, CLEANSHAREDPERSIST must have indicated correct AxLEN as per cache-line size Fail condition: When Coherent transaction type of CLEANUNIQUE, EVICT, CLEANSHARED, CLEANINVALID, MAKEINVALID, MAKEUNIQUE, CLEANSHAREDPERSIST is not indicated correct AxLEN as per cache-line size Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CleanInvalid and MakeInvalid cache maintenance transactions are not initiated while any memory update or shareable transactions are outstanding. It also checks that CleanShared cache maintenance transactions are not initiated while any memory update or any shareable transactions that can make the cacheline dirty, are outstanding
Pass condition: When CleanInvalid and MakeInvalid cache maintenance transactions are not initiated while any memory update or shareable transactions are outstanding Fail condition: When CleanInvalid and MakeInvalid cache maintenance transactions are not initiated while any memory update or shareable transactions are not outstanding Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that CDLAST signal is asserted during the final data transfer
Pass condition: When CDLAST signal is asserted during the final data transfer Fail condition: When CDLAST signal is not asserted during the final data transfer Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: Checks that the if DataTransfer de-asserted then no data transfer will occur on the snoop data channel for this transaction DataTransfer, CRRESP[0]
Pass condition: When DataTransfer is de-asserted and cdvalid is high then no data transfer should occur on the snoop data channel Fail condition: When DataTransfer is de-asserted and cdvalid is high, if data transfer occur on the snoop data channel Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if cdvalid was interrupted before cdrready got asserted Pass condition: When cdready is received and cdvalid to cdready delay is zero Fail condition: When cdready is received and cdvalid to cdready delay is not zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks if cdvalid is low when reset is active Pass condition: When reset is high than cdvalid must not be asserted Fail condition: When reset is high and cdvalid is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if CLEANINVALID transaction starts only from INVALID state
Pass condition: When CLEANINVALID transaction starts only from INVALID state Fail condition: When CLEANINVALID transaction not starts from INVALID state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if CLEANSHARED transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state
Pass condition: When CLEANSHARED transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state Fail condition: When CLEANSHARED transaction not starts from INVALID, UNIQUECLEAN or SHAREDCLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if CLEANSHAREDPERSIST transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state
Pass condition: When CLEANSHAREDPERSIST transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state Fail condition: When CLEANSHAREDPERSIST transaction not starts from INVALID, UNIQUECLEAN or SHAREDCLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: - svt_axi_port_configuration :: axi_interface_type is set svt_axi_port_configuration :: AXI_ACE - cfg.sys_cfg.passive_cache_monitor_enable is set to 1 . |
|
|
Check description: Checks the CLEANUNIQUE, MAKEUNIQUE, CLEANSHARED, CLEANINVALID,CLEANSHAREDPERSIST, MAKEINVALID, READBARRIER, DVMCOMPLETE, DVMMESSAGE transactions have only single read data channel transfer
Pass condition: When CLEANUNIQUE, MAKEUNIQUE, CLEANSHARED,CLEANSHAREDPERSIST, CLEANINVALID, MAKEINVALID, READBARRIER, DVMCOMPLETE, DVMMESSAGE transactions have only single read data channel transfer Fail condition: When CLEANUNIQUE, MAKEUNIQUE, CLEANSHARED,CLEANSHAREDPERSIST, CLEANINVALID, MAKEINVALID, READBARRIER, DVMCOMPLETE, DVMMESSAGE transactions not have single read data channel transfer Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that a cached master does not initiate WriteUnique or WriteLineUnique coherent write transaction while any WriteBack, WriteClean or WriteEvict transaction is outstanding
Pass condition: When a cached master completes any outstanding WriteBack, WriteClean, or WriteEvict transactions before issuing a WriteUnique or WriteLineUnique transaction Fail condition: When a cached master not completes any outstanding WriteBack, WriteClean, or WriteEvict transactions before issuing a WriteUnique or WriteLineUnique transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that a cached master does not issue WriteBack, WriteClean or WriteEvict transaction while any WriteUnique or WriteLineUnique coherent write transaction is in progress. It automatically checks second rule which says, Complete any incoming snoop transactions without the use of WriteBack, WriteClean, or WriteEvict transactions while a WriteUnique or WriteLineUnique transaction is in progress
Pass condition: When no additional WriteBack, WriteClean, or WriteEvict transactions are issued until all outstanding WriteUnique or WriteLineUnique transactions are completed Fail condition: When additional WriteBack, WriteClean, or WriteEvict transactions are issued until all outstanding WriteUnique or WriteLineUnique transactions are completed Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if crvalid was interrupted before crready got asserted Pass condition: When crready is received and crvalid to crready delay is zero Fail condition: When crready is received and crvalid to crready delay is not zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks if crvalid is low when reset is active Pass condition: When reset is high than crvalid must not be asserted Fail condition: When reset is high and crvalid is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks if snoop response has data transfer bit set for cacheline in dirty state
Pass condition: When cacheline is in Dirty state (UD or SD) then dataTransfer bit must be set when master sends snoop response Fail condition: When cacheline is not in Dirty state (UD or SD) then dataTransfer bit is not set when master sends snoop response Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the value of ACSNOOP for the DVM complete Pass condition: When ACSNOOP for DVM complete must be 0b1110 Fail condition: When ACSNOOP for DVM complete is not 0b1110 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVMCOMPLETE the valid value of ARSNOOP Pass condition: When ARSNOOP for DVMCOMPLETE must be 0b1110 Fail condition: When ARSNOOP for DVMCOMPLETE not of 0b1110 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVM ARBAR[0] is 1'b0 Pass condition: When DVM ARBAR must be zero means must having normal access Fail condition: When DVM ARBAR is not zero means not having normal access Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks For DVM ARBURST 'b01 Burst Type INCR Pass condition: When ARBURST for dvm must be INCR type Fail condition: When ARBURST for dvm is not of INCR type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVM ARCACHE 'b0010 Normal non-cacheable Pass condition: When DVM ARCACHE must be 0b0010, which means must be modifiable and non-cacheable Fail condition: When DVM ARCACHE is not 0b0010 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVM ARDOMAIN is Inner shareable or Outer shareable Pass condition: When DVM ARDOMAIN must be Inner shareable or Outer shareable Fail condition: When DVM ARDOMAIN is not of the Inner shareable or Outer shareable Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks For DVM ARLEN All zero Pass condition: When burst length must be 1, which means ARLEN[7:0] must be 0x00. Fail condition: When burst length is not equal to 1 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVM ARLOCK 'b0 Normal Access Pass condition: When DVM ARLOCK must be zero or having normal access Fail condition: When DVM ARLOCK is not having normal acsess Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVM ARSIZE Matches the data bus width Pass condition: When burst length must be 1, which means ARLEN[7:0] must be 0x00. Fail condition: When burst length is not equal to 1 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVMHINT, DVM Operation the valid value of ARADDR[15] Pass condition: Fail condition: Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the value of ACSNOOP for the DVM SYNC Pass condition: When the ACSNOOP value for DVM message must be 0b1111 Fail condition: When ACSNOOP value for DVM message is not 0b1111 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVMSYNC, DVM Operation the valid value of ARADDR[(n-1):32],[15],[11:0] bits Pass condition: Fail condition: Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for DVMSYNC, DVM Operation the valid value of ARSNOOP Pass condition: When ARSNOOP for DVM Message must be 0b1111 Fail condition: When ARSNOOP for DVM Message is not of 0b1111 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks For a DVM Complete, ACADDR is defined to be all zeros Pass condition: When ACADDR must be zero for DVM Complete Fail condition: When ACADDR is not zero for DVM Complete Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks For a DVM Complete message, ARADDR is defined to be all zeros Pass condition: When ARADDR must be zero for DVM Complete Fail condition: When ARADDR is not zero for DVM Complete Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks FOR DVM Message the value of reserve address bit should be zero Pass condition: Fail condition: Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[0] of DVM message type Branch Predictor Invalidate Pass condition: When ARADDR[0] must have valid value 1'b0,1'b1 for DVM message Branch Predictor Invalidate Fail condition: When ARADDR[0] is not have values 1'b0,1'b1 for DVM message Branch Predictor Invalidate Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[0] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ARADDR[0] of DVM message type Physical Instruction Cache Invalidate have following valid values:
Fail condition: When ARADDR[0] of DVM message type Physical Instruction Cache Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[9:8] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ARADDR[9:8] is have valid values (2'b10, 2'b11) of DVM message type Physical Instruction Cache Invalidate Fail condition: When ARADDR[9:8] is not have valid values (2'b10, 2'b11) of DVM message type Physical Instruction Cache Invalidate Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[0] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ACADDR[0] of DVM message type Physical Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[0] of DVM message type Physical Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[6:5] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ARADDR[6:5] of DVM message type Physical Instruction Cache Invalidate have following valid values:
Fail condition: When ARADDR[6:5] of DVM message type Physical Instruction Cache Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks FOR DVM Message the value of reserve address bit should be zero Pass condition: When for DVM Message the value of reserve address bit is zero Fail condition: When for DVM Message the value of reserve address bit is not zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[0] of DVM message type TLB Invalidate Pass condition: When ARADDR[0] of DVM message type TLB Invalidate have following valid values:
Fail condition: When ARADDR[0] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[5] of DVM message type TLB Invalidate Pass condition: When ARADDR[5] of DVM message type TLB Invalidate must have following valid values:
Fail condition: When ARADDR[5] of DVM message type TLB Invalidate not takes valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[11:10] of DVM message type TLB Invalidate Pass condition: When ARADDR[11:10] of DVM message type TLBI have following valid value:
Fail condition: When ARADDR[11:10] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[9:8] of DVM message type TLB Invalidate Pass condition: When ARADDR[9:8] of DVM message type TLBI must have following valid values:
Fail condition: When ARADDR[9:8] of DVM message type TLBI not takes valid values for all the versions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[0] of DVM message type TLB Invalidate Pass condition: When ACADDR[0] of DVM message type TLB Invalidate have following valid values:
Fail condition: When ACADDR[0] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[6] of DVM message type TLB Invalidate Pass condition: When ARADDR[6] of DVM message type TLB Invalidate have the following valid values:
Fail condition: When ARADDR[6] of DVM message type TLBI not takes valid value according to dvm versions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[0] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ARADDR[0] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ARADDR[0] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[5] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ARADDR[5] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ARADDR[5] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ARADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate have values {2'b00,2'b10,2'b11} Fail condition: When ARADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate not have values {2'b00,2'b10,2'b11} Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ARADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate have the following valid values:
Fail condition: When ARADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate not have the valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[0] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ACADDR[0] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[0] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ARADDR[6] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ARADDR[6] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ARADDR[6] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping ARID of DVM transactions with any active Read transactions Pass condition: When ARID of DVM transactions overlap with any active Read transactions Fail condition: When ARID of DVM transactions is not overlap with any active Read transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if EVICT transaction starts only from UNIQUECLEAN or SHAREDCLEAN state
Pass condition: When EVICT transaction starts only from UNIQUECLEAN or SHAREDCLEAN state Fail condition: When EVICT transaction not starts from UNIQUECLEAN or SHAREDCLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that exclusive transaction sent on AXI_ACE interface are only of WRITENOSNOOP, READNOSNOOP, READCLEAN, READSHARED and CLEANUNIQUE type Pass condition: When exclusive transaction type coherent and coherent transaction type is WRITENOSNOOP, READNOSNOOP, READCLEAN, READSHARED and CLEANUNIQUE type Fail condition: When exclusive transaction type coherent and coherent transaction type is not of WRITENOSNOOP, READNOSNOOP, READCLEAN, READSHARED and CLEANUNIQUE type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that if cacheline is in invalid state then exclusive load transaction is issued only as READCLEAN or READSHARED
Pass condition: When cacheline is in invalid state then exclusive load transaction is issued only as READCLEAN or READSHARED Fail condition: When cacheline is not in invalid state then exclusive load transaction is issued only as READCLEAN or READSHARED Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that response generated for exclusive load accesss is correct Pass condition: When exclusive read response match with expected exclusive response Fail condition: When exclusive read response does not match with expected exclusive response Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that address is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction address is same as normal transaction Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that burst size is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction burst size is same as normal transaction burst size Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that burst type is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction burst type is same as normal transaction burst type Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that cache type is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction cache type is same as normal transaction cache type Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that id is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive transaction partial exclusive id is equal to the normal transaction partial exclusive id Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that protection type is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction protection type is same as normal transaction protection type Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that if cacheline is in invalid state then exclusive store transaction is not issued
Pass condition: When cacheline is in invalid state then exclusive store transaction is not issued Fail condition: When cacheline is not in invalid state then exclusive store transaction is issued Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that master does not permit an Exclusive Store transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence Pass condition: When any transaction is performing exclusive sequence than master does not permit an exclusive store transaction to be in progress at same time. Fail condition: When any transaction is performing exclusive sequence and if master permit an exclusive store transaction to be in progress at same time. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that response generated for exclusive store accesss is correct Pass condition: When exclusive read response is match exclusive store response Fail condition: When exclusive read response does not match exclusive store response Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that READ_ONLY_INTERFACE does not support exclusive access Pass condition: When write only interface support does not exclusive access Fail condition: When write only interface support exclusive access Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that WRITE_ONLY_INTERFACE does not support exclusive access Pass condition: When write only interface support does not exclusive access Fail condition: When write only interface support exclusive access Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that burst length is generated same for exclusive read and write transactions This is pass only check as VIP will consider a load and store to be exclusive pairs only when these properties are matching. Not having the matched properties b/w load store pair is not a protocol violation. Pass condition: When the exclusive access transaction burst length is same as normal transaction burst length Fail condition: NA Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that if cacheline is in shared state then exclusive transaction is issued only as CLEANUNIQUE, READCLEAN or READSHARED
Pass condition: When cacheline is in shared state then exclusive transaction is issued only as CLEANUNIQUE, READCLEAN or READSHARED Fail condition: When cacheline is in shared state then exclusive transaction is issued other than CLEANUNIQUE, READCLEAN or READSHARED Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that, once a master receives successful exclusive store response EXOKAY from interconnect, then no other master should be provided with EXOKAY response, until current master acknowledges completing successful exclusive store by asserting RACK Pass condition: When no other master should be provided with EXOKAY response, until current master acknowledges completing successful exclusive store by asserting RACK Fail condition: When any master provided with EXOKAY response, until current master acknowledges completing successful exclusive store by asserting RACK Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: checks that the EXOKAY response is observed only for permitted exclusive access transactions
Pass condition: When EXOKAY response is observed only for permitted exclusive access transactions Fail condition: When EXOKAY response is not observed only for permitted exclusive access transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the FIXED burst type is not supported for shareable transactions
Pass condition: When FIXED burst type for coherent transaction type is inside ReadNoSnoop and WriteNoSnoop transactions Fail condition: When FIXED burst type for coherent transaction type is not inside ReadNoSnoop and WriteNoSnoop transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: If DataTransfer is asserted, a full cache line of data must be provided on the snoop data channel
Pass condition: When DataTransfer = 1 is asserted, a full cache line of data must be provided on the snoop data channel Fail condition: When DataTransfer = 1 is asserted, a full cache line of data is not provided on the snoop data channel Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if all transactions (other than ReadNoSnoop, ReadOnce, WriteNoSnoop, WriteUnique, WriteBack, WriteClean,DVM Message and Barrier) are required to be a full cache line size
Pass condition: When all these transaction are full cache line size Fail condition: When all these are not required to be a full cache line size Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: Check that the master follows as per the recommendation from spec to limit 2 transaction for the lock access
Pass condition: When the Sequence detected with less than two locked transactions Fail condition: When the Sequence detected with more than two locked transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that when a master does a lock transaction, it does not target subsequent transactions in the lock sequence to any slave other than the locked slave
Pass condition: When the the slave port id for the new sequence is match the slave port id for the previous transaction in the locked sequence Fail condition: When the the slave port id for the new sequence does not match the slave port id for the previous transaction in the locked sequence Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that all transactions of locked sequence have the same id
Pass condition: When the transaction id is same as locked transaction id Fail condition: When the transaction id is not same as locked transaction id Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Trace_tag value on data channel or resposne channel should be directly mapped to the associated request. Pass condition: when trace_tag value on data channel or resposne channel is matching with the trace tag value in the address channel. Fail condition: when trace_tag value on data channel or resposne channel is not matching with the trace tag value in the address channel. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information:
|
|
|
Check description: Checks if MAKEINVALID transaction starts only from INVALID state
Pass condition: When MAKEINVALID transaction starts only from INVALID state Fail condition: When MAKEINVALID transaction not starts from INVALID state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AXI master and AXI slave are not exceeding the user configured maximum number of outstanding transactions (num_outstanding_xact) If num_outstanding_xact = -1 then num_outstanding_xact will not be considered, instead num_read_outstanding_xact and num_write_outstanding_xact will be considered for read and write transactions respectively. .
Pass condition: When the total number of outstanding transactions is not greater than the user configured num_oustanding_xact Fail condition: When the total number of outstanding transactions is greater than the user configured num_oustanding_xact Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the burst length of received data stream is not exceeding the maximum value allowed for stream_burst_length defined by 256 Pass condition: When burst length of received data stream is not exceeding the maximum value allowed for stream_burst_length Fail condition: When burst length of received data stream is exceeded the maximum value allowed for stream_burst_length Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: Checks that all transactions of multi-part DVM operation have same ID Pass condition: When all transactions of multi-part DVM operation have same ID as normal transaction id Fail condition: When all transactions of multi-part DVM operation not have same ID as normal transaction id Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that all transactions of multi-part DVM operation have same coherent response Pass condition: When all transactions of multi-part DVM operation have same coherent response Fail condition: When all transactions of multi-part DVM operation not have same coherent response Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that all coherent transactions of multi-part DVM operation are sent in successive manner and no unrelated coherent transaction sent during multi-part DVM opearion over AR channel Pass condition: When there are no unrelated read-address channel transfer in between two multi-part DVM operations which relate to the same DVM transaction Fail condition: When there are unrelated read-address channel transfer in between two multi-part DVM operations which is not relate to the same DVM transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
|
Check description: Checks that all transactions of multi-part DVM operation have same snoop response Pass condition: When snoop response which should be same as first-part of the multi-part DVM transaction Fail condition: When snoop response is not same as first-part of the multi-part DVM transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that all snoop transactions of multi-part DVM operation are sent in successive manner and no unrelated snoop transaction sent during multi-part DVM opearion over AC channel Pass condition: When there are no unrelated snoop channel transfer in between two multi-part DVM operations which relate to the same DVM transaction Fail condition: When there are unrelated snoop channel transfer in between two multi-part DVM operations which is not relate to the same DVM transaction Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WriteBack, WriteClean or any shareable transactions that permits the line to be allocated are not issued while cache maintenance transaction is in progress.
Pass condition: check will pass if WriteBack, WriteClean or any shareable transactions that permits the line to be allocated are not issued while cache maintenance transaction is in progress. Fail condition: check will fail if WriteBack, WriteClean or any shareable transactions that permits the line to be allocated are issued while cache maintenance transaction is in progress. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that there is no outstanding transaction with same arid
Pass condition: When there is no outstanding transaction with same arid Fail condition: When there is outstanding transaction with same arid Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that there is no outstanding transaction with same awid
Pass condition: When there is no outstanding transaction with same awid Fail condition: When there is outstanding transaction with same awid Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that there are no pending transactions of a locked sequeunce when a normal transaction is received
Pass condition: When the normal transaction detected when a locked sequeunce is complete Fail condition: When the normal transaction detected when a locked sequeunce is not complete Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that there are no pending transactions before a locked sequence starts
Pass condition: When the locked sequence is detected and active transaction found Fail condition: When the locked sequence is detected and no active transaction found Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for no data transfer occurs for a CleanShared,Cleansharedpersist, CleanInvalid, CleanUnique, MakeUnique, MakeInvalid and Evict Transactions
Pass condition: When no data transfer occurs for a CleanShared,Cleansharedpersist, CleanInvalid, CleanUnique, MakeUnique, MakeInvalid and Evict Transactions Fail condition: When data transfer occurs for a CleanShared,Cleansharedpersist, CleanInvalid, CleanUnique, MakeUnique, MakeInvalid and Evict Transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the average latency of read transactions in a given interval is not more than the configured max value Pass condition: When the average latency of read transactions in a given interval is not more than the configured max value Fail condition: When the average latency of read transactions in a given interval is more than the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the average latency of write transactions in a given interval is not more than the configured max value Pass condition: When the average latency of write transactions in a given interval is not more than the configured max value Fail condition: When the average latency of write transactions in a given interval is more than the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the average latency of read transactions in a given interval is not less than the configured min value Pass condition: When the average latency of read transactions in a given interval is not less than the configured min value Fail condition: When the average latency of read transactions in a given interval is less than the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the average latency of write transactions in a given interval is not less than the configured min value Pass condition: When the average latency of write transactions in a given interval is not less than the configured min value Fail condition: When the average latency of write transactions in a given interval is less than the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the bandwidth of read transactions in a given interval is not more that the configured max value Pass condition: When the bandwidth of read transactions in a given interval is not more that the configured max value Fail condition: When the bandwidth of read transactions in a given interval is more that the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the throughput of read transactions in a given interval is not more that the configured max value Pass condition: When the throughput of read transactions in a given interval is not more that the configured max value Fail condition: When the throughput of read transactions in a given interval is more that the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the latency of a read transaction is not greater than the configured max value Pass condition: When the latency of a read transaction is not greater than the configured max value Fail condition: When the latency of a read transaction is greater than the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the bandwidth of write transactions in a given interval is not more that the configured max value Pass condition: When the bandwidth of write transactions in a given interval is not more that the configured max value Fail condition: When the bandwidth of write transactions in a given interval is more that the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the throughput of write transactions in a given interval is not more that the configured max value Pass condition: When the throughput of write transactions in a given interval is not more that the configured max value Fail condition: When the throughput of write transactions in a given interval is more that the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the latency of a write transaction is not greater than the configured max value Pass condition: When latency of a write transaction is not greater than the configured max value Fail condition: When latency of a write transaction is greater than the configured max value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the bandwidth of read transactions in a given interval is not less that the configured min value Pass condition: When the bandwidth of read transactions in a given interval is not less that the configured min value Fail condition: When the bandwidth of read transactions in a given interval is less that the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the throughput of read transactions in a given interval is not less that the configured min value Pass condition: When the throughput of read transactions in a given interval is not less that the configured min value Fail condition: When the throughput of read transactions in a given interval is less that the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the latency of a read transaction is not lesser than the configured min value Pass condition: When the latency of a read transaction is not lesser than the configured min value Fail condition: When lthe latency of a read transaction is lesser than the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the bandwidth of write transactions in a given interval is not less that the configured min value Pass condition: When the bandwidth of write transactions in a given interval is not less that the configured min value Fail condition: When the bandwidth of write transactions in a given interval is less that the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the throughput of write transactions in a given interval is not less that the configured min value Pass condition: When the throughput of write transactions in a given interval is not less that the configured min value Fail condition: When the throughput of write transactions in a given interval is less that the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the latency of a write transaction is not lesser than the configured min value Pass condition: When latency of a write transaction is not lesser than the configured min value Fail condition: When latency of a write transaction is lesser than the configured min value Applicable device type: Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: address does fall to correct interleaved port. Fail condition: address does not fall to correct interleaved port. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information: |
|
|
Last sampled value of reset
|
|
|
Check description: Checks the RACK for valid response Pass condition: When RACK is asserted in response to all RLAST/RVALID/RREADY handshakes Fail condition: When RACK is not asserted in response to all RLAST/RVALID/RREADY handshakes Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Checks if the number of read data items matches ARLEN for the corresponding address
|
|
|
Check description: Checks that sample read data has associated address
Pass condition: When the read data must follow the read address of the data Fail condition: When the read data not follow the read address of the data Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1 and dynamic_reset_flag is set to 0. |
|
|
Check description: Checks that Master reports an error when it recieves interleaved read data.
Pass condition: There is no check pass condition. Fail condition: Check will fail if Master recieves read data in interleaved fashion and svt_axi_port_configuration :: read_interleaving_disabled is set to 1. Applicable device type: Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: read_interleaving_disabled is set to 1. |
|
|
Check description: Checks that READ_ONLY_INTERFACE supports only read transactions
Pass condition: When write transaction is not detected on READ ONLY interface Fail condition: When write transaction detected on READ ONLY interface Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if the ARBURST is valid for ReadOnce Transactions
Pass condition: When ARBURST is valid for ReadOnce Transactions Fail condition: When ARBURST is not valid for ReadOnce Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARCACHE is valid for ReadOnce Transactions
Pass condition: When ARCACHE is valid for ReadOnce Transactions Fail condition: When ARCACHE is not valid for ReadOnce Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARDOMAIN is valid for ReadOnce Transactions
Pass condition: When ARDOMAIN is valid for ReadOnce Transactions Fail condition: When ARDOMAIN is not valid for ReadOnce Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the ARLOCK is valid for ReadOnce Transactions
Pass condition: When ARLOCK is valid for ReadOnce Transactions Fail condition: When ARLOCK is not valid for ReadOnce Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the ARADDR is valid for ARBAR Pass condition: When ARADDR must be all zeros for read barrier transactions Fail condition: When ARADDR is not zero for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations ARBURST and ARBAR are valid and unreserved Pass condition: When ARBURST must be INCR type for read barrier transactions Fail condition: When ARBURST is not INCR type for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of ARCACHE and ARBAR are valid and unreserved Pass condition: When ARCACHE must be Normal, Non-cacheable for read barrier transactions Fail condition: When ARCACHE is not of Normal, Non-cacheable for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of ARLEN and ARBAR are valid and unreserved Pass condition: When ARLEN must be all zeros for read barrier transactions Fail condition: When ARLEN is not zero for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of ARLOCK and ARBAR are valid and unreserved Pass condition: When ARLOCK must have normal access for read barrier transactions Fail condition: When ARLOCK is not having normal access for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of ARSIZE and ARBAR are valid and unreserved Pass condition: When ARSIZE must be equal to the data bus width for read barrier transactions Fail condition: When ARSIZE is not equal to the data bus width for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of ARSNOOP and ARBAR are valid and unreserved Pass condition: When ARSNOOP must be all zeros for read barrier transactions Fail condition: When ARSNOOP is not zero for read barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of cleaninvalid Transactions
Pass condition: When the valid response for CleanInvalid Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for CleanInvalid Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of cleanshared Transactions
Pass condition: When the valid response for CleanShared Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Fail condition: When the valid response for CleanShared Transaction are not of IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of cleansharedPersist Transactions
Pass condition: When the valid response for CleanSharedPersist Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Fail condition: When the valid response for CleanSharedPersist Transaction are not of IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of cleanunique Transactions
Pass condition: When the valid response for CleanUnique Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for CleanUnique Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Checks the valid response of DVM Complete Transactions
Pass condition: When the valid response for DVMComplete Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for DVMComplete Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of DVM Message Transactions
Pass condition: When the valid response for DVMMessage Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for DVMMessage Transaction are not IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of makeinvalid Transactions
Pass condition: When the valid response for MakeInvalid Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for MakeInvalid Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of makeunique Transactions
Pass condition: When the valid response for MakeUnique Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for MakeUnique Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of readbarrier Transactions
Pass condition: When the valid response for ReadBarrier Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for ReadBarrier Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of readclean Transactions
Pass condition: When the valid response for ReadClean Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Fail condition: When the valid response for ReadClean Transaction are not of IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Checks the valid response of readnosnoop Transactions
Pass condition: When the valid response for ReadNoSnoop Transaction are IsShared=0;PassDirty=0 Fail condition: When the valid response for ReadNoSnoop Transaction are not of IsShared=0;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of readnotshareddirty Transactions
Pass condition: When the valid response for ReadNotSharedDirty Transaction are IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1 & IsShared=1;PassDirty=0 Fail condition: When the valid response for ReadNotSharedDirty Transaction are not of IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1 & IsShared=1;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Checks the valid response of readonce Transactions
Pass condition: When the valid response for ReadOnce Transaction are IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Fail condition: When the valid response for ReadOnce Transaction are not of IsShared=0;PassDirty=0 & IsShared=1;PassDirty=0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid response of readunique Transactions
Pass condition: When the valid response for ReadUnique Transaction are IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1 Fail condition: When the valid response for ReadUnique Transaction are not of IsShared=0;PassDirty=0 & IsShared=0;PassDirty=1 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Checks the overlapping ARID of Non-Barrier Non-DVM transactions with any active Barrier/DVM transactions Pass condition: When RID of Non-Barrier Non-DVM transactions overlap with any active Barrier/DVM transactions Fail condition: When RID of Non-Barrier Non-DVM transactions is not overlap with any active Barrier/DVM transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping ARID of Read Barrier transactions with any active Read transactions Pass condition: When ARID of Read Barrier transactions overlap with other active Non-Barrier transactions Fail condition: When ARID Read Barrier transactions is not overlap with other active Non-Barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping ARID of Non-DVM or Non-Device transactions with any active transactions
Pass condition: When ARID of Non-DVM or Non-Device transactions overlap with any active transactions Fail condition: When ARID of Non-DVM or Non-Device transactions not overlap with any active transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: |
|
|
OVM report server passed in through the constructor
|
|
|
Check description: Checks that Master does not receive a snoop transaction until any preceding transaction to the same cache line has completed
Pass condition: When Master does not receive a snoop transaction until any preceding transaction to the same cache line has completed Fail condition: When Master receive a snoop transaction until any preceding transaction to the same cache line has completed Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Monitor Check that RLAST is HIGH only for the last beat of READ burst
Pass condition: When the last beat of read data is transfer than RLAST must be asserted Fail condition: When the last beat of read data is transfer and RLAST is not asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: rlast_enable is set to 1 |
|
|
Check description: Checks if rvalid was interrupted before rready got asserted Pass condition: When rready is asserted and rvalid to rready delay is zero Fail condition: When rvalid is not observed and rvalid to rready delay is not equal to zero Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if rvalid is low when reset is active Pass condition: When reset is high than rvalid must not be asserted Fail condition: When reset is high and rvalid is asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that observed_acaddr[2:0] must be zero for dvm_version less than DVM_v8.4 for multipart DVM transactions. Pass condition: observed_acaddr[2:0] is zero for multipart DVM transactions. Fail condition: observed_acaddr[2:0] is non zero for multipart DVM transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARADDR[2:0] for multipart dvm xact is not other than SBZ Pass condition: When ARADDR[2:0] for multipart dvm xact is not other than SBZ Fail condition: When ARADDR[2:0] for multipart dvm xact is other than SBZ Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that RACK signal must be asserted the cycle after the associated handshake or later
Pass condition: When RACK signal must be asserted the cycle after the associated handshake or later Fail condition: When RACK signal is asserted the cycle before the associated handshake or later Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI_ACE. |
|
|
Check description: Checks that RACK is asserted for a single cycle
Pass condition: When RACK is not asserted for a single cycle Fail condition: When RACK is seen, but found no associated transaction whose data is complete RACK should be asserted for a single cycle Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI_ACE. |
|
|
Check description: Checks that ACADDR is stable when ARVALID is high Pass condition: ACADDR is stable when ARVALID is high Fail condition: ACADDR is not stable when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ACPROT is stable when ARVALID is high Pass condition: ACPROT is stable when ARVALID is high Fail condition: ACPROT is not stable when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ACSNOOP is stable when ARVALID is high Pass condition: ACSNOOP is stable when ARVALID is high Fail condition: ACSNOOP is not stable when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARADDR is stable when ARVALID is high Pass condition: ARADDR is stable when ARVALID is high Fail condition: ARADDR is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARBAR is stable when ARVALID is high Pass condition: ARBAR is stable when ARVALID is high Fail condition: ARBAR is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARBURST is stable when ARVALID is high Pass condition: ARBURST is stable when ARVALID is high Fail condition: ARBURST is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARCACHE is stable when ARVALID is high Pass condition: ARCACHE is stable when ARVALID is high Fail condition: ARCACHE is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARDOMAIN is stable when ARVALID is high Pass condition: ARDOMAIN is stable when ARVALID is high Fail condition: ARDOMAIN is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARID is stable when ARVALID is high Pass condition: ARID is stable when ARVALID is high Fail condition: ARID is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARLEN is stable when ARVALID is high Pass condition: ARLEN is stable when ARVALID is high Fail condition: ARLEN is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARLOCK is stable when ARVALID is high Pass condition: ARLOCK is stable when ARVALID is high Fail condition: ARLOCK is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARPROT is stable when ARVALID is high Pass condition: ARPROT is stable when ARVALID is high Fail condition: ARPROT is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARQOS is stable when ARVALID is high Pass condition: ARQOS is stable when ARVALID is high Fail condition: ARQOS is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARREGION is stable when ARVALID is high Pass condition: ARREGION is stable when ARVALID is high Fail condition: ARREGION is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARSIZE is stable when ARVALID is high Pass condition: ARSIZE is stable when ARVALID is high Fail condition: ARSIZE is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARSNOOP is stable when ARVALID is high Pass condition: ARSNOOP is stable when ARVALID is high Fail condition: ARSNOOP is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARTRACE is stable when ARVALID is high. Pass condition: ARTRACE is stable when ARVALID is high. Fail condition: ARTRACE is not stable when ARVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARUSER is stable when ARVALID is high Pass condition: ARUSER is stable when ARVALID is high Fail condition: ARUSER is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: aruser_enable is set to 1. |
|
|
Check description: Checks that AWADDR is stable when AWVALID is high Pass condition: AWADDR is stable when AWVALID is high Fail condition: AWADDR is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWBAR is stable when AWVALID is high Pass condition: AWBAR is stable when AWVALID is high Fail condition: AWBAR is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWBURST is stable when AWVALID is high Pass condition: AWBURST is stable when AWVALID is high Fail condition: AWBURST is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWCACHE is stable when AWVALID is high Pass condition: AWCACHE is stable when AWVALID is high Fail condition: AWCACHE is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWDOMAIN is stable when AWVALID is high Pass condition: AWDOMAIN is stable when AWVALID is high Fail condition: AWDOMAIN is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWID is stable when AWVALID is high Pass condition: AWID is stable when AWVALID is high Fail condition: AWID is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWLEN is stable when AWVALID is high Pass condition: AWLEN is stable when AWVALID is high Fail condition: AWLEN is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWLOCK is stable when AWVALID is high Pass condition: AWLOCK is stable when AWVALID is high Fail condition: AWLOCK is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWPROT is stable when AWVALID is high Pass condition: AWPROT is stable when AWVALID is high Fail condition: AWPROT is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWQOS is stable when AWVALID is high Pass condition: AWQOS is stable when AWVALID is high Fail condition: AWQOS is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWREGION is stable when AWVALID is high Pass condition: AWREGION is stable when AWVALID is high Fail condition: AWREGION is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSIZE is stable when AWVALID is high Pass condition: AWSIZE is stable when AWVALID is high Fail condition: AWSIZE is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWSNOOP is stable when AWVALID is high Pass condition: AWSNOOP is stable when AWVALID is high Fail condition: AWSNOOP is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWTRACE is stable when AWVALID is high. Pass condition: AWTRACE is stable when AWVALID is high. Fail condition: AWTRACE is not stable when AWVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWUNIQUE is stable when AWVALID is high Pass condition: AWUNIQUE is stable when AWVALID is high Fail condition: AWUNIQUE is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWUSER is stable when AWVALID is high Pass condition: AWUSER is stable when AWVALID is high Fail condition: AWUSER is not stable when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: awuser_enable is set to 1. |
|
|
Check description: Checks that BID is stable when BVALID is high Pass condition: BID is stable when BVALID is high Fail condition: BID is not stable when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that BRESP is stable when BVALID is high Pass condition: BRESP is stable when BVALID is high Fail condition: BRESP is not stable when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that BTRACE is stable when BVALID is high. Pass condition: BTRACE is stable when BVALID is high. Fail condition: BTRACE is not stable when BVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BUSER is stable when BVALID is high Pass condition: BUSER is stable when BVALID is high Fail condition: BUSER is not stable when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: buser_enable is set to 1. |
|
|
Check description: Checks that CDDATA is stable when CDVALID is high Pass condition: CDDATA is stable when CDVALID is high Fail condition: CDDATA is not stable when CDVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that cdlast is stable when cdvalid is high Pass condition: cdlast is stable when cdvalid is high Fail condition: cdlast is not stable when cdvalid is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CDPOISON is stable when CDVALID is high. Pass condition: CDPOISON is stable when CDVALID is high. Fail condition: CDPOISON is not stable when CDVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CDTRACE is stable when CDVALID is high. Pass condition: CDTRACE is stable when CDVALID is high. Fail condition: CDTRACE is not stable when CDVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CRRESP is stable when CRVALID is high Pass condition: CRRESP is stable when CRVALID is high Fail condition: CRRESP is not stable when CRVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CRTRACE is stable when CRVALID is high Pass condition: CRTRACE is stable when CRVALID is high Fail condition: CRTRACE is not stable when CRVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RDATA is stable when RVALID is high Pass condition: RDATA is stable when RVALID is high Fail condition: RDATA is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that RID is stable when RVALID is high Pass condition: RID is stable when RVALID is high Fail condition: RID is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that RLAST is stable when RVALID is high Pass condition: RLAST is stable when RVALID is high Fail condition: RLAST is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that RPOISON is stable when RVALID is high. Pass condition: RPOISON is stable when RVALID is high. Fail condition: RPOISON is not stable when RVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RRESP is stable when RVALID is high Pass condition: RRESP is stable when RVALID is high Fail condition: RRESP is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that RTRACE is stable when RVALID is high. Pass condition: RTRACE is stable when RVALID is high. Fail condition: RTRACE is not stable when RVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RUSER is stable when RVALID is high Pass condition: RUSER is stable when RVALID is high Fail condition: RUSER is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: ruser_enable is set to 1. |
|
|
Check description: Checks that TDATA is stable when TVALID is high. Pass condition: tdata is stable when tvalid is high. Fail condition: tdata changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TDEST is stable when TVALID is high. Pass condition: tdest is stable when tvalid is high. Fail condition: tdest changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TID is stable when TVALID is high. Pass condition: tid is stable when tvalid is high. Fail condition: tid changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TKEEP is stable when TVALID is high. Pass condition: tkeep is stable when tvalid is high. Fail condition: tkeep changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TLAST is stable when TVALID is high. Pass condition: tlast is stable when tvalid is high. Fail condition: tlast changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TSTRB is stable when TVALID is high. Pass condition: tstrb is stable when tvalid is high. Fail condition: tstrb changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TUSER is stable when TVALID is high. Pass condition: tuser is stable when tvalid is high. Fail condition: tuser changes when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WDATA is stable when WVALID is high Pass condition: WDATA is stable when WVALID is high Fail condition: WDATA is not stable when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WID is stable when WVALID is high Pass condition: WID is stable when WVALID is high Fail condition: WID is not stable when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI3. |
|
|
Check description: Checks that WLAST is stable when WVALID is high Pass condition: WLAST is stable when WVALID is high Fail condition: WLAST is not stable when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WPOISON is stable when WVALID is high. Pass condition: WPOISON is stable when WVALID is high. Fail condition: WPOISON is not stable when WVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WSTRB is stable when WVALID is high Pass condition: WSTRB is stable when WVALID is high Fail condition: WSTRB is not stable when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI3. |
|
|
Check description: Checks that WTRACE is stable when WVALID is high. Pass condition: WTRACE is stable when WVALID is high. Fail condition: WTRACE is not stable when WVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WUSER is stable when WVALID is high Pass condition: WUSER is stable when WVALID is high Fail condition: WUSER is not stable when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: wuser_enable is set to 1. |
|
|
Check description: Checks that ACADDR is not X or Z when ARVALID is high Pass condition: ACADDR is not X or Z when ARVALID is high Fail condition: ACADDR is X or Z when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that ACPROT is not X or Z when ARVALID is high Pass condition: ACPROT is not X or Z when ARVALID is high Fail condition: ACPROT is X or Z when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that ACREADY is not X or Z when ARVALID is high Pass condition: ACREADY is not X or Z when ARVALID is high Fail condition: ACREADY is X or Z when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that ACSNOOP is not X or Z when ARVALID is high Pass condition: ACSNOOP is not X or Z when ARVALID is high Fail condition: ACSNOOP is X or Z when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that ACVALID is not X or Z Pass condition: When ACVALID is not X or Z Fail condition: When ACVALID is X or Z Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that ARADDR is not X or Z when ARVALID is high Pass condition: ARADDR is not X or Z when ARVALID is high Fail condition: ARADDR is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARBAR is not X or Z when ARVALID is high Pass condition: ARBAR is not X or Z when ARVALID is high Fail condition: ARBAR is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARBURST is not X or Z when ARVALID is high Pass condition: ARBURST is not X or Z when ARVALID is high Fail condition: ARBURST is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARCACHE is not X or Z when ARVALID is high Pass condition: ARCACHE is not X or Z when ARVALID is high Fail condition: ARCACHE is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARDOMAIN is not X or Z when ARVALID is high Pass condition: ARDOMAIN is not X or Z when ARVALID is high Fail condition: ARDOMAIN is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: ARESETn should not be X/Z. Pass condition: When ARESETn is non X/Z. Fail condition: When ARESETn is X/Z. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information: This check is applicable only when svt_axi_port_configuration :: per_clock_cycle_aresetn_signal_checks_enable is set to 1. |
|
|
Check description: Checks that ARID is not X or Z when ARVALID is high Pass condition: ARID is not X or Z when ARVALID is high Fail condition: ARID is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARLEN is not X or Z when ARVALID is high Pass condition: ARLEN is not X or Z when ARVALID is high Fail condition: ARLEN is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARLOCK is not X or Z when ARVALID is high Pass condition: ARLOCK is not X or Z when ARVALID is high Fail condition: ARLOCK is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARPROT is not X or Z when ARVALID is high Pass condition: ARPROT is not X or Z when ARVALID is high Fail condition: ARPROT is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARQOS is not X or Z when ARVALID is high Pass condition: ARQOS is not X or Z when ARVALID is high Fail condition: ARQOS is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: ARREADY should not be X/Z. Pass condition: When ARREADY is non X/Z. Fail condition: When ARREADY is X/Z. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only When:
|
|
|
Check description: Checks that ARREADY is not X or Z During Reset Pass condition: ARREADY is not X or Z During Reset Fail condition: ARREADY is X or Z During Reset Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that ARREADY is not X or Z when ARVALID is high Pass condition: ARREADY is not X or Z when ARVALID is high Fail condition: ARREADY is X or Z when ARVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARREGION is not X or Z when ARVALID is high Pass condition: ARREGION is not X or Z when ARVALID is high Fail condition: ARREGION is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARSIZE is not X or Z when ARVALID is high Pass condition: ARSIZE is not X or Z when ARVALID is high Fail condition: ARSIZE is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARSNOOP is not X or Z when ARVALID is high Pass condition: ARSNOOP is not X or Z when ARVALID is high Fail condition: ARSNOOP is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARTRACE is not X or Z when ARVALID is high. Pass condition: ARTRACE is not X or Z when ARVALID is high. Fail condition: ARTRACE is X or Z when ARVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARUSER is not X or Z when ARVALID is high Pass condition: ARUSER is not X or Z when ARVALID is high Fail condition: ARUSER is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: ARVALID should not be X/Z. Pass condition: When ARVALID is non X/Z. Fail condition: When ARVALID is X/Z. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that ARVALID is not X or Z During Reset Pass condition: ARVALID is not X or Z During Reset Fail condition: ARVALID is X or Z During Reset Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that ARVMIDEXT is not X or Z when ARVALID is high Pass condition: ARVMIDEXT is not X or Z when ARVALID is high Fail condition: ARVMIDEXT is X or Z when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWADDR is not X or Z when AWVALID is high Pass condition: AWADDR is not X or Z when AWVALID is high Fail condition: AWADDR is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWBAR is not X or Z when AWVALID is high Pass condition: AWBAR is not X or Z when AWVALID is high Fail condition: AWBAR is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWBURST is not X or Z when AWVALID is high Pass condition: AWBURST is not X or Z when AWVALID is high Fail condition: AWBURST is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWCACHE is not X or Z when AWVALID is high Pass condition: AWCACHE is not X or Z when AWVALID is high Fail condition: AWCACHE is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWDOMAIN is not X or Z when AWVALID is high Pass condition: AWDOMAIN is not X or Z when AWVALID is high Fail condition: AWDOMAIN is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWID is not X or Z when AWVALID is high Pass condition: AWID is not X or Z when AWVALID is high Fail condition: AWID is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLEN is not X or Z when AWVALID is high Pass condition: AWLEN is not X or Z when AWVALID is high Fail condition: AWLEN is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWLOCK is not X or Z when AWVALID is high Pass condition: AWLOCK is not X or Z when AWVALID is high Fail condition: AWLOCK is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWPROT is not X or Z when AWVALID is high Pass condition: AWPROT is not X or Z when AWVALID is high Fail condition: AWPROT is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWQOS is not X or Z when AWVALID is high Pass condition: AWQOS is not X or Z when AWVALID is high Fail condition: AWQOS is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: AWREADY should not be X/Z. Pass condition: When AWREADY is non X/Z. Fail condition: When AWREADY is X/Z. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only When:
|
|
|
Check description: Checks that AWREADY is not X or Z During Reset Pass condition: AWREADY is not X or Z During Reset Fail condition: AWREADY is X or Z During Reset Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that AWREADY is not X or Z when AWVALID is high Pass condition: AWREADY is not X or Z when AWVALID is high Fail condition: AWREADY is X or Z when AWVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWREGION is not X or Z when AWVALID is high Pass condition: AWREGION is not X or Z when AWVALID is high Fail condition: AWREGION is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSIZE is not X or Z when AWVALID is high Pass condition: AWSIZE is not X or Z when AWVALID is high Fail condition: AWSIZE is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWSNOOP is not X or Z when AWVALID is high Pass condition: AWSNOOP is not X or Z when AWVALID is high Fail condition: AWSNOOP is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWTRACE is not X or Z when AWVALID is high. Pass condition: AWTRACE is not X or Z when AWVALID is high. Fail condition: AWTRACE is X or Z when AWVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWUNIQUE is not X or Z when AWVALID is high Pass condition: AWUNIQUE is not X or Z when AWVALID is high Fail condition: AWUNIQUE is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWUSER is not X or Z when AWVALID is high Pass condition: AWUSER is not X or Z when AWVALID is high Fail condition: AWUSER is X or Z when AWVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: awuser_enable is set to 1. |
|
|
Check description: AWVALID should not be X/Z. Pass condition: When AWVALID is non X/Z. Fail condition: When AWVALID is X/Z. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that AWVALID is not X or Z During Reset Pass condition: AWVALID is not X or Z During Reset Fail condition: AWVALID is X or Z During Reset Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that BID is not X or Z when BVALID is high Pass condition: BID is not X or Z when BVALID is high Fail condition: BID is X or Z when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: BREADY should not be X/Z. Pass condition: When BREADY is non X/Z. Fail condition: When BREADY is X/Z. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only When:
|
|
|
Check description: Checks that BREADY is not X or Z During Reset Pass condition: BREADY is not X or Z During Reset Fail condition: BREADY is X or Z During Reset Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that BREADY is not X or Z when BVALID is high Pass condition: BREADY is not X or Z when BVALID is high Fail condition: BREADY is X or Z when BVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that BRESP is not X or Z when BVALID is high Pass condition: BRESP is not X or Z when BVALID is high Fail condition: BRESP is X or Z when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that BTRACE is not X or Z when BVALID is high. Pass condition: BTRACE is not X or Z when BVALID is high. Fail condition: BTRACE is X or Z when BVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BUSER is not X or Z when BVALID is high Pass condition: BUSER is not X or Z when BVALID is high Fail condition: BUSER is X or Z when BVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: BVALID should not be X/Z. Pass condition: When BVALID is non X/Z. Fail condition: When BVALID is X/Z. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that BVALID is not X or Z During Reset Pass condition: BVALID is not X or Z During Reset Fail condition: BVALID is X or Z During Reset Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that CDDATA is not X or Z when CDVALID is high Pass condition: CDDATA is not X or Z when CDVALID is high Fail condition: CDDATA is X or Z when CDVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that cdlast is not X or Z when cdvalid is high Pass condition: cdlast is not X or Z when cdvalid is high Fail condition: cdlast is X or Z when cdvalid is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CDPOISON is not X or Z when CDVALID is high. Pass condition: CDPOISON is not X or Z when CDVALID is high. Fail condition: CDPOISON is X or Z when CDVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CDREADY is not X or Z when CDVALID is high Pass condition: CDREADY is not X or Z when CDVALID is high Fail condition: CDREADY is X or Z when CDVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that CDTRACE is not X or Z when CDVALID is high. Pass condition: CDTRACE is not X or Z when CDVALID is high. Fail condition: CDTRACE is X or Z when CDVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CDVALID is not X or Z Pass condition: When CDVALID is not X or Z Fail condition: When CDVALID is X or Z Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that CRREADY is not X or Z when CRVALID is high Pass condition: CRREADY is not X or Z when CRVALID is high Fail condition: CRREADY is X or Z when CRVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CRRESP is not X or Z when CRVALID is high Pass condition: CRRESP is not X or Z when CRVALID is high Fail condition: CRRESP is X or Z when CRVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CRTRACE is not X or Z when CRVALID is high Pass condition: CRTRACE is not X or Z when CRVALID is high Fail condition: CRTRACE is X or Z when CRVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that CRVALID is not X or Z Pass condition: When CRVALID is not X or Z Fail condition: When CRVALID is X or Z Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that ARCACHE is valid for exclusive read transaction Pass condition: When ARCACHE[3:0] indicates that the transaction is cacheable for exclusive read transactions Fail condition: When ARCACHE[3:0] indicates that the transaction is not cacheable for exclusive read transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARLEN and ARSIZE are valid for exclusive read transaction Pass condition:
Fail condition: When the number of bytes that can be transferred in an exclusive access burst is not power of 2 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARLEN is valid for exclusive read transaction Pass condition: The burst length for an exclusive read transaction does not exceed 16 transfers Fail condition: The burst length for an exclusive read transaction exceeds 16 transfers Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWCACHE is valid for exclusive read transaction Pass condition: When AWCACHE[3:0] indicates that the transaction is cacheable for exclusive read transactions Fail condition: When AWCACHE[3:0] indicates that the transaction is not cacheable for exclusive read transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWLEN and AWSIZE are valid for exclusive store transaction Pass condition:
Fail condition: When the number of bytes that can be transferred in an exclusive access burst is not power of 2 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that AWLEN is valid for exclusive store transaction Pass condition: The burst length for an exclusive store transaction does not exceed 16 transfers. Fail condition: The burst length for an exclusive store transaction exceeds 16 transfers. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that address is aligned for exclusive read transaction Pass condition: When the start address is aligned to the total number of bytes in the exclusive read transaction Fail condition: When the start address is not aligned to the total number of bytes in the transaction which is not valid for exclusive read transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that address is aligned for exclusive write transaction Pass condition: When the start address is aligned to the total number of bytes in the exclusive write transaction Fail condition: When the start address is not aligned to the total number of bytes in the transaction which is not valid for exclusive write transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: exclusive_access_enable is set to 1. |
|
|
Check description: Checks that RDATA is not X or Z when RVALID is high Pass condition: RDATA is not X or Z when RVALID is high Fail condition: RDATA is X or Z when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RID is not X or Z when RVALID is high Pass condition: RID is not X or Z when RVALID is high Fail condition: RID is X or Z when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RLAST is not X or Z when RVALID is high Pass condition: RLAST is not X or Z when RVALID is high Fail condition: RLAST is X or Z when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RPOISON is not X or Z when RVALID is high. Pass condition: RPOISON is not X or Z when RVALID is high. Fail condition: RPOISON is X or Z when RVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: RREADY should not be X/Z. Pass condition: When RREADY is non X/Z. Fail condition: When RREADY is X/Z. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only When:
|
|
|
Check description: Checks that RREADY is not X or Z During Reset Pass condition: RREADY is not X or Z During Reset Fail condition: RREADY is X or Z During Reset Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that RREADY is not X or Z when RVALID is high Pass condition: RREADY is not X or Z when RVALID is high Fail condition: RREADY is X or Z when RVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RRESP is not X or Z when RVALID is high Pass condition: RRESP is not X or Z when RVALID is high Fail condition: RRESP is X or Z when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RTRACE is not X or Z when RVALID is high. Pass condition: RTRACE is not X or Z when RVALID is high. Fail condition: RTRACE is X or Z when RVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RUSER is not X or Z when RVALID is high Pass condition: RUSER is not X or Z when RVALID is high Fail condition: RUSER is X or Z when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: RVALID should not be X/Z. Pass condition: When RVALID is non X/Z. Fail condition: When RVALID is X/Z. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that RVALID is not X or Z During Reset Pass condition: RVALID is not X or Z During Reset Fail condition: RVALID is X or Z During Reset Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: If tdata is enabled, checks that tdata is not X or Z when TVALID is high.If svt_axi_port_configuration :: check_valid_data_bytes_only_enable is set to 1,this check is performed on masked_tdata(bytes of tdata having tstrb bit set to 1). Pass condition: tdata is valid when tvalid is high. Fail condition: tdata takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tdest is enabled, checks that tdest is not X or Z when TVALID is high. Pass condition: tdest is valid when tvalid is high. Fail condition: tdest takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tid is enabled, checks that tid is not X or Z when TVALID is high. Pass condition: tid is valid when tvalid is high. Fail condition: tid takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tkeep is enabled, checks that tkeep is not X or Z when TVALID is high. Pass condition: tkeep is valid when tvalid is high. Fail condition: tkeep takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tlast is enabled, checks that tlastchk is not X or Z when TVALID is high. Pass condition: tlast is valid when tvalid is high. Fail condition: tlast takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tready is enabled, checks that tready is not X or Z when TVALID is high. Pass condition: tready is valid when tvalid is high. Fail condition: tready takes X or Z value when tvalid is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: If tstrb is enabled, checks that tstrb is not X or Z when TVALID is high. Pass condition: tstrb is valid when tvalid is high. Fail condition: tstrb takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If tuser is enabled, checks that tuser is not X or Z when TVALID is high. Pass condition: tuser is valid when tvalid is high. Fail condition: tuser takes X or Z value when tvalid is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: Checks that tvalid is not X or Z. Pass condition: tvalid takes valid value. Fail condition: tvalid takes X or Z value. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: Checks that WDATA is not X or Z when WVALID is high Pass condition: WDATA is not X or Z when WVALID is high Fail condition: WDATA is X or Z when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WID is not X or Z when WVALID is high Pass condition: WID is not X or Z when WVALID is high Fail condition: WID is X or Z when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WLAST is not X or Z when WVALID is high Pass condition: WLAST is not X or Z when WVALID is high Fail condition: WLAST is X or Z when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WPOISON is not X or Z when WVALID is high. Pass condition: WPOISON is not X or Z when WVALID is high. Fail condition: WPOISON is X or Z when WVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: WREADY should not be X/Z. Pass condition: When WREADY is non X/Z. Fail condition: When WREADY is X/Z. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only When:
|
|
|
Check description: Checks that WREADY is not X or Z During Reset Pass condition: WREADY is not X or Z During Reset Fail condition: WREADY is X or Z During Reset Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable When:
|
|
|
Check description: Checks that WREADY is not X or Z when WVALID is high Pass condition: WREADY is not X or Z when WVALID is high Fail condition: WREADY is X or Z when WVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WSTRB is not X or Z when WVALID is high Pass condition: WSTRB is not X or Z when WVALID is high Fail condition: WSTRB is X or Z when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WTRACE is not X or Z when WVALID is high. Pass condition: WTRACE is not X or Z when WVALID is high. Fail condition: WTRACE is X or Z when WVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WUSER is not X or Z when WVALID is high Pass condition: WUSER is not X or Z when WVALID is high Fail condition: WUSER is X or Z when WVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: WVALID should not be X/Z. Pass condition: When WVALID is non X/Z. Fail condition: When WVALID is X/Z. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks that WVALID is not X or Z During Reset Pass condition: WVALID is not X or Z During Reset Fail condition: WVALID is X or Z During Reset Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable When:
|
|
|
Check description: Checks that WACK signal must be asserted the cycle after the associated handshake or later
Pass condition: When WACK signal must be asserted the cycle after the associated handshake or later Fail condition: When WACK signal is asserted the cycle before the associated handshake or later Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI_ACE. |
|
|
Check description: Checks that WACK is asserted for a single cycle
Pass condition: When WACK is asserted for a single cycle Fail condition: When WACK is seen, but found no associated transaction whose data is complete WACK should be asserted for a single cycle Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI_ACE. |
|
|
Check description: Checks that ACVALID and ACREADY to be asserted before asserting CDVALID
Pass condition: When the master must wait for both ACVALID and ACREADY to be asserted before asserting CDVALID Fail condition: When the master is not wait for both ACVALID and ACREADY to be asserted before asserting CDVALID Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ACVALID and ACREADY to be asserted before asserting CRVALID
Pass condition: When the master must wait for both ACVALID and ACREADY to be asserted before asserting CRVALID Fail condition: When the master is not wait for both ACVALID and ACREADY to be asserted before asserting CRVALID Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid snoop response of DVM Complete Transactions Pass condition: When a snoop response(CRRESP) of 5'b00010 is not given for DVM Complete Transaction Fail condition: When a snoop response(CRRESP) of 5'b00010 is given for DVM Complete Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid snoop response of DVM Message Transactions Pass condition: When a snoop response(CRRESP) of 5'b00010 is not given for DVMSync Transaction Fail condition: When a snoop response(CRRESP) of 5'b00010 is given for DVMSync Transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[0] of DVM message type Branch Predictor Invalidate Pass condition: When ACADDR[0] of DVM message type Branch Predictor Invalidate have following valid values:
Fail condition: When ACADDR[0] of DVM message type Branch Predictor Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[9:8] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ACADDR[9:8] of DVM message type Physical Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[9:8] of DVM message type Physical Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[6:5] of DVM message type Physical Instruction Cache Invalidate Pass condition: When ACADDR[6:5] of DVM message type Physical Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[6:5] of DVM message type Physical Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[5] of DVM message type TLB Invalidate Pass condition: When ACADDR[5] of DVM message type TLB Invalidate have following valid values:
Fail condition: ACADDR[5] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[11:10] of DVM message type TLB Invalidate Pass condition: When ACADDR[11:10] of DVM message type TLBI have following valid value:
Fail condition: When ACADDR[11:10] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[9:8] of DVM message type TLB Invalidate Pass condition: When ACADDR[9:8] of DVM message type TLB Invalidate have following valid values:
Fail condition: When ACADDR[9:8] of DVM message type TLB Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[6] of DVM message type TLB Invalidate Pass condition: When ACADDR[6] of DVM message type TLB Invalidate have the following valid values:
Fail condition: When ACADDR[6] of DVM message type TLB Invalidate not have the valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[5] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ACADDR[5] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[5] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ACADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[11:10] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ACADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[9:8] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the valid values of ACADDR[6] of DVM message type Virtual Instruction Cache Invalidate Pass condition: When ACADDR[6] of DVM message type Virtual Instruction Cache Invalidate have following valid values:
Fail condition: When ACADDR[6] of DVM message type Virtual Instruction Cache Invalidate not have valid values Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: If a snooped master receives a snoop transaction when it is has an outstanding WriteEvict transaction, then it is the responsibility of the snooped master to ensure that no other master can update the same area of main memory at the same time. The snooped master achieves this by delaying the snoop response until the snooped master has completed the WriteEvict transaction
Pass condition: When a snooped master receives a snoop transaction when it has an outstanding WriteEvict transaction, then it is the responsibility of the snooped master to ensure that no other master can update the same area of main memory at the same time Fail condition: When a snooped master receives a snoop transaction when it has an outstanding WriteEvict transaction and any master can update the same area of main memory at the same time Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: While a transaction is in progress which has the AWUNIQUE signal asserted, the master must not give a snoop response that would allow another copy of the line to be created, or an agent to consider that it has another Unique copy of the line
Pass condition: When a transaction is in progress which has the AWUNIQUE signal asserted, the master must not give a snoop response that would allow another copy of the line to be created, or an agent to consider that it has another Unique copy of the line Fail condition: When a transaction is in progress which has the AWUNIQUE signal asserted, the master give a snoop response that would allow another copy of the line to be created, or an agent to consider that it has another Unique copy of the line Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that for MakeInvalid transactions a data transfer is never required
Pass condition: When DataTransfer = 0 and PassDirty = 1 for any transaction is not have valid snoop response Fail condition: When DataTransfer = 0 and PassDirty = 1 for any transaction is have illegal snoop response Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for readunique cleaninvalid makeinvalid illegal response
Pass condition: When IsShared = 0 for a ReadUnique, CleanInvalid, MakeInvalid transaction is illegal snoop response Fail condition: When IsShared = 1 for a ReadUnique, CleanInvalid, MakeInvalid transaction is illegal snoop response Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if received a snoop transaction, response to a transaction to the same cache line is not received , until snoop response is sent
Pass condition: When snoop transaction is received than response to a transaction to the same cache line is not received , until snoop response is sent Fail condition: When snoop transaction is not received Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when: |
|
|
Check description: Checks if number of databeat transferred over snoop data channel is valid
Pass condition: When number of databeat transferred over snoop data channel is of valid value 1,2,4,8,16 Fail condition: When number of databeat transferred over snoop data channel is of not have valid value 1,2,4,8,16 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when: |
|
|
Check description: Checks all snoop transactions are ordered Pass condition: When the response, as given on the snoop response channel, must be in the same order that the transactions are presented on the snoop address channel Fail condition: When the response, as given on the snoop response channel, is not in the same order that the transactions are presented on the snoop address channel Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: When received data stream is not interleaved beyond stream_interleave_depth value Fail condition: When received data stream is interleaved beyond stream_interleave_depth value Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
|
|
|
Check description: Trace tag value on data channel or resposne channel should be valid as per the trace tag value on the address channel. Pass condition: when trace_tag in address channel is asserted, it is also asserted in the associated response/data channel. Fail condition: when trace_tag in address channel is asserted, but not asserted in the associated response/data channel. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information:
|
|
|
Check description: Checks that TSTRB is low if TKEEP is low Pass condition: When TSTRB is low when corresponding TKEEP is low Fail condition: When TSTRB is not low when corresponding TKEEP is low Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if tvalid was interrupted before tready got asserted Pass condition: When TVALID is held steady until TREADY is asserted Fail condition: When TVALID is not steady until TREADY is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that TVALID is low when reset is active Pass condition: When reset is active TVALID must be low Fail condition: When reset is active TVALID is not low Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_acaddr[5:4] and observed_acaddr[2:0] (NUM bits) must be zero for multipart DVM transactions. Pass condition: observed_acaddr[5:4] and observed_acaddr[2:0] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_acaddr[5:4] and observed_acaddr[2:0] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_araddr[5:4] and observed_araddr[2:0] (NUM bits) must be zero for multipart DVM transactions. Pass condition: observed_araddr[5:4] and observed_araddr[2:0] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_araddr[5:4] and observed_araddr[2:0] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_acaddr[7:6] (SCALE) must be zero for multipart DVM transactions. Pass condition: observed_acaddr[7:6] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_acaddr[7:6] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_araddr[7:6] (SCALE) must be zero for multipart DVM transactions. Pass condition: observed_araddr[7:6] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_araddr[7:6] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Monitor checks that when master initiates a CleanShared cache maintenance transaction, and receives any snoop transaction to the same cacheline, the initiating master must not assert PassDirty snoop response. It also checks that when master initiates CleanInvalid or MakeInvalid cache maintenance transactions, and receives any snoop transaction to the same cacheline, the initiating master must not assert PassDirty, IsShared and DataTransfer snoop responses
Pass condition: When cleanshared or cleansharedpersist transactions is outstanding then cacheline should be in invalid or clean state and hence snoop response must not assert pass_dirty bit Fail condition: When valid snoop response is not asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_acaddr[11:10] (TG) must be zero for multipart DVM transactions. Pass condition: observed_acaddr[11:10] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_acaddr[11:10] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_araddr[11:10] (TG) must be zero for multipart DVM transactions. Pass condition: observed_araddr[11:10] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_araddr[11:10] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_acaddr[9:8] (TTL) must be zero for multipart DVM transactions. Pass condition: observed_acaddr[9:8] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_acaddr[9:8] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if the dvm_version is greater than or equal to DVM_v8.4 and the message type is not TLB Invalidate by IPA or VA, The observed_araddr[9:8] (TTL) must be zero for multipart DVM transactions. Pass condition: observed_araddr[9:8] is zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Fail condition: observed_araddr[9:8] is non zero for multipart Non TLB Invalidate by IPA or VA DVM transactions. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: WSTRB must not be asserted for invalid byte lanes
Pass condition: WSTRB is de-asserted for invalid byte lanes Fail condition: WSTRB is asserted for invalid byte lanes Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks the WACK for valid response Pass condition: When WACK is asserted in response to BVALID/BREADY handshakes Fail condition: When WACK is not asserted in response to BVALID/BREADY handshakes Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the number of write data items matches AWLEN for the corresponding address
Pass condition: When the number of write data beats genearted matches the corrsponding AWLEN Fail condition: When the number of write data beats genearted is not matches the corrsponding AWLEN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description:
Pass condition: When the last beat of write data is transfered than wlast must be asserted Fail condition: When the last beat of write data is transfered and wlast not asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_transaction :: data_before_addr is not set and cfg.wlast_enable is set to 1. |
|
|
Check description: Checks the combinations of AWCACHE and AWBAR are valid and unreserved Pass condition: When AWCACHE must be Normal, non-cacheable for write barrier transactions Fail condition: When AWCACHE is not of Normal, non-cacheable for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of AWLOCK and AWBAR are valid and unreserved Pass condition: When AWLOCK must be normal access for write barrier transactions Fail condition: When AWLOCK is not having normal access for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of AWSNOOP and AWBAR are valid and unreserved Pass condition: When AWSNOOP must be all zeros for write barrier transactions Fail condition: When AWSNOOP is not zero for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that received write data is not interleaved beyond write_data_interleave_depth value
Pass condition: When the first active write xact index is not greater to the write_data_interleave_depth Fail condition: When the first active write xact index is greater to the write_data_interleave_depth if write data is interleaved beyond this value for Write data interleaving Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI3. |
|
|
Check description: Checks that the order in which a slave receives the first data item of each transaction must be the same as the order in which it receives the addresses for the transactions for Write Data Interleaving transactions
Pass condition: When the Address order and data order is same for the write data interleaving transaction Fail condition: When the Address order and data order is not same for the write data interleaving transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI3. |
|
|
Check description: Checks if the slave must only give a write response after the last write data item is transferred
Pass condition: When wlast asserted at last write data transfer than only the bresp is assert Fail condition: When wlast asserted at last write data transfer and the bresp is not asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks if A slave must not give a write response before the write address
Pass condition: When bresp is asserted after the awaddr is being asserted Fail condition: When bresp is asserted before the awaddr is asserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: When a write response is sampled, checks that there is a transaction with corresponding ID whose data phase is complete
Pass condition: When write transfer must follow the last write transfer in a write transaction Fail condition: When write transfer not follow the last write transfer in a write transaction Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only svt_axi_port_configuration :: protocol_checks_enable is set to 1 |
|
|
Check description: Checks that WRITE_ONLY_INTERFACE supports only write transactions
Pass condition: When read transaction is not detected on WRITE ONLY interface Fail condition: When read transaction detected on WRITE ONLY interface Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks if WRITEBACK transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state
Pass condition: When WRITEBACK transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state Fail condition: When WRITEBACK transaction not starts from UNIQUEDIRTY or SHAREDDIRTY state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLEN for INCR is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions burst_length should be inside {1:16} for INCR bursts and inside {2,4,8,16} for WRAP bursts Fail condition: When WRITEBACK and WRITECLEAN transactions burst_length is not inside {1:16} for INCR bursts and not inside {2,4,8,16} for WRAP bursts Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the Address aligned for INCR is valid for WriteBack and WriteClean Transactions
Pass condition: When Address aligned for INCR is valid for WriteBack and WriteClean Transactions Fail condition: When Address aligned for INCR is not valid for WriteBack and WriteClean Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWBURST is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions burst_type should be INCR or WRAP Fail condition: When WRITEBACK and WRITECLEAN transactions burst_type is not of INCR or WRAP Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWSIZE x AWLEN not exceed the cache line size WriteBack and WriteClean Transactions
Pass condition: When for WRAP burst, AWSIZE x AWLEN must not exceed the cache line size Fail condition: When for WRAP burst, AWSIZE x AWLEN is exceed the cache line size Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWCACHE is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions cache_type[1] should be 1'b1 (modifiable) Fail condition: When WRITEBACK and WRITECLEAN transactions cache_type[1] is not 1'b1 (modifiable) Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWDOMAIN is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions domain_type should be INNERSHAREABLE, OUTERSHAREABLE or NONSHAREABLE. Fail condition: When WRITEBACK and WRITECLEAN transactions domain_type is not of INNERSHAREABLE, OUTERSHAREABLE or NONSHAREABLE. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLEN is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions the burst_length should be less than or equal to 16 Fail condition: When WRITEBACK and WRITECLEAN transactions the burst_length is not less than or equal to 16 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLOCK is 0 for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions must have atomic_type as NORMAL Fail condition: When WRITEBACK and WRITECLEAN transactions not have atomic_type as NORMAL Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWSIZE is valid for WriteBack and WriteClean Transactions
Pass condition: When WRITEBACK and WRITECLEAN transactions burst_size should be less than or equal to the data width Fail condition: When WRITEBACK and WRITECLEAN transactions burst_size is not less than or equal to the data width Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping AWID of Non-Barrier Non-DVM transactions with any active Barrier/DVM transactions Pass condition: When AWID of Non-Barrier Non-DVM transactions overlap with any active Barrier/DVM transactions Fail condition: When AWID of Non-Barrier Non-DVM transactions is not overlap with any active Barrier/DVM transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping AWID of Write Barrier transactions with any active Write transactions Pass condition: When AWID of WriteBarrier transactions overlap with other active Non-Barrier transactions Fail condition: When AWID of WriteBarrier transactions is not overlap with other active Non-Barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: AWUNIQUE must be deasserted for WRITECLEAN transactions
Pass condition: When AWUNIQUE must be deasserted for WRITECLEAN transactions Fail condition: When AWUNIQUE is not deasserted for WRITECLEAN transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if WRITECLEAN transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state
Pass condition: When WRITECLEAN transaction starts only from UNIQUEDIRTY or SHAREDDIRTY state Fail condition: When WRITECLEAN transaction not starts from UNIQUEDIRTY or SHAREDDIRTY state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: AWUNIQUE must be asserted for WRITEEVICT transactions
Pass condition: When AWUNIQUE must be asserted for WRITEEVICT transactions Fail condition: When AWUNIQUE is not asserted for WRITEEVICT transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if WRITEEVICT transaction starts only from UNIQUECLEAN state
Pass condition: When WRITEEVICT transaction starts only from UNIQUECLEAN state Fail condition: When WRITEEVICT transaction not starts from UNIQUECLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Monitor check that all write strobes bits are asserted for a WRITEEVICT transaction
Pass condition: When all write strobes bits are asserted for a WRITEEVICT transaction Fail condition: When all write strobes bits are not asserted for a WRITEEVICT transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if WRITELINEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state
Pass condition: When WRITELINEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state Fail condition: When WRITELINEUNIQUE transaction not starts from INVALID, UNIQUECLEAN or SHAREDCLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Monitor check that all write strobes bits are asserted for a WRITELINEUNIQUE transaction
Pass condition: When all write strobes bits are asserted for a WRITELINEUNIQUE transaction Fail condition: When all write strobes bits are not asserted for a WRITELINEUNIQUE transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWBURST is valid for WriteUnique Transactions
Pass condition: When AWBURST is valid for WriteUnique Transactions Fail condition: When AWBURST is not valid for WriteUnique Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWDOMAIN is valid for ReadOnce & WriteUnique Transactions
Pass condition: When AWDOMAIN is valid for ReadOnce & WriteUnique Transactions Fail condition: When AWDOMAIN is not valid for ReadOnce & WriteUnique Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if WRITEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state
Pass condition: When WRITEUNIQUE transaction starts only from INVALID, UNIQUECLEAN or SHAREDCLEAN state Fail condition: When WRITEUNIQUE transaction not starts from INVALID, UNIQUECLEAN or SHAREDCLEAN state Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Monitor check that all byte strobes are asserted for a writeuniquefullstash transaction Pass condition: When all byte strobes are asserted for a writeuniquefullstash transaction Fail condition: When all byte strobes are not asserted for a writeuniquefullstash transaction Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWBURST is valid for writeuniqueptlstash Transactions Pass condition: When writeuniqueptlstash transactions must have valid burst_type Fail condition: When writeuniqueptlstash transactions not have valid burst_type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWDOMAIN is valid for WriteUniquePtlstash Transactions Pass condition: When AWDOMAIN is valid for WriteUniquePtlstash Transactions Fail condition: When AWDOMAIN is not valid for WriteUniquePtlstash Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWCACHE is valid for WriteUnique Transactions
Pass condition: When AWCACHE is valid for WriteUnique Transactions Fail condition: When AWCACHE is not valid for WriteUnique Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLOCK is valid for WriteUnique Transactions
Pass condition: When AWLOCK is valid for WriteUnique Transactions Fail condition: When AWLOCK is not valid for WriteUnique Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWCACHE is valid for writeuniqueptlstash Transactions Pass condition: When AWCACHE is valid for writeuniqueptlstash Transactions Fail condition: When AWCACHE is not valid for writeuniqueptlstash Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AWLOCK is valid for writeuniqueptlstash Transactions Pass condition: When AWLOCK is valid for writeuniqueptlstash Transactions Fail condition: When AWLOCK is not valid for writeuniqueptlstash Transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the AWADDR is valid for AWBAR Pass condition: When AWADDR must be all zeros for write barrier transactions Fail condition: When AWADDR is not zero for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations AWBURST and AWBAR are valid and unreserved Pass condition: When AWBURST must be INCR type for write barrier transactions Fail condition: When AWBURST is not INCR type for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of AWLEN and AWBAR are valid and unreserved Pass condition: When AWLEN must be all zeros for write barrier transactions Fail condition: When AWLEN is not zero for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the combinations of AWSIZE and AWBAR are valid and unreserved Pass condition: When AWSIZE must be equal to the data bus width for write barrier transactions Fail condition: When AWSIZE is not equal to the data bus width for write barrier transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the overlapping AWID of Non-DVM or Non-Device transactions with any active transactions Pass condition: When AWID of Non-DVM or Non-Device transactions overlap with any active transactions Fail condition: When AWID of Non-DVM or Non-Device transactions not overlap with any active transactions Applicable device type: Passive Slave, Active/Passive Master Additional information: |
|
|
Check description: Checks if wvalid was interrupted before wready got asserted Pass condition: When wready is asserted and wvalid to wready delay is zero Fail condition: When wvalid is not observed and wvalid to wready delay is not equal to zero Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|
|
Check description: Checks if wvalid is low when reset is active Pass condition: When reset is high than wvalid must not be asserted Fail condition: When reset is high and wvalid is asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when svt_axi_port_configuration :: protocol_checks_enable is set to 1. |
|