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 deassertion of the ACWAKEUP signal guarantee progress of the ACVALID signaling Pass condition: check will pass if ACWAKEUP is asserted in a cycle when ACVALID is asserted and ACREADY is deasserted, and ACWAKEUP remains asserted until ACREADY is asserted. Fail condition: check will fail if ACWAKEUP is asserted in a cycle when ACVALID is asserted and ACREADY is deasserted, and ACWAKEUP deasserts before ACREADY is asserted. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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: Check that all valid responses have been recieved for cmo transaction on write channel or for write with cmo transaction Pass condition: All expected responses are recieved for this write transaction. Fail condition: All expected responses are not recieved for this write transaction. Applicable device type: Passive Slave, Active/Passive Master 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: For transactions that are in a Non-secure stream, as indicated by ARMMUSECSID deasserted, ARPROT[1] must be HIGH, which indicates a Non-secure transaction. Pass condition: When ARMMUSECSID is deasserted, ARPROT[1] must be HIGH. Fail condition: When ARMMUSECSID is deasserted, ARPROT[1] is not HIGH. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the value of ARMMUSECSID is a valid value Pass condition: check will pass if the value of ARMMUSECSID is a valid value. Fail condition: check will fail if the value of ARMMUSECSID is not a valid value. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of ARMMUSECSID is compatible with the values of ARNSE/ARPROT signals. Fail condition: check will fail if the value of ARMMUSECSID is not compatible with the values of ARNSE/ARPROT signals. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of ARMMUSECSID is Non-secure or Realm,When ARMMUATST is asserted or ARMMUFLOW is ATST. Fail condition: check will fail if the value of ARMMUSECSID is not Non-secure or Realm,When ARMMUATST is asserted or ARMMUFLOW is ATST. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of ARMMUSSIDV is LOW ,When ARMMUATST is asserted. Fail condition: check will fail if the value of ARMMUSSIDV is not LOW, When ARMMUATST is asserted. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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 that AtomicCompare Transaction of 32 byte must have same tag value associated with the compare and swap bytes. Pass condition: Swap and Compare tag values are matching. Fail condition: Swap and Compare tag values are not matching. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for ATOMIC transactions, AWLOCK must be 0b0, Normal access
Pass condition: When AWLOCK must be 0b0, Normal access for atomic transactions Fail condition: When AWLOCK not have Normal access for atomic transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks for ATOMIC transactions, AWSNOOP must be set to all zeros
Pass condition: When AWSNOOP must be set to all zeros for atomic transactions Fail condition: When AWSNOOP is not set to zeros for atomic transactions Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WSTRB has a valid value when Atomic transactions are enabled in AXI5/ACE5_LITE. Pass condition: WSTRB bits must be asserted for valid data window. Fail condition: WSTRB bits are not asserted for valid data window. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 that deassertion of the AWAKEUP signal guarantee progress of the AWVALID/ARVALID signaling
Pass condition: check will pass if AWAKEUP is asserted in a cycle when AWVALID/ARVALID is asserted and AWREADY/ARREADY is deasserted, and AWAKEUP remains asserted until AWREADY/ARREADY is asserted. Fail condition: check will fail if AWAKEUP is asserted in a cycle when AWVALID/ARVALID is asserted and AWREADY/ARREADY is deasserted, and AWAKEUP deasserts before AWREADY/ARREADY is asserted. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that assertion and deassertion of the AWAKEUP signal guarantee progress of a transition on the Coherency Connection signaling
Pass condition: check will pass if AWAKEUP signal is deasseted in valid Coherency Connection signaling states COHERENCY_DISABLED_STATE and COHERENCY_ENABLED_STATE. Fail condition: check will fail if AWAKEUP signal is deasseted in invalid Coherency Connection signaling states COHERENCY_CONNECT_STATE and COHERENCY_DISCONNECT_STATE. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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: For transactions that are in a Non-secure stream, as indicated by AWMMUSECSID deasserted, AWPROT[1] must be HIGH, which indicates a Non-secure transaction. Pass condition: When AWMMUSECSID is deasserted, AWPROT[1] must be HIGH. Fail condition: When AWMMUSECSID is deasserted, AWPROT[1] is not HIGH. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that the value of AWMMUSECSID is a valid value Pass condition: check will pass if the value of AWMMUSECSID is a valid value. Fail condition: check will fail if the value of AWMMUSECSID is not a valid value. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of AWMMUSECSID is Non-secure or Realm,When AWMMUATST is asserted or AWMMUFLOW is ATST. Fail condition: check will fail if the value of AWMMUSECSID is not Non-secure or Realm,When AWMMUATST is asserted or AWMMUFLOW is ATST. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of AWMMUSECSID is compatible with the values of AWNSE/AWPROT signals. Fail condition: check will fail if the value of AWMMUSECSID is not compatible with the values of AWNSE/AWPROT signals. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: check will pass if the value of AWMMUSSIDV is LOW ,When AWMMUATST is asserted. Fail condition: check will fail if the value of AWMMUSSIDV is not LOW, When AWMMUATST is asserted. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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:
Pass condition: check will pass if the AxMMUSSID is all zeros when AxVALID asserted and AxMMUSSIDV deasserted. Fail condition: check will fail if the AxMMUSSID is not all zeros when AxVALID asserted and AxMMUSSIDV deasserted. 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: Check that bcomp response has been recieved by the write transaction if the bcomp signal is present on the interface Pass condition: bcomp response is recieved for this write transaction. Fail condition: bcomp response is not recieved for this write transaction. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Check that if AWIDUNQ is asserted for a request, the corresponding BIDUNQ signals is asserted for all response beats for that transaction and if AWIDUNQ is deasserted for a request, the corresponding BIDUNQ signals is deasserted for all response beats for that transaction. Pass condition: if AWIDUNQ is asserted for a request, the corresponding BIDUNQ signals is not asserted for all response beats for that transaction and if AWIDUNQ is deasserted for a request, the corresponding BIDUNQ signals is deasserted for all response beats for that transaction. Fail condition: if AWIDUNQ is asserted for a request, the corresponding BIDUNQ signals is not asserted for all response beats for that transaction and if AWIDUNQ is deasserted for a request, the corresponding BIDUNQ signals is not deasserted for all response beats for that transaction. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the value of bloop matches with the value of awloop seen in the corresponding write transaction
Pass condition: check will pass if the value of bloop matches awloop for write transactions. Fail condition: check will fail if the value of bloop does not match with awloop for write transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable 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 the received CDDATACHK is same as the parity calculated from CDDATA in a snoop transaction
Pass condition: When sampled snoop transaction CDDATACHK is same as calculated parity value from CDDATA Fail condition: When sampled snoop transaction CDDATACHK is not same as calculated parity value from CDDATA Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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 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 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 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,ReadonceCleaninvalid,ReadonceMakeinvalid, WriteNoSnoop, WriteUnique, Writeuniqueptlstash,WriteptlCMO,Stashtranslation,DVM Message,Barrier WriteBack and WriteClean) 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 Transactions using Fetch must be cache line sized and Regular. Pass condition: Transactions using Fetch are cache line size and regular Fail condition: Transactions using Fetch are not cache line size and regular Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: This check checks the validity of the transaction size for MTE. Pass condition: The transaction size is valid for MTE. Fail condition: The transaction size is not valid for MTE. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: BURST type must be INCR or WRAP, not FIXED for MTE enabled transactions. Pass condition: BURST type is INCR or WRAP. Fail condition: BURST type is FIXED. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: The transaction must be to Normal Write-Back memory for MTE enabled transactions. AxCACHE[3:2] is not 0b00 and AxCACHE[1:0] is 0b11. Pass condition: The transaction type is Normal Write-Back memory. Fail condition: The transaction type is not Normal Write-Back memory. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: This check performs the validity of the tag_op for transactions based on the mte_support_type Pass condition: TAG_OP is valid. Fail condition: TAG_OP is not valid. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AxIDUNQ has a valid value when MTE feature in ACE5_LITE is enabled. Pass condition: If Present AxIDUNQ value is asserted. Fail condition: If Present and AxIDUNQ value is not asserted. 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: Check that there is no outstanding Non Stashonce transaction with ID values that are used by StashOnce transactions. Pass condition: There are no outstanding Non Stashonce transaction with ID values that are used by Stashonce transaction. Fail condition: There are outstanding Non Stashonce transaction with ID values that are used by Stashonce transaction. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that there is no outstanding Non transaction with ID values that are used by Stashtranslation transaction Pass condition: There are no outstanding Non transaction with ID values that are used by Stashtranslation transaction. Fail condition: There are outstanding Non transaction with ID values that are used by Stashtranslation transaction. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that there is no outstanding Atomic transactions with ID values that are used by Atomic transactions or Non-atomic transactions on either the AR or AW channels. Pass condition: There are no outstanding atomic transactions with same AxID used by Atomic transactions or Non-atomic transactions . Fail condition: There are an outstanding atomic transactions with same AxID used by Atomic transactions or Non-atomic transactions. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: The ID value is unique-in-flight. Fail condition: The ID value is not unique-in-flight. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that there are no outstanding Prefetch and write transactions with same ID values at a time. Pass condition: The ID value is unique-in-flight. Fail condition: The ID value is not unique-in-flight. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that there is no outstanding transaction with same arid when read data chunking feature is enabled and archunken. Manager should not initiate another outstanding transaction with same ID when ARCHUNKEN is set to 1. ARCHUNKEN only be asserted if there is no outstanding txn with same ARID. Pass condition: There is no outstanding transactions with same ARID when ARCHUNKEN is set to 1. Fail condition: Outstanding transactions with same ARID for chunks when ARCHUNKEN is set to 1. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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: Check that there is no outstanding transaction with same arid when unique id feature is enabled and ARIDUNQ is asserted. Manager should not initiate another outstanding transaction with same ID when ARIDUNQ is set to 1. ARIDUNQ only be asserted if there is no outstanding txn with same ARID. Pass condition: There is no outstanding transactions with same ARID when ARIDUNQ is set to 1. Fail condition: Outstanding transactions with same ARID for chunks when ARIDUNQ is set to 1. Applicable device type: Passive Master, Active/Passive Slave 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: Check that there is no outstanding transaction with same arid when unique id feature is enabled and AWIDUNQ is asserted. Manager should not initiate another outstanding transaction with same ID when AWIDUNQ is set to 1. AWIDUNQ only be asserted if there is no outstanding txn with same ARID. Pass condition: There is no outstanding transactions with same AWID when AWIDUNQ is set to 1. Fail condition: Outstanding transactions with same AWID for chunks when AWIDUNQ is set to 1. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that there is no outstanding Writedeferrable transactions with ID values that are used by Writedeferrable or Non-Writedeferrable transactions on either of the write channels. Pass condition: There are no outstanding atomic transactions with same ID used by Writedeferrable or Non-Writedeferrable transactions on either of write channels. Fail condition: There are an outstanding atomic transactions with same ID used by Writedeferrable or Non-Writedeferrable transactions on either of write channels. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that there are no outstanding write transactions with same AWID values when the WriteZero feature is enabled. Pass condition: There are no outstanding write transactions with same AWID value as that of a WriteZero transaction. Fail condition: There is atleast one outstanding write transaction with same AWID value as that of a WriteZero transaction. 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 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: Check that bresp can be OKAY, SLVERR or DECERR for persist CMO transactions on write channel. Pass condition: bresp value is either OKAY,SLVERR or DECERR for persist CMO transactions on write channel. Fail condition: bresp value is other than permitted values of OKAY,SLVERR, DECERR for persist CMO transactions on write channel. Applicable device type: Passive Slave, Active/Passive Master 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: |
|
|
Check description: Checks that AWCACHE has a valid value when Prefetch feature in ACE5_LITE is enabled. Pass condition: AWCACHE is Normal. Fail condition: AWCACHE is not Normal. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWDOMAIN has a valid value when Prefetch feature in ACE5_LITE is enabled. Pass condition: AWDOMAIN is NONSHAREABLE, INNERSHAREABLE or OUTERSHAREABLE. Fail condition: AWDOMAIN is not NONSHAREABLE, INNERSHAREABLE or OUTERSHAREABLE. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWIDUNQ has a valid value when Prefetch feature in ACE5_LITE is enabled. Pass condition: If Present AWIDUNQ value is asserted. Fail condition: If Present and AWIDUNQ value is not asserted. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLOCK has a valid value when WriteDeferrable feature in ACE5_LITE is enabled. Pass condition: AWLOCK value is NORMAL. Fail condition: AWLOCK value is not NORMAL. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSNOOP has a valid value when Prefetch feature in ACE5_LITE is enabled. Pass condition: AWSNOOP is 'b1111. Fail condition: AWSNOOP is not 'b1111. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BRESP has a valid value when Prefetch feature in ACE5_LITE is enabled. Pass condition: BRESP value is not EXOKAY. Fail condition: BRESP value is EXOKAY. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that a PREFETCHED response is not sent for an exclusive read. Pass condition: PREFETCHED response is not sent for an exclusive read. PREFETCHED response is not seen for transaction types apart from READNOSNOOP, READONCE, ROCI and ROMI PREFETCHED response is not seen when prefetch_xact_enable is set to 0 Fail condition: PREFETCHED response is sent for an exclusive read. PREFETCHED response is seen for transaction types apart from READNOSNOOP, READONCE, ROCI and ROMI PREFETCHED response is seen when prefetch_xact_enable is set to 0 Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
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 when archunken is asserted xact_type is either READ or COHERENT. Pass condition: When archunken is asserted xact_type is READ or COHERENT. Fail condition: When archunken is asserted xact_type is niether READ nor COHERENT xact_type. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks the received RDATACHK is same as the parity calculated from RDATA in a read transaction. Pass condition: Received RDATACHK is same as the parity calculated from RDATA in a read transaction. Fail condition: Received RDATACHK is not same as the parity calculated from RDATA in a read transaction.. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ARADDR is aligned to 16 bytes for rdata chunking
Pass condition: When the ARADDR is aligned to 16 bytes for rdata chunking Fail condition: When the ARADDR is not aligned to 16 bytes for rdata chunking Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARBURST is INCR or WRAP for rdata chunking
Pass condition: When ARCHUNKEN is asserted, ARBURST must be INCR or WRAP Fail condition: When ARCHUNKEN is asserted, ARBURST is not be INCR or WRAP type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARIDUNQ must be asserted for rdata chunking Pass condition: When read data chunking is enabled than ARIDUNQ must be asserted Fail condition: When read data chunking is enabled and ARIDUNQ is not asserted Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that when ARSIZE is smaller than DATA_WIDTH, the response would only have partial RCHUNKSTRB asserted
Pass condition: When chunk_strb higher order bits are zeros for burst_size
Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARSIZE is same as BUS_WIDTH or ARLEN is 1 for rdata chunking
Pass condition: When ARCHUNKEN is asserted, ARSIZE must be same as BUS_WIDTH or ARLEN must be 1 Fail condition: When ARCHUNKEN is asserted, ARSIZE need not be same as BUS_WIDTH or ARLEN need not be 1 Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARSIZE is equal to the data bus width or ARLEN is one beat and ARSIZE is 128 bits or larger for rdata chunking
Pass condition: When the burst size is equal to data bus width or burst length is one beat and burst size is greater than or equal to the 128 bits Fail condition: When the burst size is not equal to data bus width or burst length is not one beat and burst size is not greater than or equal to the 128 bits Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARSNOOP is ReadNoSnoop, ReadOnce, ReadOnceCleanInvalid or ReadOnceMakeInvalid for rdata chunking
Pass condition: When ARCHUNKEN is asserted, ARSNOOP must be ReadNoSnoop, ReadOnce, ReadOnceCleanInvalid or ReadOnceMakeInvalid Fail condition: When ARCHUNKEN is asserted, ARSNOOP is not ReadNoSnoop, ReadOnce, ReadOnceCleanInvalid or ReadOnceMakeInvalid Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that the same chunk data should not be sent twice
Pass condition: When chunk_strb is unique for chunk_num Fail condition: When chunk_strb is not unique for chunk_num Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when: - The macro SVT_ACE5_ENABLE is defined - svt_axi_port_configuration :: ace_version is set to svt_axi_port_configuration :: ACE_VERSION_2_0 - svt_axi_port_configuration :: rdata_chunking_enable is set to 1 - svt_axi_port_configuration :: axi_interface_type is set to svt_axi_port_configuration :: AXI4 or ACE_LITE. - svt_axi_port_configuration :: protocol_checks_enable is set to 1. . |
|
|
Check description: Checks that the number of bytes that are transferred through read data chunking must be consistant with ARSIZE and ARLEN
Pass condition: When expected_bytes is equal to the actual_bytes Fail condition: When expected_bytes is not equal to the actual_bytes Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKNUM must be between zero and ARLEN when RVALID and RCHUNKV are high
Pass condition: When RCHUNKNUM must be between zero and ARLEN Fail condition: When RCHUNKNUM is not between zero and ARLEN Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKSTRB must not be zero when RVALID and RCHUNKV are high Pass condition: When RVALID and RCHUNKV are high than RCHUNKSTRB must not be zero Fail condition: When RVALID and RCHUNKV are high and RCHUNKSTRB is zero Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKV must be the same for every response beat of a transaction Pass condition: When the values of previous_rchunkv is same as observed_rchunkv Fail condition: When the values of previous_rchunkv is not same to observed_rchunkv Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKV is deasserted for all the transfers when ARCHUNKEN is deasserted
Pass condition: When RCHUNKV is deasserted for all the transfers when ARCHUNKEN is deasserted Fail condition: When RCHUNKV is not deasserted for all the transfers when ARCHUNKEN is deasserted Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that for unaligned burst where ARADDR is not aligned to DATA_WIDTH, the lower order bits of RCHUNKSTRB (depends on ARADDR) must not be asserted
Pass condition: When chunk_strb lower order bits are zeros for unalign addr Fail condition: When chunk_strb lower order bits are not zeros for unalign addr Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
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: |
|
|
Check description: Checks that observed parity value as seen in *chk signals match that of calculated parity value from respective signal. Pass condition: Observed parity value as seen in *chk signals match that of calculated parity value from respective signal. Fail condition: observed parity value as seen in *chk signals doesn't match that of calculated parity value from respective signal. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AxLEN is valid for Regular Transactions Pass condition: When All Regular transactions must have valid AxLEN Fail condition: When All Regular transactions not have valid AxLEN Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AxSIZE is valid for Regular Transactions Pass condition: When All Regular transactions must have valid AxSIZE Fail condition: When All Regular transactions not have valid AxSIZE 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 AxBURST for Regular Transactions Pass condition: When address is aligned to transaction container size(len*size) for INCR burst type. When address is aligned to burst_size for WRAP burst type Fail condition: When address is not aligned to transaction container size(len*size) for INCR burst type When address is not aligned to burst_size for WRAP burst type Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if the AxBURST is valid for Regular Transactions Pass condition: When all Regular transactions must have valid AxBURST Fail condition: When all Regular transactions not have valid AxBURST Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
UVM 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: Check that if ARIDUNQ is asserted for a request, the corresponding RIDUNQ signals is asserted for all response beats for that transaction and if ARIDUNQ is deasserted for a request, the corresponding RIDUNQ signals is deasserted for all response beats for that transaction. Pass condition: if ARIDUNQ is asserted for a request, the corresponding RIDUNQ signals is not asserted for all response beats for that transaction and if ARIDUNQ is deasserted for a request, the corresponding RIDUNQ signals is deasserted for all response beats for that transaction. Fail condition: if ARIDUNQ is asserted for a request, the corresponding RIDUNQ signals is not asserted for all response beats for that transaction and if ARIDUNQ is deasserted for a request, the corresponding RIDUNQ signals is not deasserted for all response beats for that transaction. 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 the value of rloop matches with the value of awloop seen in the corresponding atomic transaction
Pass condition: check will pass if the value of rloop matches awloop for atomic transactions. Fail condition: check will fail if the value of rloop does not match awloop for atomic transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: enable_loopback_signaling is set 1. |
|
|
Check description: Checks the value of rloop matches with the value of arloop seen in the corresponding read transaction
Pass condition: check will pass if the value of rloop matches arloop for read transactions. Fail condition: check will fail if the value of rloop does not match arloop for read transactions. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when svt_axi_port_configuration :: enable_loopback_signaling is set 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 ACADDRCHK is stable when ACVALID is high. Pass condition: ACADDRCHK is stable when ACVALID is high. Fail condition: ACADDRCHK is not stable when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
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 ACCTLCHK is stable when ACVALID is high. Pass condition: ACCTLCHK is stable when ACVALID is high. Fail condition: ACCTLCHK is not stable when ACVALID 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 ACTRACECHK is stable when ACVALID is high. Pass condition: ACTRACECHK is stable when ACVALID is high. Fail condition: ACTRACECHK is not stable when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that ACVMIDEXTCHK is stable when ACVALID is high. Pass condition: ACVMIDEXTCHK is stable when ACVALID is high. Fail condition: ACVMIDEXTCHK is not stable when ACVALID 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 ARADDRCHK is stable when ARVALID is high. Pass condition: ARADDRCHK is stable when ARVALID is high. Fail condition: ARADDRCHK 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 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 ARCHUNKEN is stable when ARVALID is high Pass condition: ARCHUNKEN is stable when ARVALID is high Fail condition: ARCHUNKEN is not stable when ARVALID is high Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable when:
|
|
|
Check description: Checks that ARCTLCHK0 is stable when ARVALID is high. Pass condition: ARCTLCHK0 is stable when ARVALID is high. Fail condition: ARCTLCHK0 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 ARCTLCHK1 is stable when ARVALID is high. Pass condition: ARCTLCHK1 is stable when ARVALID is high. Fail condition: ARCTLCHK1 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 ARCTLCHK2 is stable when ARVALID is high. Pass condition: ARCTLCHK1 is stable when ARVALID is high. Fail condition: ARCTLCHK2 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 ARCTLCHK3 is stable when ARVALID is high. Pass condition: ARCTLCHK3 is stable when ARVALID is high. Fail condition: ARCTLCHK3 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 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 ARIDCHK is stable when ARVALID is high. Pass condition: ARIDCHK is stable when ARVALID is high. Fail condition: ARIDCHK 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 ARIDUNQ is stable when ARVALID is high. Pass condition: ARIDUNQ is stable when ARVALID is high. Fail condition: ARIDUNQ 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 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 ARLENCHK is stable when ARVALID is high. Pass condition: ARLENCHK is stable when ARVALID is high. Fail condition: ARLENCHK 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 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 ARLOOP is stable when ARVALID is high Pass condition: arloop is stable when ARVALID is high Fail condition: arloop 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 ARLOOPCHK is stable when ARVALID is high. Pass condition: ARLOOPCHK is stable when ARVALID is high. Fail condition: ARLOOPCHK 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 ARMMUATST is stable when ARVALID is high. Pass condition: ARMMUATST is stable when ARVALID is high. Fail condition: ARMMUATST 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 ARMMUCHK is stable when ARVALID is high. Pass condition: ARMMUCHK is stable when ARVALID is high. Fail condition: ARMMUCHK 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: ARMMUFLOW should be stable when ARVALID is high. Pass condition: ARMMUFLOW is stable when ARVALID is high. Fail condition: ARMMUFLOW 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 ARMMUSECSID is stable when ARVALID is high. Pass condition: ARMMUSECSID is stable when ARVALID is high. Fail condition: ARMMUSECSID 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 ARMMUSID is stable when ARVALID is high. Pass condition: ARMMUSID is stable when ARVALID is high. Fail condition: ARMMUSID 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 ARMMUSIDCHK is stable when ARVALID is high. Pass condition: ARMMUSIDCHK is stable when ARVALID is high. Fail condition: ARMMUSIDCHK 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 ARMMUSSID is stable when ARVALID is high. Pass condition: ARMMUSSID is stable when ARVALID is high. Fail condition: ARMMUSSID 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 ARMMUSSIDCHK is stable when ARVALID is high. Pass condition: ARMMUSSIDCHK is stable when ARVALID is high. Fail condition: ARMMUSSIDCHK 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 ARMMUSSIDV is stable when ARVALID is high. Pass condition: ARMMUSSIDV is stable when ARVALID is high. Fail condition: ARMMUSSIDV 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: ARMMUVALID should be stable when ARVALID is high. Pass condition: ARMMUVALID is stable when ARVALID is high. Fail condition: ARMMUVALID 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 ARMPAM is stable when ARVALID is high Pass condition: ARMPAM is stable when ARVALID is high Fail condition: ARMPAM 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 ARMPAMCHK is stable when ARVALID is high. Pass condition: ARMPAMCHK is stable when ARVALID is high. Fail condition: ARMPAMCHK 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: ARNSAID should be stable when ARVALID is high. Pass condition: ARNSAID is stable when ARVALID is high. Fail condition: ARNSAID 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 ARNSAIDCHK is stable when ARVALID is high. Pass condition: ARNSAIDCHK is stable when ARVALID is high. Fail condition: ARNSAIDCHK 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 ARNSE is stable when ARVALID is high. Pass condition: ARNSE is stable when ARVALID is high. Fail condition: ARNSE 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 ARPBHA is stable when AWVALID is high. Pass condition: ARPBHA is stable when AWVALID is high. Fail condition: ARPBHA 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 ARPBHACHK is stable when ARVALID is high. Pass condition: ARPBHACHK is stable when ARVALID is high. Fail condition: ARPBHACHK 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 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 ARSUBSYSID is stable when ARVALID is high. Pass condition: ARSUBSYSID is stable when ARVALID is high. Fail condition: ARSUBSYSID 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 ARSUBSYSIDCHK is stable when ARVALID is high. Pass condition: ARSUBSYSIDCHK is stable when ARVALID is high. Fail condition: ARSUBSYSIDCHK 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 ARTAGOP is stable when ARVALID is high Pass condition: ARTAGOP is stable when ARVALID is high Fail condition: ARTAGOP 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 ARTRACECHK is stable when ARVALID is high. Pass condition: ARTRACECHK is stable when ARVALID is high. Fail condition: ARTRACECHK 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 ARUSERCHK is stable when ARVALID is high. Pass condition: ARUSERCHK is stable when ARVALID is high. Fail condition: ARUSERCHK 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 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 AWADDRCHK is stable when AWVALID is high. Pass condition: AWADDRCHK is stable when AWVALID is high. Fail condition: AWADDRCHK 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 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 AWCMO is stable when AWVALID is high Pass condition: AWCMO is stable when AWVALID is high Fail condition: AWCMO 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 AWCTLCHK0 is stable when AWVALID is high. Pass condition: AWCTLCHK0 is stable when AWVALID is high. Fail condition: AWCTLCHK0 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 AWCTLCHK1 is stable when AWVALID is high. Pass condition: AWCTLCHK1 is stable when AWVALID is high. Fail condition: AWCTLCHK1 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 AWCTLCHK2 is stable when AWVALID is high. Pass condition: AWCTLCHK1 is stable when AWVALID is high. Fail condition: AWCTLCHK2 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 AWCTLCHK3 is stable when AWVALID is high. Pass condition: AWCTLCHK3 is stable when AWVALID is high. Fail condition: AWCTLCHK3 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 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 AWIDUNQ is stable when AWVALID is high. Pass condition: AWIDUNQ is stable when AWVALID is high. Fail condition: AWIDUNQ 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 AWIDCHK is stable when AWVALID is high. Pass condition: AWIDCHK is stable when AWVALID is high. Fail condition: AWIDCHK 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 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 AWLENCHK is stable when AWVALID is high. Pass condition: AWLENCHK is stable when AWVALID is high. Fail condition: AWLENCHK 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 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 AWLOOP is stable when AWVALID is high Pass condition: awloop is stable when AWVALID is high Fail condition: awloop 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 AWLOOPCHK is stable when AWVALID is high. Pass condition: AWLOOPCHK is stable when AWVALID is high. Fail condition: AWLOOPCHK 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 AWMMUATST is stable when AWVALID is high. Pass condition: AWMMUATST is stable when AWVALID is high. Fail condition: AWMMUATST 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 AWMMUCHK is stable when AWVALID is high. Pass condition: AWMMUCHK is stable when AWVALID is high. Fail condition: AWMMUCHK 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: AWMMUFLOW should be stable when AWVALID is high. Pass condition: AWMMUFLOW is stable when AWVALID is high. Fail condition: AWMMUFLOW 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 AWMMUSECSID is stable when AWVALID is high. Pass condition: AWMMUSECSID is stable when AWVALID is high. Fail condition: AWMMUSECSID 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 AWMMUSID is stable when AWVALID is high. Pass condition: AWMMUSID is stable when AWVALID is high. Fail condition: AWMMUSID 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 AWMMUSIDCHK is stable when AWVALID is high. Pass condition: AWMMUSIDCHK is stable when AWVALID is high. Fail condition: AWMMUSIDCHK 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 AWMMUSSID is stable when AWVALID is high. Pass condition: AWMMUSSID is stable when AWVALID is high. Fail condition: AWMMUSSID 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 AWMMUSSIDCHK is stable when AWVALID is high. Pass condition: AWMMUSSIDCHK is stable when AWVALID is high. Fail condition: AWMMUSSIDCHK 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 AWMMUSSIDV is stable when AWVALID is high. Pass condition: AWMMUSSIDV is stable when AWVALID is high. Fail condition: AWMMUSSIDV 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: AWMMUVALID should be stable when AWVALID is high. Pass condition: AWMMUVALID is stable when AWVALID is high. Fail condition: AWMMUVALID 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 AWMPAM is stable when AWVALID is high Pass condition: AWMPAM is stable when AWVALID is high Fail condition: AWMPAM 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 AWMPAMCHK is stable when AWVALID is high. Pass condition: AWMPAMCHK is stable when AWVALID is high. Fail condition: AWMPAMCHK 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: AWNSAID should be stable when AWVALID is high. Pass condition: AWNSAID is stable when AWVALID is high. Fail condition: AWNSAID 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 AWNSAIDCHK is stable when AWVALID is high. Pass condition: AWNSAIDCHK is stable when AWVALID is high. Fail condition: AWNSAIDCHK 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 AWNSE is stable when AWVALID is high. Pass condition: AWNSE is stable when AWVALID is high. Fail condition: AWNSE 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 AWPBHA is stable when AWVALID is high. Pass condition: AWPBHA is stable when AWVALID is high. Fail condition: AWPBHA 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 AWPBHACHK is stable when AWVALID is high. Pass condition: AWPBHACHK is stable when AWVALID is high. Fail condition: AWPBHACHK 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 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 AWSTASHLPID is stable when AWVALID is high. Pass condition: AWSTASHLPID is stable when AWVALID is high. Fail condition: AWSTASHLPID 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 AWSTASHLPIDCHK is stable when AWVALID is high. Pass condition: AWSTASHLPIDCHK is stable when AWVALID is high. Fail condition: AWSTASHLPIDCHK 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 AWSTASHLPIDEN is stable when AWVALID is high. Pass condition: AWSTASHLPIDEN is stable when AWVALID is high. Fail condition: AWSTASHLPIDEN 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 AWSTASHNID is stable when AWVALID is high. Pass condition: AWSTASHNID is stable when AWVALID is high. Fail condition: AWSTASHNID 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 AWSTASHNIDCHK is stable when AWVALID is high. Pass condition: AWSTASHNIDCHK is stable when AWVALID is high. Fail condition: AWSTASHNIDCHK 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 AWSTASHNIDEN is stable when AWVALID is high. Pass condition: AWSTASHNIDEN is stable when AWVALID is high. Fail condition: AWSTASHNIDEN 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 AWSUBSYSID is stable when AWVALID is high. Pass condition: AWSUBSYSID is stable when AWVALID is high. Fail condition: AWSUBSYSID 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 AWSUBSYSIDCHK is stable when AWVALID is high. Pass condition: AWSUBSYSIDCHK is stable when AWVALID is high. Fail condition: AWSUBSYSIDCHK 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 AWTAGOP is stable when AWVALID is high Pass condition: AWTAGOP is stable when AWVALID is high Fail condition: AWTAGOP 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 AWTRACECHK is stable when AWVALID is high. Pass condition: AWTRACECHK is stable when AWVALID is high. Fail condition: AWTRACECHK 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 AWUSERCHK is stable when AWVALID is high. Pass condition: AWUSERCHK is stable when AWVALID is high. Fail condition: AWUSERCHK 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 BBUSY is stable when BVALID is high. Pass condition: BBUSY is stable when BVALID is high. Fail condition: BBUSY 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: BCOMP should be stable when BVALID is high. Pass condition: BCOMP is stable when BVALID is high. Fail condition: BCOMP 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 BIDCHK is stable when BVALID is high. Pass condition: BIDCHK is stable when BVALID is high. Fail condition: BIDCHK is not stable when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BIDUNQ is stable when BVALID is high. Pass condition: BIDUNQ is stable when BRVALID is high. Fail condition: BIDUNQ 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 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 BLOOP is stable when BVALID is high Pass condition: bloop is stable when BVALID is high Fail condition: bloop 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 BLOOPCHK is stable when BVALID is high. Pass condition: BLOOPCHK is stable when BVALID is high. Fail condition: BLOOPCHK is not stable when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: BPERSIST should be stable when BVALID is high. Pass condition: BPERSIST is stable when BVALID is high. Fail condition: BPERSIST 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 BRESPCHK is stable when BVALID is high. Pass condition: BRESPCHK is stable when BVALID is high. Fail condition: BRESPCHK is not stable when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 BTAGMATCH is stable when BVALID is high Pass condition: BTAGMATCH is stable when BVALID is high Fail condition: BTAGMATCH 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 BTRACECHK is stable when BVALID is high. Pass condition: BTRACECHK is stable when BVALID is high. Fail condition: BTRACECHK is not stable when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 BUSERCHK is stable when BVALID is high. Pass condition: BUSERCHK is stable when BVALID is high. Fail condition: BUSERCHK is not stable when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave 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 CDDATACHK is stable when CDVALID is high. Pass condition: CDDATACHK is stable when CDVALID is high. Fail condition: CDDATACHK 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 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 CDLASTCHK is stable when CDVALID is high. Pass condition: CDLASTCHK is stable when CDVALID is high. Fail condition: CDLASTCHK 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 CDPOISONCHK is stable when CDVALID is high. Pass condition: CDPOISONCHK is stable when CDVALID is high. Fail condition: CDPOISONCHK 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 CDTRACECHK is stable when CDVALID is high. Pass condition: CDTRACECHK is stable when CDVALID is high. Fail condition: CDTRACECHK 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 CRRESPCHK is stable when CRVALID is high. Pass condition: CRRESPCHK is stable when CRVALID is high. Fail condition: CRRESPCHK 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 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 CRTRACECHK is stable when CRVALID is high. Pass condition: CRTRACECHK is stable when CRVALID is high. Fail condition: CRTRACECHK 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 RBUSY is stable when RVALID is high. Pass condition: RBUSY is stable when RVALID is high. Fail condition: RBUSY 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 RCHUNKCHK is stable when RVALID is high. Pass condition: RCHUNKCHK is stable when RVALID is high. Fail condition: RCHUNKCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RCHUNKNUM is stable when RVALID and RCHUNKV are high Pass condition: RCHUNKNUM is stable when RVALID and RCHUNKV are high Fail condition: RCHUNKNUM is not stable when RVALID and RCHUNKV are high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKSTRB is stable when RVALID and RCHUNKV are high Pass condition: RCHUNKSTRB is stable when RVALID and RCHUNKV are high Fail condition: RCHUNKSTRB is not stable when RVALID and RCHUNKV are high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKV is stable when RVALID is high Pass condition: RCHUNKV is stable when RVALID is high Fail condition: RCHUNKV is not stable when RVALID is high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable 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 RDATACHK is stable when RVALID is high. Pass condition: RDATACHK is stable when RVALID is high. Fail condition: RDATACHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 RIDCHK is stable when RVALID is high. Pass condition: RIDCHK is stable when RVALID is high. Fail condition: RIDCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RIDUNQ is stable when RVALID is high. Pass condition: RIDUNQ is stable when ARVALID is high. Fail condition: RIDUNQ 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 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 RLASTCHK is stable when RVALID is high. Pass condition: RLASTCHK is stable when RVALID is high. Fail condition: RLASTCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RLOOP is stable when RVALID is high Pass condition: rloop is stable when RVALID is high Fail condition: rloop 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 RLOOPCHK is stable when RVALID is high. Pass condition: RLOOPCHK is stable when RVALID is high. Fail condition: RLOOPCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 RPOISONCHK is stable when RVALID is high. Pass condition: RPOISONCHK is stable when RVALID is high. Fail condition: RPOISONCHK is not stable 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 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 RRESPCHK is stable when RVALID is high. Pass condition: RRESPCHK is stable when RVALID is high. Fail condition: RRESPCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RATGCHK is stable when RVALID is high. Pass condition: RTAGCHK is stable when RVALID is high. Fail condition: RTAGCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that RTAG is stable when RVALID is high Pass condition: RTAG is stable when RVALID is high Fail condition: RTAG 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 RTRACECHK is stable when RVALID is high. Pass condition: RTRACECHK is stable when RVALID is high. Fail condition: RTRACECHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 RUSERCHK is stable when RVALID is high. Pass condition: RUSERCHK is stable when RVALID is high. Fail condition: RUSERCHK is not stable when RVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
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 TDATACHK is stable when TVALID is high. Pass condition: tdatachk is stable when tvalid is high. Fail condition: tdatachk 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 TDESTCHK is stable when TVALID is high. Pass condition: tdestchk is stable when tvalid is high. Fail condition: tdestchk 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 TIDCHK is stable when TVALID is high. Pass condition: tidchk is stable when tvalid is high. Fail condition: tidchk 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 TKEEPCHK is stable when TVALID is high. Pass condition: tkeepchk is stable when tvalid is high. Fail condition: tkeepchk 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 TLASTCHK is stable when TVALID is high. Pass condition: tlastchk is stable when tvalid is high. Fail condition: tlastchk 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 TSTRBCHK is stable when TVALID is high. Pass condition: tstrbchk is stable when tvalid is high. Fail condition: tstrbchk 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 TUSERCHK is stable when TVALID is high. Pass condition: tuserchk is stable when tvalid is high. Fail condition: tuserchk 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 WDATACHK is stable when WVALID is high. Pass condition: WDATACHK is stable when WVALID is high. Fail condition: WDATACHK 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 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 WLASTCHK is stable when WVALID is high. Pass condition: WLASTCHK is stable when WVALID is high. Fail condition: WLASTCHK 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 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 WPOISONCHK is stable when WVALID is high. Pass condition: WPOISONCHK is stable when WVALID is high. Fail condition: WPOISONCHK 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 WSTRBCHK is stable when WVALID is high. Pass condition: WSTRBCHK is stable when WVALID is high. Fail condition: WSTRBCHK 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 WTAGCHK is stable when WVALID is high. Pass condition: WTAGCHK is stable when WVALID is high. Fail condition: WTAGCHK 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 WTAG is stable when WVALID is high Pass condition: WTAG is stable when WVALID is high Fail condition: WTAG 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 WTAGUPDATE is stable when WVALID is high Pass condition: WTAGUPDATE is stable when WVALID is high Fail condition: WTAGUPDATE 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 WTRACECHK is stable when WVALID is high. Pass condition: WTRACECHK is stable when WVALID is high. Fail condition: WTRACECHK 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 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 WUSERCHK is stable when WVALID is high. Pass condition: WUSERCHK is stable when WVALID is high. Fail condition: WUSERCHK 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 ACADDRCHK is not X or Z when ACVALID is high. Pass condition: ACADDRCHK is not X or Z when ACVALID is high. Fail condition: ACADDRCHK is X or Z when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
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 ACCTLCHK is not X or Z when ACVALID is high. Pass condition: ACCTLCHK is not X or Z when ACVALID is high. Fail condition: ACCTLCHK is X or Z when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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 ACTRACECHK is not X or Z when ACVALID is high. Pass condition: ACTRACECHK is not X or Z when ACVALID is high. Fail condition: ACTRACECHK is X or Z when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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 ACVMIDEXTCHK is not X or Z when ACVALID is high. Pass condition: ACVMIDEXTCHK is not X or Z when ACVALID is high. Fail condition: ACVMIDEXTCHK is X or Z when ACVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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 ARADDRCHK is not X or Z when ARVALID is high. Pass condition: ARADDRCHK is not X or Z when ARVALID is high. Fail condition: ARADDRCHK 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 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 ARCHUNKEN is not X or Z when ARVALID is high Pass condition: ARCHUNKEN is not X or Z when ARVALID is high Fail condition: ARCHUNKEN 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 ARCTLCHK0 is not X or Z when ARVALID is high. Pass condition: ARCTLCHK0 is not X or Z when ARVALID is high. Fail condition: ARCTLCHK0 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 ARCTLCHK1 is not X or Z when ARVALID is high. Pass condition: ARCTLCHK1 is not X or Z when ARVALID is high. Fail condition: ARCTLCHK1 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 ARCTLCHK2 is not X or Z when ARVALID is high. Pass condition: ARCTLCHK2 is not X or Z when ARVALID is high. Fail condition: ARCTLCHK2 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 ARCTLCHK3 is not X or Z when ARVALID is high. Pass condition: ARCTLCHK3 is not X or Z when ARVALID is high. Fail condition: ARCTLCHK3 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 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 ARIDCHK is not X or Z when ARVALID is high. Pass condition: ARIDCHK is not X or Z when ARVALID is high. Fail condition: ARIDCHK 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 ARIDUNQ is not X or Z when ARVALID is high. Pass condition: ARIDUNQ is not X or Z when ARVALID is high. Fail condition: ARIDUNQ 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 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 ARLENCHK is not X or Z when ARVALID is high. Pass condition: ARLENCHK is not X or Z when ARVALID is high. Fail condition: ARLENCHK 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 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 ARLOOP is not X or Z when ARVALID is high Pass condition: arloop is not X or Z when ARVALID is high Fail condition: arloop 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 ARLOOPCHK is not X or Z when ARVALID is high. Pass condition: ARLOOPCHK is not X or Z when ARVALID is high. Fail condition: ARLOOPCHK 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 ARMMUATST is not X or Z when ARVALID is high. Pass condition: ARMMUATST is not X or Z when ARVALID is high. Fail condition: ARMMUATST 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 ARMMUCHK is not X or Z when ARVALID is high. Pass condition: ARMMUCHK is not X or Z when ARVALID is high. Fail condition: ARMMUCHK 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 ARMMUFLOW is not X or Z when ARVALID is high. Pass condition: ARMMUFLOW is not X or Z when ARVALID is high. Fail condition: ARMMUFLOW 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 ARMMUSECSID is not X or Z when ARVALID is high. Pass condition: ARMMUSECSID is not X or Z when ARVALID is high. Fail condition: ARMMUSECSID 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 ARMMUSID is not X or Z when ARVALID is high. Pass condition: ARMMUSID is not X or Z when ARVALID is high. Fail condition: ARMMUSID 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 ARMMUSIDCHK is not X or Z when ARVALID is high. Pass condition: ARMMUSIDCHK is not X or Z when ARVALID is high. Fail condition: ARMMUSIDCHK 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 ARMMUSSID is not X or Z when ARVALID is high. Pass condition: ARMMUSSID is not X or Z when ARVALID is high. Fail condition: ARMMUSSID 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 ARMMUSSIDCHK is not X or Z when ARVALID is high. Pass condition: ARMMUSSIDCHK is not X or Z when ARVALID is high. Fail condition: ARMMUSSIDCHK 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 ARMMUSSIDV is not X or Z when ARVALID is high. Pass condition: ARMMUSSIDV is not X or Z when ARVALID is high. Fail condition: ARMMUSSIDV 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 ARMMUVALID is not X or Z when ARVALID is high. Pass condition: ARMMUVALID is not X or Z when ARVALID is high. Fail condition: ARMMUVALID 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 armpam is not X or Z when ARVALID is high Pass condition: armpam is not X or Z when ARVALID is high Fail condition: armpam 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 ARMPAMCHK is not X or Z when ARVALID is high. Pass condition: ARMPAMCHK is not X or Z when ARVALID is high. Fail condition: ARMPAMCHK 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 ARNSAID is not X or Z when ARVALID is high. Pass condition: ARNSAID is not X or Z when ARVALID is high. Fail condition: ARNSAID 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 ARNSAIDCHK is not X or Z when ARVALID is high. Pass condition: ARNSAIDCHK is not X or Z when ARVALID is high. Fail condition: ARNSAIDCHK 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 ARNSE is not X or Z when ARVALID is high. Pass condition: ARNSE is not X or Z when ARVALID is high. Fail condition: ARNSE 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 ARPBHA is not X or Z when AWVALID is high. Pass condition: ARPBHA is not X or Z when AWVALID is high. Fail condition: ARPBHA 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 ARPBHACHK is not X or Z when ARVALID is high. Pass condition: ARPBHACHK is not X or Z when ARVALID is high. Fail condition: ARPBHACHK 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 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 ARREADYCHK is not X or Z when ARVALID is high. Pass condition: ARREADYCHK is not X or Z when ARVALID is high. Fail condition: ARREADYCHK 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 ARSUBSYSID is not X or Z when ARVALID is high. Pass condition: ARSUBSYSID is not X or Z when ARVALID is high. Fail condition: ARSUBSYSID 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 ARSUBSYSIDCHK is not X or Z when ARVALID is high. Pass condition: ARSUBSYSIDCHK is not X or Z when ARVALID is high. Fail condition: ARSUBSYSIDCHK 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 ARTAGOP is not X or Z when ARVALID is high Pass condition: ARTAGOP is not X or Z when ARVALID is high Fail condition: ARTAGOP 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 ARTRACECHK is not X or Z when ARVALID is high. Pass condition: ARTRACECHK is not X or Z when ARVALID is high. Fail condition: ARTRACECHK 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: Checks that ARUSERCHK is not X or Z when ARVALID is high. Pass condition: ARUSERCHK is not X or Z when ARVALID is high. Fail condition: ARUSERCHK 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 ARVALIDCHK is not X or Z when ARVALID is high. Pass condition: ARVALIDCHK is not X or Z when ARVALID is high. Fail condition: ARVALIDCHK 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: 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 AWADDRCHK is not X or Z when AWVALID is high. Pass condition: AWADDRCHK is not X or Z when AWVALID is high. Fail condition: AWADDRCHK 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 awatop is not X or Z when AWVALID is high Pass condition: awatop is not X or Z when AWVALID is high Fail condition: awatop 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 AWCMO is not X or Z when AWVALID is high Pass condition: AWCMO is not X or Z when AWVALID is high Fail condition: AWCMO 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 AWCTLCHK0 is not X or Z when AWVALID is high. Pass condition: AWCTLCHK0 is not X or Z when AWVALID is high. Fail condition: AWCTLCHK0 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 AWCTLCHK1 is not X or Z when AWVALID is high. Pass condition: AWCTLCHK1 is not X or Z when AWVALID is high. Fail condition: AWCTLCHK1 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 AWCTLCHK2 is not X or Z when AWVALID is high. Pass condition: AWCTLCHK2 is not X or Z when AWVALID is high. Fail condition: AWCTLCHK2 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 AWCTLCHK3 is not X or Z when AWVALID is high. Pass condition: AWCTLCHK3 is not X or Z when AWVALID is high. Fail condition: AWCTLCHK3 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 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 AWIDCHK is not X or Z when AWVALID is high. Pass condition: AWIDCHK is not X or Z when AWVALID is high. Fail condition: AWIDCHK 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 AWIDUNQ is not X or Z when AWVALID is high. Pass condition: AWIDUNQ is not X or Z when AWVALID is high. Fail condition: AWIDUNQ 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 AWLENCHK is not X or Z when AWVALID is high. Pass condition: AWLENCHK is not X or Z when AWVALID is high. Fail condition: AWLENCHK 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 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 AWLOOP is not X or Z when AWVALID is high Pass condition: awloop is not X or Z when AWVALID is high Fail condition: awloop 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 AWLOOPCHK is not X or Z when AWVALID is high. Pass condition: AWLOOPCHK is not X or Z when AWVALID is high. Fail condition: AWLOOPCHK 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 AWMMUATST is not X or Z when AWVALID is high. Pass condition: AWMMUATST is not X or Z when AWVALID is high. Fail condition: AWMMUATST 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 AWMMUCHK is not X or Z when AWVALID is high. Pass condition: AWMMUCHK is not X or Z when AWVALID is high. Fail condition: AWMMUCHK 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 AWMMUFLOW is not X or Z when AWVALID is high. Pass condition: AWMMUFLOW is not X or Z when AWVALID is high. Fail condition: AWMMUFLOW 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 AWMMUSECSID is not X or Z when AWVALID is high. Pass condition: AWMMUSECSID is not X or Z when AWVALID is high. Fail condition: AWMMUSECSID 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 AWMMUSID is not X or Z when AWVALID is high. Pass condition: AWMMUSID is not X or Z when AWVALID is high. Fail condition: AWMMUSID 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 AWMMUSIDCHK is not X or Z when AWVALID is high. Pass condition: AWMMUSIDCHK is not X or Z when AWVALID is high. Fail condition: AWMMUSIDCHK 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 AWMMUSSID is not X or Z when AWVALID is high. Pass condition: AWMMUSSID is not X or Z when AWVALID is high. Fail condition: AWMMUSSID 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 AWMMUSSIDCHK is not X or Z when AWVALID is high. Pass condition: AWMMUSSIDCHK is not X or Z when AWVALID is high. Fail condition: AWMMUSSIDCHK 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 AWMMUSSIDV is not X or Z when AWVALID is high. Pass condition: AWMMUSSIDV is not X or Z when AWVALID is high. Fail condition: AWMMUSSIDV 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 AWMMUVALID is not X or Z when AWVALID is high. Pass condition: AWMMUVALID is not X or Z when AWVALID is high. Fail condition: AWMMUVALID 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 awmpam is not X or Z when AWVALID is high Pass condition: awmpam is not X or Z when AWVALID is high Fail condition: awmpam 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 AWMPAMCHK is not X or Z when AWVALID is high. Pass condition: AWMPAMCHK is not X or Z when AWVALID is high. Fail condition: AWMPAMCHK 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 AWNSAID is not X or Z when AWVALID is high. Pass condition: AWNSAID is not X or Z when AWVALID is high. Fail condition: AWNSAID 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 AWNSAIDCHK is not X or Z when AWVALID is high. Pass condition: AWNSAIDCHK is not X or Z when AWVALID is high. Fail condition: AWNSAIDCHK 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 AWNSE is not X or Z when AWVALID is high. Pass condition: AWNSE is not X or Z when AWVALID is high. Fail condition: AWNSE 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 AWPBHA is not X or Z when AWVALID is high. Pass condition: AWPBHA is not X or Z when AWVALID is high. Fail condition: AWPBHA 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 AWPBHACHK is not X or Z when AWVALID is high. Pass condition: AWPBHACHK is not X or Z when AWVALID is high. Fail condition: AWPBHACHK 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 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 AWVALIDCHK is not X or Z when AWVALID is high. Pass condition: AWVALIDCHK is not X or Z when AWVALID is high. Fail condition: AWVALIDCHK is X or Z when AWVALID is high. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only 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 AWSTASHLPIDCHK is not X or Z when AWVALID is high. Pass condition: AWSTASHLPIDCHK is not X or Z when AWVALID is high. Fail condition: AWSTASHLPIDCHK 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 AWSTASHNIDCHK is not X or Z when AWVALID is high. Pass condition: AWSTASHNIDCHK is not X or Z when AWVALID is high. Fail condition: AWSTASHNIDCHK 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 AWSUBSYSID is not X or Z when AWVALID is high. Pass condition: AWSUBSYSID is not X or Z when AWVALID is high. Fail condition: AWSUBSYSID 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 AWSUBSYSIDCHK is not X or Z when AWVALID is high. Pass condition: AWSUBSYSIDCHK is not X or Z when AWVALID is high. Fail condition: AWSUBSYSIDCHK 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 AWTAGOP is not X or Z when AWVALID is high Pass condition: AWTAGOP is not X or Z when AWVALID is high Fail condition: AWTAGOP 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 AWTRACECHK is not X or Z when AWVALID is high. Pass condition: AWTRACECHK is not X or Z when AWVALID is high. Fail condition: AWTRACECHK 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: Checks that AWUSERCHK is not X or Z when AWVALID is high. Pass condition: AWUSERCHK is not X or Z when AWVALID is high. Fail condition: AWUSERCHK 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 AWVALIDCHK is not X or Z when AWVALID is high. Pass condition: AWVALIDCHK is not X or Z when AWVALID is high. Fail condition: AWVALIDCHK 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: 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 BBUSY is not X or Z when BVALID is high. Pass condition: BBUSY is not X or Z when BVALID is high. Fail condition: BBUSY 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 BCOMP is not X or Z when BVALID is high. Pass condition: BCOMP is not X or Z when BVALID is high. Fail condition: BCOMP 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 BIDCHK is not X or Z when BVALID is high. Pass condition: BIDCHK is not X or Z when BVALID is high. Fail condition: BIDCHK 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 BIDUNQ is not X or Z when BVALID is high. Pass condition: BIDUNQ is not X or Z when BRVALID is high. Fail condition: BIDUNQ 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 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: Checks that BLOOP is not X or Z when BVALID is high Pass condition: bloop is not X or Z when BVALID is high Fail condition: bloop 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 BLOOPCHK is not X or Z when BVALID is high. Pass condition: BLOOPCHK is not X or Z when BVALID is high. Fail condition: BLOOPCHK 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 BPERSIST is not X or Z when BVALID is high. Pass condition: BPERSIST is not X or Z when BVALID is high. Fail condition: BPERSIST 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 BREADYCHK is not X or Z when BVALID is high. Pass condition: BREADYCHK is not X or Z when BVALID is high. Fail condition: BREADYCHK is X or Z when BVALID is high. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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 BRESPHK is not X or Z when BVALID is high. Pass condition: BRESPCHK is not X or Z when BVALID is high. Fail condition: BRESPCHK 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 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 BTAGMATCH is not X or Z when BVALID is high Pass condition: BTAGMATCH is not X or Z when BVALID is high Fail condition: BTAGMATCH 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 BTRACECHK is not X or Z when BVALID is high. Pass condition: BTRACECHK is not X or Z when BVALID is high. Fail condition: BTRACECHK 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 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 BUSERCHK is not X or Z when BVALID is high. Pass condition: BUSERCHK is not X or Z when BVALID is high. Fail condition: BUSERCHK 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: Checks that BVALIDCHK is not X or Z when BVALID is high. Pass condition: BVALIDCHK is not X or Z when BVALID is high. Fail condition: BVALIDCHK 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: 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 CDDATACHK is not X or Z when CDVALID is high Pass condition: CDDATACHK is not X or Z when CDVALID is high Fail condition: CDDATACHK 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 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 CDLASTCHK is not X or Z when CDVALID is high Pass condition: CDLASTCHK is not X or Z when CDVALID is high Fail condition: CDLASTCHK 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 CDPOISONCHK is not X or Z when CDVALID is high Pass condition: CDPOISONCHK is not X or Z when CDVALID is high Fail condition: CDPOISONCHK 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 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 CDTRACECHK is not X or Z when CDVALID is high Pass condition: CDTRACECHK is not X or Z when CDVALID is high Fail condition: CDTRACECHK 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 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 CRRESPCHK is not X or Z when CRVALID is high. Pass condition: CRRESPCHK is not X or Z when CRVALID is high. Fail condition: CRRESPCHK 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 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 CRTRACECHK is not X or Z when CRVALID is high. Pass condition: CRTRACECHK is not X or Z when CRVALID is high. Fail condition: CRTRACECHK 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 RBUSY is not X or Z when RVALID is high. Pass condition: RBUSY is not X or Z when RVALID is high. Fail condition: RBUSY 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 RCHUNKCHK is not X or Z when RVALID is high. Pass condition: RCHUNKCHK is not X or Z when RVALID is high. Fail condition: RCHUNKCHK 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 RCHUNKNUM is not X or Z when RVALID and RCHUNKV are high Pass condition: RCHUNKNUM is not X or Z when RVALID and RCHUNKV are high Fail condition: RCHUNKNUM is X or Z when RVALID and RCHUNKV are high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKSTRB is not X or Z when RVALID and RCHUNKV are high Pass condition: RCHUNKSTRB is not X or Z when RVALID and RCHUNKV are high Fail condition: RCHUNKSTRB is X or Z when RVALID and RCHUNKV are high Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable when:
|
|
|
Check description: Checks that RCHUNKV is not X or Z when RVALID is high Pass condition: RCHUNKV is not X or Z when RVALID is high Fail condition: RCHUNKV 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 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 RDATACHK is not X or Z when RVALID is high. Pass condition: RDATACHK is not X or Z when RVALID is high. Fail condition: RDATACHK 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 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 RIDCHK is not X or Z when RVALID is high. Pass condition: RIDCHK is not X or Z when RVALID is high. Fail condition: RIDCHK 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 RIDUNQ is not X or Z when RVALID is high. Pass condition: RIDUNQ is not X or Z when ARVALID is high. Fail condition: RIDUNQ 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 RLASTCHK is not X or Z when RVALID is high. Pass condition: RLASTCHK is not X or Z when RVALID is high. Fail condition: RLASTCHK 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 RLOOP is not X or Z when RVALID is high Pass condition: rloop is not X or Z when RVALID is high Fail condition: rloop 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 RLOOPCHK is not X or Z when RVALID is high. Pass condition: RLOOPCHK is not X or Z when RVALID is high. Fail condition: RLOOPCHK 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: Checks that RPOISONCHK is not X or Z when RVALID is high. Pass condition: RPOISONCHK is not X or Z when RVALID is high. Fail condition: RPOISONCHK 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 RREADYCHK is not X or Z when RVALID is high. Pass condition: RREADYCHK is not X or Z when RVALID is high. Fail condition: RREADYCHK 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 RRESPCHK is not X or Z when RVALID is high. Pass condition: RRESPCHK is not X or Z when RVALID is high. Fail condition: RRESPCHK 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 RTAGCHK is not X or Z when RVALID is high. Pass condition: RTAGCHK is not X or Z when RVALID is high. Fail condition: RTAGCHK 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 RTAG is not X or Z when RVALID is high Pass condition: RTAG is not X or Z when RVALID is high Fail condition: RTAG 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 RTRACECHK is not X or Z when RVALID is high. Pass condition: RTRACECHK is not X or Z when RVALID is high. Fail condition: RTRACECHK 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: Checks that RUSERCHK is not X or Z when RVALID is high. Pass condition: RUSERCHK is not X or Z when RVALID is high. Fail condition: RUSERCHK 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 RVALIDCHK is not X or Z when RVALID is high. Pass condition: RVALIDCHK is not X or Z when RVALID is high. Fail condition: RVALIDCHK 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: Checks that stash_lpid_valid is not X or Z when AWVALID is high Pass condition: AWSTASHLPIDEN is not X or Z when AWVALID is high Fail condition: stash_lpid_valid 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 stash_lpid is not X or Z when AWVALID is high Pass condition: AWSTASHLPID is not X or Z when AWVALID is high Fail condition: stash_lpid 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 stash_nid_valid is not X or Z when AWVALID is high Pass condition: AWSTASHNIDEN is not X or Z when AWVALID is high Fail condition: stash_nid_valid 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 stash_nid is not X or Z when AWVALID is high Pass condition: AWSTASHNID is not X or Z when AWVALID is high Fail condition: stash_nid 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 syscoack must be de-asserted during Reset. Pass condition: syscoack signal is de-asserted during reset. Fail condition: syscoack signal is not de-asserted during reset. Applicable device type: ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that syscoreq must be de-asserted during Reset. Pass condition: syscoreq signal is de-asserted during reset. Fail condition: syscoreq signal is not de-asserted during reset. Applicable device type: Passive ACE5 Master Additional information: This check is applicable only 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 tdata is enabled, checks that tdatachk is not X or Z when TVALID is high. Pass condition: tdatachk is valid when tvalid is high. Fail condition: tdatachk 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 tdest is enabled, checks that tdestchk is not X or Z when TVALID is high. Pass condition: tdestchk is valid when tvalid is high. Fail condition: tdestchk 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 tid is enabled, checks that tidchk is not X or Z when TVALID is high. Pass condition: tidchk is valid when tvalid is high. Fail condition: tidchk 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 tkeep is enabled, checks that tkeepchk is not X or Z when TVALID is high. Pass condition: tkeepchk is valid when tvalid is high. Fail condition: tkeepchk 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 tlast is enabled, checks that tlastchk is not X or Z when TVALID is high. Pass condition: tlastchk is valid when tvalid is high. Fail condition: tlastchk 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 tready is enabled, checks that treadychk is not X or Z when TVALID is high. Pass condition: treadychk is valid when tvalid is high. Fail condition: treadychk 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 tstrb is enabled, checks that tstrbchk is not X or Z when TVALID is high. Pass condition: tstrbchk is valid when tvalid is high. Fail condition: tstrbchk 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: If tuser is enabled, checks that tuserchk is not X or Z when TVALID is high. Pass condition: tuserchk is valid when tvalid is high. Fail condition: tuserchk 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 tvalidchk is not X or Z. Pass condition: tvalidchk takes valid value. Fail condition: tvalidchk takes X or Z value. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when: |
|
|
Check description: If twakeup is enabled, checks that twakeupchk is not X or Z when TVALID is high. Pass condition: twakeupchk is valid when tvalid is high. Fail condition: twakeupchk 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 twakeup is enabled, checks that twakeup is not X or Z when TVALID is high. Pass condition: twakeup is valid when tvalid is high. Fail condition: twakeup 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 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 WDATACHK is not X or Z when WVALID is high. Pass condition: WDATACHK is not X or Z when WVALID is high. Fail condition: WDATACHK 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 WLASTCHK is not X or Z when WVALID is high. Pass condition: WLASTCHK is not X or Z when WVALID is high. Fail condition: WLASTCHK 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 WPOISONCHK is not X or Z when WVALID is high. Pass condition: WPOISONCHK is not X or Z when WVALID is high. Fail condition: WPOISONCHK 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: Checks that WREADYCHK is not X or Z when WVALID is high. Pass condition: WREADYCHK is not X or Z when WVALID is high. Fail condition: WREADYCHK 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: 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 WSTRBCHK is not X or Z when WVALID is high. Pass condition: WSTRBCHK is not X or Z when WVALID is high. Fail condition: WSTRBCHK 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 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 WTAGCHK is not X or Z when WVALID is high. Pass condition: WTAGCHK is not X or Z when WVALID is high. Fail condition: WTAGCHK 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 WTAG is not X or Z when WVALID is high Pass condition: WTAG is not X or Z when WVALID is high Fail condition: WTAG 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 WTAGUPDATE is not X or Z when WVALID is high Pass condition: WTAGUPDATE is not X or Z when WVALID is high Fail condition: WTAGUPDATE 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 WTRACECHK is not X or Z when WVALID is high. Pass condition: WTRACECHK is not X or Z when WVALID is high. Fail condition: WTRACECHK 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: Checks that WUSERCHK is not X or Z when WVALID is high. Pass condition: WUSERCHK is not X or Z when WVALID is high. Fail condition: WUSERCHK 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 WVALIDCHK is not X or Z when WVALID is high. Pass condition: WVALIDCHK is not X or Z when WVALID is high. Fail condition: WVALIDCHK 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: check will pass if the value of stash signals such as awstahnid is zero if awstashnid_en is 0 and awstashlpid is zero if awstashlpid_en is 0. Fail condition: check will fail if the value of stash signals such as awstahnid is non-zero if awstashnid_en is 0 and awstashlpid is non-zero if awstashlpid_en is 0. Applicable device type: Passive Master, Active/Passive Slave Additional information:
|
|
|
Check description:
Pass condition: check will pass if the value of stash signals mentioned in the description is zero for all transactions except WriteUniqueFullStash,WriteUniquePtlStash,StashOnceShared and StashOnceUnique. Fail condition: check will fail if the value of stash signals mentioned in the description is not zero for all transactions except WriteUniqueFullStash,WriteUniquePtlStash,StashOnceShared and StashOnceUnique. Applicable device type: Passive Master, Active/Passive Slave Additional information:
|
|
|
Check description: Checks that AWBAR has a valid value for Stashtranslation transaction. Pass condition: AWBAR[0] value is zero for Stashtranslation transaction type. Fail condition: AWBAR[0] value is not zero for Stashtranslation transaction type. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLOCK has a valid value for Stashtranslation transaction. Pass condition: AWLOCK value is NORMAL for Stashtranslation transaction type. Fail condition: AWLOCK value is not NORMAL for Stashtranslation transaction type. 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: Checks that observed parity value as seen in *chk signals match that of calculated parity value. Pass condition: Observed parity value as seen in the *CHK is same as the parity calculated from the corresponding signals in a transfer. Fail condition: Observed parity value as seen in the *CHK is not same as the parity calculated from the corresponding signals in a transfer. Applicable device type: Active/Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks the received TDATACHK is same as the parity calculated from TDATA in a transfer. Pass condition: Received TDATACHK is same as the parity calculated from TDATA in a transfer. Fail condition: Received TDATACHK is not same as the parity calculated from TDATA in a transfer. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if both twakeup and tvalid are asserted at the same cycle then twakeup must remain asserted until tready is asserted. Pass condition: twakeup is deasserted only after tready is asserted provided both twakeup and tvalid are asserted at the same cycle. Fail condition: twakeup is deasserted before tready assertion provided both twakeup and tvalid are asserted at the same cycle. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: During COHERENCY_DISABLED_STATE there should not be any outstanding snoop transactions. Pass condition: During COHERENCY_DISABLED_STATE there aren't any outstanding snoop transactions. Fail condition: During COHERENCY_DISABLED_STATE there are outstanding snoop transactions. Applicable device type: ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition:
Fail condition:
Applicable device type: Passive ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: A transaction that permits it to cache a coherent location is issued in the coherency_enabled state. Fail condition: A transaction that permits it to cache a coherent location is issued in the state other than coherency_enabled. Applicable device type: Passive ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description:
Pass condition: Valid state transition as per specification ARM IHI 0022H : E1.8.2 Coherency Connection signaling states. Fail condition: Illegal state transition as per specification ARM IHI 0022H : E1.8.2 Coherency Connection signaling states. Applicable device type: ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description: A master must not issue any DVM messages, except DVM Complete, on its AR channel after it has deasserted syscoreq. Pass condition: A DVM message (except DVM Complete) is observed on AR channel when sysco interface is in COHERENCY_ENABLED_STATE. Fail condition: A DVM message (except DVM Complete) is observed on AR channel when sysco interface is not in COHERENCY_ENABLED_STATE. Applicable device type: Passive ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description: An Interconnect must not issue any DVM messages on its AC channel after it has deasserted syscoack. Pass condition: A DVM message is observed on AC channel and the syscoack is not yet deasserted. Fail condition: A DVM message is observed on AC channel and the syscoack is already deasserted. Applicable device type: ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description: Interconnect must not issue Snoop transactions in COHERENCY_DISABLED state. Pass condition: Interconnect sends snoops in coherency state other than COHERENCY_DISABLED. Fail condition: Interconnect issue Snoop transactions in COHERENCY_DISABLED state. Applicable device type: ACE5 Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that Tag MATCH response should be 0b01(Match result in separate response) for Completion Response, and 0b11(Pass) or 0b10(Fail) for Match or Combined Response Pass condition: MATCH response is not svt_axi_transaction :: PASS,svt_axi_transaction :: FAIL for Match or Combined response and svt_axi_transaction :: MATCH_RESULT_IN_SEPARATE_RESPONSE for a completion response . Fail condition: MATCH response is not svt_axi_transaction :: PASS,svt_axi_transaction :: FAIL for Match or Combined response and svt_axi_transaction :: MATCH_RESULT_IN_SEPARATE_RESPONSE for a completion response . Applicable device type: Passive Slave, Active/Passive Master 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: When ARMMUFLOW is ATST,ARMMUSECSID must be LOW. Secure translated transactions are not supported. Pass condition: When ARMMUFLOW is ATST,ARMMUSECSID must be LOW. Fail condition: When ARMMUFLOW is ATST,ARMMUSECSID is not LOW. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: When ARMMUFLOW is ATST,ARMMUSSIDV must be LOW. Secure translated transactions are not supported. Pass condition: When ARMMUFLOW is ATST,ARMMUSSIDV must be LOW. Fail condition: When ARMMUFLOW is ATST,ARMMUSECSID is not LOW. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: When AWMMUFLOW is ATST,AWMMUSECSID must be LOW. Secure translated transactions are not supported. Pass condition: When AWMMUFLOW is ATST,AWMMUSECSID must be LOW. Fail condition: When AWMMUFLOW is ATST,AWMMUSECSID is not LOW. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: When AWMMUFLOW is ATST,AWMMUSSIDV must be LOW. Secure translated transactions are not supported. Pass condition: When AWMMUFLOW is ATST,AWMMUSSIDV must be LOW. Fail condition: When AWMMUFLOW is ATST,AWMMUSECSID is not LOW. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: If ARMMUFLOW is not PRI, RRESP must not be TRANSFAULT. Pass condition: If ARMMUFLOW is not PRI, RRESP must not be TRANSFAULT. Fail condition: ARMMUFLOW is not PRI, RRESP is TRANSFAULT. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: If AWMMUFLOW is not PRI, BRESP must not be TRANSFAULT. Pass condition: If AWMMUFLOW is not PRI, BRESP must not be TRANSFAULT. Fail condition: AWMMUFLOW is not PRI, BRESP is TRANSFAULT. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: If TRANSFAULT is used for one response beat, it must be used for all response beats of a transaction. Pass condition: If TRANSFAULT is used for one response beat, it must be used for all response beats of a transaction. Fail condition: Atleast one response beat has TRANSFAULT and atleast one response beat are not TRANSFAULT. Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: When ARMMUVALID is asserted, ARTAGOP must be 0b00 (Invalid). Pass condition: When ARMMUVALID is asserted, ARTAGOP must be 0b00 (Invalid). Fail condition: ARMMUVALID is asserted, ARTAGOP is not 0b00 (Invalid). Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: When AWMMUVALID is asserted, AWTAGOP must be 0b00 (Invalid). Pass condition: When AWMMUVALID is asserted, AWTAGOP must be 0b00 (Invalid). Fail condition: AWMMUVALID is asserted, AWTAGOP is not 0b00 (Invalid). 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: RTAG is valid. RTAG bits outside the transaction container must be deasserted. For INVALID tag operation RTAG must be deasserted Pass condition: RTAG is valid. Fail condition: RTAG is not valid. 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_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: WTAG is valid. WTAG bits outside the transaction container must be deasserted. For INVALID tag operation WTAG must be deasserted Pass condition: WTAG is valid. Fail condition: WTAG is not valid. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: WTAGUPDTAE is valid. WTAGUPDTAE bits outside the transaction container must be deasserted. For INVALID/TRANSFER/MATCH tag operation WTAGUPDTAE must be deasserted Pass condition: WTAGUPDATE is valid. Fail condition: WTAGUPDATE is not valid. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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: Checks the received WDATACHK is same as the parity calculated from WDATA in a write transaction. Pass condition: Received WDATACHK is same as the parity calculated from WDATA in a write transaction. Fail condition: Received WDATACHK is not same as the parity calculated from WDATA in a write transaction. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only 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 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: Check that for an INCR burst for WritePtlCMO transaction, the last byte in the burst added to the AWSIZE aligned start address, must be within the same cache line as the first byte in the burst! Pass condition: WritePtlCMO has not exceeded the cache line size for INCR Burst. Fail condition: WritePtlCMO has exceeded the cache line size for INCR burst. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that for a WRAP burst for WritePTLCMO transaction, AWSIZE x AWLEN must not exceed the cache line size! Pass condition: WritePtlCMO has not exceeded the cache line size for WRAP burst. Fail condition: WritePtlCMO has exceeded the cache line size for WRAP burst. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that for an INCR burst for WriteUniqueptlstash transaction, the last byte in the burst added to the AWSIZE aligned start address, must be within the same cache line as the first byte in the burst! Pass condition: WriteUniqueptlstash has not exceeded the cache line size for INCR Burst. Fail condition: WriteUniqueptlstash has exceeded the cache line size for INCR burst. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Check that for a WRAP burst for WriteUniqueptlstash transaction, AWSIZE x AWLEN must not exceed the cache line size! Pass condition: WriteUniqueptlstash has not exceeded the cache line size for WRAP burst. Fail condition: WriteUniqueptlstash has exceeded the cache line size for WRAP burst. 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 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 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 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 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 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 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 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 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 that AWADDR has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWADDR is aligned to 64-bytes. Fail condition: AWADDR is not aligned to 64-bytes Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWATOP has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWATOP value is non-atomic transaction. Fail condition: AWATOP value is not non-atomic transaction. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWBURST has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWBURST is INCR type. Fail condition: AWBURST is not INCR type. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWCACHE has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWCACHE is Device or Normal Non-Cacheable. Fail condition: AWCACHE is not Device or Normal Non-Cacheable. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWDOMAIN has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWDOMAIN is 'b11 (System Shareable). Fail condition: AWDOMAIN is not 'b11 (System Shareable) . Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWIDUNQ has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWIDUNQ value is asserted. Fail condition: AWIDUNQ value is not asserted. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLEN and AWSIZE has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWLEN and AWSIZE has following combinations:
Fail condition: AWLEN and AWSIZE doesn't have following combinations:
Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLOCK has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWLOCK value is NORMAL. Fail condition: AWLOCK value is not NORMAL. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSNOOP has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWSNOOP is 'b10000. Fail condition: AWSNOOP is not 'b10000. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWTAGOP has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: AWTAGOP value is INVALID. Fail condition: AWTAGOP value is not INVALID. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BRESP has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition:
Fail condition:
Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that WSTRB has a valid value when WriteDeferrable feature in AXI5/ACE5_LITE is enabled. Pass condition: WSTRB bits are set within the 64-byte container. Fail condition: WSTRB bits are not set within the 64-byte container. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWDOMAIN has a valid value when WriteNoSnoopFull feature is enabled. Pass condition: When AWDOMAIN tye is NonShareable. Fail condition: When AWDOMAIN type is not NonShareble. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSNOOP has a valid value when WriteNoSnoopFull feature is enabled. Pass condition: When AWSNOOP is 'b00001. Fail condition: When AWSNOOP is not 'b00001. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that all write strobes bits are asserted for a WriteNoSnoopFull transaction. Pass condition: When all write strobes bits are asserted for a WriteNoSnoopFull transaction Fail condition: When all write strobes bits are not asserted for a WriteNoSnoopFull transaction. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWDOMAIN has a valid value when WriteZero feature is enabled. Pass condition: When AWDOMAIN is not of type InnerShareable. Fail condition: When AWDOMAIN is of type InnerShareable. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWIDUNQ has a valid value when WriteZero feature is enabled. Pass condition: AWIDUNQ if present, it's value is 1. Fail condition: AWIDUNQ if present, it's value is not 1. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWLOCK has a valid value when WriteZero feature is enabled. Pass condition: AWLOCK value is NORMAL ACCESS. Fail condition: AWLOCK value is not NORMAL ACCESS. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWSNOOP has a valid value when WriteZero feature is enabled. Pass condition: AWSNOOP is 'b0111. Fail condition: AWSNOOP is not 'b0111. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that AWTAGOP has a valid value when WriteZero feature is enabled. Pass condition: AWTAGOP value is INVALID. Fail condition: AWTAGOP value is not INVALID. Applicable device type: Passive Master, Active/Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that BRESP(response on B channel) has a valid value when WriteZero feature is enabled. Pass condition: BRESP value is not 'b001 (EXOKAY) or 'b011 (DEFER). Fail condition: BRESP value is 'b001 (EXOKAY) or 'b011 (DEFER). Applicable device type: Passive Slave, Active/Passive Master Additional information: This check is applicable only when:
|
|
|
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. |
|