VIP Smartsearch

VIP Smartsearch is a framework that supports search within VIP reference documents using query in natural language. It facilitates reordering of search results and keeps record of user’s decision for the ordering of result display and applies that in search of same query on subsequent usage.
How to download VIP smartsearch?
1. Get VIP Smartsearch (Available as a seperate run file).
2. Set environment variable
```
DESIGNWARE_HOME
```
  to required designware home location where VIP Smartsearch should be downloaded.
3. Run
```
vip_smartsearch_<version>.run
```
  file.
  VIP Smartsearch will be downloaded to the location
```
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
```

How to install VIP Smartsearch?

Please refer to the file

VIP_Smartsearch_installation_and_usage_guide.pdf

$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>

for installation steps.

Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.
Mention your queries along with below details and send email to above email id.
Product: Verification IP
Sub Product: <vip_title>
Tool: VIP Smartsearch

Product Base	Group	Protocol Check Class
amba_svt	AHB System	svt_ahb_system_checker
AHB_COMMON	svt_ahb_checker
AHB5 User Signaling	svt_ahb_checker
AHB5 Interface Parity Signals	svt_ahb_checker
AHB5 Exclusive Transfers	svt_ahb_checker
AHB_FULL	svt_ahb_checker
AHB_Lite	svt_ahb_checker
ARM11/AHB_V6 Exclusive Accesses	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	svt_ahb_checker
AHB5 Write Strobes	svt_ahb_checker
AHB5 Extended Memory Types	svt_ahb_checker
AHB5 Secure Transfers	svt_ahb_checker
AHB_Lite_Multilayer	svt_ahb_checker

Product Base

Group

Protocol Check Class

amba_svt

AHB System

svt_ahb_system_checker

AHB5 Interface Parity Signals

svt_ahb_checker

AHB5 Exclusive Transfers

ARM11/AHB_V6 Exclusive Accesses

svt_ahb_checker

ARM11/AHB_V6 Unaligned Transfers

svt_ahb_checker

AHB5 Write Strobes

svt_ahb_checker

AHB5 Extended Memory Types

svt_ahb_checker

AHB5 Secure Transfers

svt_ahb_checker

AHB_Lite_Multilayer

svt_ahb_checker

Group	Sub Group	Protocol Check Instance name	Reference	Description	Check Intent	Pass Condition	Fail Condition	Applicable Device Type	Additional Information	Error Category	Protocol Check Class
AHB System	Manager Subordinate Transaction Association	master_slave_xact_resp_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	Response signals should match between manager transaction and the corresponding subordinate transaction.	Checks that response signals match between manager transaction and the corresponding subordinate transaction.	All the all_beat_response array values match between manager and corresponding subordinate transaction.	Any of the all_beat_response array values does not match between manager and corresponding subordinate transaction.	System Monitor	Group: AHB Default severity: ERROR Limitations: Currently disabled for AHB Lite multilayer.	ERROR	svt_ahb_system_checker
AHB System	Manager Subordinate Transaction Association	master_slave_xact_data_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	Data values should match between manager transaction and the corresponding subordinate transaction.	Checks that data values match between manager transaction and the corresponding subordinate transaction.	All the data array values match between manager and corresponding subordinate transaction.	Any of the data array values does not match between manager and corresponding subordinate transaction.	System Monitor	Group: AHB Default severity: ERROR Limitations: Currently disabled for AHB Lite multilayer.	ERROR	svt_ahb_system_checker
AHB System	Manager Subordinate Transaction Association	master_slave_xact_addr_ctrl_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	Address and control signals should match between manager transaction and the corresponding subordinate transaction.	Checks that address and control signals match between manager transaction and the corresponding subordinate transaction. Following control signal attributes are compared. addr xact_type burst_type burst_size prot_type	All the compared signal attributes match between manager and corresponding subordinate transaction.	Any of the compared signal attributes does not match between manager and corresponding subordinate transaction.	System Monitor	Group: AHB Default severity: ERROR Limitations: Currently disabled for AHB Lite multilayer.	ERROR	svt_ahb_system_checker
AHB System	Dummy Manager	xact_not_idle_when_dummy_master_active	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus manager	Transfer type of the transaction is not IDLE when dummy manager is active.	Checks that IDLE transactions are driven when the dummy manager is active	IDLE transactions are driven when the dummy manager is active	IDLE transactions are not driven when the dummy manager is active	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Locked Transfers in Arbiter	hmastlock_changed_during_incr	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked transfers	HMASTLOCK signal changed during INCR burst transfer.	Checks that the HMASTLOCK signal remains constant during an INCR burst	HMASTLOCK signal remains constant during an INCR burst	HMASTLOCK signal changes during an INCR burst	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Locked Transfers in Arbiter	arbiter_asserted_hmastlock_without_hlock	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers	Arbiter asserted HMASTLOCK signal when the manager has not requested.	Checks that the arbiter does not assert HMASTLOCK when the manager has not requested	Arbiter does not assert HMASTLOCK when the manager has not requested	Arbiter does asserts HMASTLOCK when the manager has not requested	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Locked Transfers in Arbiter	arbiter_lock_last_grant	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers	Arbiter did not keep manager granted for an additional transfer after a locked sequence.	Checks that the arbiter keeps the manager granted for an additional transfer after a locked sequence	Arbiter keeps the manager granted for an additional transfer after a locked sequence	Arbiter does not keeps the manager granted for an additional transfer after a locked sequence	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Locked Transfers in Arbiter	arbiter_changed_hmaster_during_lock	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers	HMASTER signal changed during locked transfer.	Checks that the arbiter does not change HMASTER during a locked transfer	Arbiter does not change HMASTER during a locked transfer	Arbiter changes HMASTER during a locked transfer	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Granted Manager in Split Transfer in Arbiter	mask_hgrant_until_hsplit_assert	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12.1 Split transfer sequence	Manager should not be regranted until the subordinate is ready to complete the transfer and asserts HSPLIT.	Checks that if the manager has got split, grant must be not given to that manager until subordinate asserts hsplitx	Grant not given to the manager until subordinate asserts hsplitx	Grant given to the manager when subordinate didn't asserted hsplitx	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Granted Manager in Split Transfer in Arbiter	grant_to_default_master_during_allmaster_split	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus master	If all managers has received a SPLIT response then the default manager is granted the bus.	Checks that If all managers has received a SPLIT response then the default manager is granted the bus.	Default manager is granted the bus when all managers has received a SPLIT.	Default manager is not granted the bus when all managers has received a SPLIT.	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Granted Manager in Arbiter	arbiter_changed_hmaster_during_wait	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.11.3 Granting bus access	HMASTER signal changed during waited state.	Checks that the arbiter does not change HMASTER during a waited transfer	Arbiter does not change HMASTER during a waited transfer	Arbiter changes HMASTER during a waited transfer.	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Granted Manager in Arbiter	arbiter_asserted_hmaster_ne_granted_master	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access	HMASTER signal does not reflect the granted manager.	Checks that the arbiter assert HMASTER to reflect the Granted manager	HMASTER signal reflects the granted manager	HMASTER signal does not reflect the granted manager	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Granted Manager in Arbiter	arbiter_asserted_multi_hgrant	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access	Arbiter asserted more than one HGRANT signal.	Checks that the arbiter does not assert more than one HGRANT signal	Arbiter not asserted more than one HGRANT signal	Arbiter asserted more than one HGRANT signal	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Subordinate Selection in Decoder	decoder_not_asserted_any_hsel	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals	Decoder not asserted any HSEL signal.	Checks that the decoder does assert atleast one HSEL signal	Decoder asserted atleast one HSEL signal	Decoder not asserted atleast one HSEL signal	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Subordinate Selection in Decoder	decoder_asserted_multi_hsel	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals	Decoder asserted more than one HSEL signal.	Checks that the decoder does not assert more than one HSEL signal	Decoder not asserted more than one HSEL signal	Decoder asserted more than one HSEL signal	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Data Integrity	data_integrity_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	Transaction data inconsistent with subordinate memory.	Checks that data in transaction is consistent with data in memory when the transaction completes. This checks that a WRITE transaction issued by a manager is written to memory correctly. Similarly, it checks that a READ transaction fetches the correct data from memory. The check assumes that a transaction issued by a manager completes only after response is received from the subordinate to which that transaction was routed. It also assumes that there is no other transaction that accesses an overlapping address during the period that the response is issued by the subordinate and the transaction completes in the manager that issued the transaction. Note that this check is not performed on the transactions that are routed to the default subordinate.	Data in transaction is consistent with data in memory	Data in transaction is not consistent with data in memory	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB System	Routing	slave_transaction_routing_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.1 Interconnect	Transaction not routed to the correct subordinate based on system address map.	Checks that a transaction is routed correctly to a slave port based on address. This check is not performed on default_slave if the default slave is set to -1 through svt_ahb_system_configuration :: default_slave. If svt_ahb_system_configuration :: default_slave is set to a value in the range 0 to 15, then this check is performed on the default slave also. This check is preformed on all the slaves other than the default slave irrespective of the value of svt_ahb_system_configuration :: default_slave.	Transaction routed to the correct subordinate based on system address map	Transaction not routed to the correct subordinate based on system address map	System Monitor	Group: AHB Default severity: ERROR	ERROR	svt_ahb_system_checker
AHB_COMMON	Address Phase Timing	ahb_address_phase_extended	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 1.3 Operation	A Subordinate cannot request that the address phase is extended.	Checks that address phase is not extended by the Subordinate	Address phase is started by driving HREADY high when HTRANS is NSEQ	Address phase is extended by driving HREADY low when HTRANS is NSEQ, and no extended data phase pending from a previous transaction	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	During Reset	hready_out_from_bus_high_during_reset	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset	During reset, HREADY output from bus must be HIGH	Checks that HREADY output signal from bus is HIGH when reset is active	HREADY output signal from bus is HIGH when reset is active	HREADY output signal from bus is not HIGH when reset is active	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_min_write_throughput	SYNOPSYS DEFINED	Checks that the throughput of write transactions in a given interval is more than or equal to the configured min value	Checks that the throughput of write transactions in a given interval is not less that the configured min value	Throughput of write transactions in a given interval is not less that the configured min value	Throughput of write transactions in a given interval is less that the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_max_write_throughput	SYNOPSYS DEFINED	Checks that the throughput of write transactions in a given interval is less than or equal to the configured max value	Checks that the throughput of write transactions in a given interval is not more that the configured max value	Throughput of write transactions in a given interval is not more that the configured max value	Throughput of write transactions in a given interval is more that the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_min_read_throughput	SYNOPSYS DEFINED	Checks that the throughput of read transactions in a given interval is more than or equal to the configured min value	Checks that the throughput of read transactions in a given interval is not less that the configured min value	Throughput of read transactions in a given interval is not less that the configured min value	Throughput of read transactions in a given interval is less that the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_max_read_throughput	SYNOPSYS DEFINED	Checks that the throughput of read transactions in a given interval is less than or equal to the configured max value	Checks that the throughput of read transactions in a given interval is not more that the configured max value	Throughput of read transactions in a given interval is not more that the configured max value	Throughput of read transactions in a given interval is more that the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_avg_min_read_xact_latency	SYNOPSYS DEFINED	Checks that the average latency of read transactions in a given interval is more than or equal to the configured min value	Checks that the average latency of read transactions in a given interval is not less than the configured min value	Average latency of read transactions in a given interval is not less than the configured min value	Average latency of read transactions in a given interval is less than the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_avg_max_read_xact_latency	SYNOPSYS DEFINED	Checks that the average latency of read transactions in a given interval is less than or equal to the configured max value	Checks that the average latency of read transactions in a given interval is not more than the configured max value	Average latency of read transactions in a given interval is not more than the configured max value	Average latency of read transactions in a given interval is more than the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_min_read_xact_latency	SYNOPSYS DEFINED	Checks that the latency of a read transaction is more than or equal to the configured min value	Checks that the latency of a read transaction is not lesser than the configured min value	Latency of a read transaction is not lesser than the configured min value	Latency of a read transaction is lesser than the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_max_read_xact_latency	SYNOPSYS DEFINED	Checks that the latency of a read transaction is less than or equal to the configured max value	Checks that the latency of a read transaction is not greater than the configured max value	Latency of a read transaction is not greater than the configured max value	Latency of a read transaction is greater than the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_avg_min_write_xact_latency	SYNOPSYS DEFINED	Checks that the average latency of write transactions in a given interval is more than or equal to the configured min value	Checks that the average latency of write transactions in a given interval is not less than the configured min value	Average latency of write transactions in a given interval is not less than the configured min value	Average latency of write transactions in a given interval is less than the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_avg_max_write_xact_latency	SYNOPSYS DEFINED	Checks that the average latency of write transactions in a given interval is less than or equal to the configured max value	Checks that the average latency of write transactions in a given interval is not more than the configured max value	Average latency of write transactions in a given interval is not more than the configured max value	Average latency of write transactions in a given interval is more than the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_min_write_xact_latency	SYNOPSYS DEFINED	Checks that the latency of a write transaction is more than or equal to the configured min value	Checks that the latency of a write transaction is not lesser than the configured min value	Latency of a write transaction is not lesser than the configured min value	Latency of a write transaction is lesser than the configured min value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Performance Metrics	perf_max_write_xact_latency	SYNOPSYS DEFINED	Checks that the latency of a write transaction is less than or equal to the configured max value	Checks that the latency of a write transaction is not greater than the configured max value	Latency of a write transaction is not greater than the configured max value	Latency of a write transaction is greater than the configured max value	Active/Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Parity	ahb5_hrdatachk_parity_calculated_hrdata_parity_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	ahb5_hrdatachk received_parity_calculated_parity_check	Checks the received HRDATACHK is same as the parity calculated from HRDATA in a read transaction.	Received HrDATACHK is same as the parity calculated from HRDATA in the read transaction.	Received HRDATACHK is not same as the parity calculated from HRDATA in the read transaction.	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Parity	ahb5_hwdatachk_parity_calculated_hwdata_parity_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	ahb5_hwdatachk received_parity_calculated_parity_check	Checks the received HWDATACHK is same as the parity calculated from HWDATA in a write transaction.	Received HWDATACHK is same as the parity calculated from HWDATA in the write transaction.	Received HWDATACHK is not same as the parity calculated from HWDATA in the write transaction.	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Parity	ahb5_received_parity_calculated_parity_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921	ahb5_received_parity_calculated_parity_check	Checks that observed parity value as seen in *chk signals match that of calculated parity value from respective signal.	Observed parity value as seen in *chk signals match that of calculated parity value from respective signal.	Observed parity value as seen in *chk signals doesn't match that of calculated parity value from respective signal.	Active/Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hrdata_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HRDATA must not be X/Z	Checks that HRDATA is not X or Z	HRDATA does not contain any X or Z bits	HRDATA contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR Note: This check is performed only for the transaction with OKAY response and ERROR response having svt_ahb_system_configuration :: error_response_policy as svt_ahb_system_configuration :: CONTINUE_ON_ERROR. It is recommended that HRDATA is driven to zero when an ERROR response is given to a read transfer. When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hwdata_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HWDATA must not be X/Z	Checks that HWDATA is not X or Z	HWDATA does not contain any X or Z bits	HWDATA contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR Note: This check is performed only for the transaction with OKAY response and ERROR response having svt_ahb_system_configuration :: error_response_policy as svt_ahb_system_configuration :: CONTINUE_ON_ERROR. When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Response Type	zero_wait_cycle_okay	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	IDLE and BUSY transfers must receive zero wait cycle OKAY response.	Checks that IDLE and BUSY transfers receive zero wait cycle OKAY response	IDLE and BUSY transfers receive zero wait cycle OKAY response	IDLE and BUSY transfers doesn't receive zero wait cycle OKAY response	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Two Cycle Response	two_cycle_error_resp	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response	ERROR response was not completed in two cycles.	Checks that ERROR response completes in two cycles	ERROR response completes in two cycles	ERROR response was not completed in two cycles	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Response Type	non_okay_response_in_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.2 Transfer pending	Response other than OKAY response was received during wait state.	Checks that only OKAY responses are received during wait state	OKAY responses are received during wait state	OKAY responses are not received during wait state	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hresp_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HRESP must not be X/Z	Checks that HRESP is not X or Z	HRESP is not X or Z	HRESP is X or Z	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hready_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HREADY must not be X/Z	Checks that HREADY is not X or Z	HREADY does not contain any X or Z bits	HREADY contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Burst Length	burst_length_exceeded	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation	Burst length exceeded for fixed length burst.	Checks number of beats in a fixed length burst	Burst length not exceeded fixed length burst	Burst length exceeded for fixed length burst	Passive Manager	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Locked Transfers	hlock_asserted_during_non_locked_xact	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.1 Signal description	Manager should not assert lock signal in the middle of a non-locked transaction.	Checks that manager shouldn't assert hlock in the middle of a non-locked transaction	Manager not asserted hlock in the middle of a non-locked transaction	Manager asserted hlock in the middle of a non-locked transaction	Passive Manager	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hlock_check	AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list	HLOCK must not be X/Z	Checks that HLOCK is not X or Z on manager interface	HLOCK does not contain any X or Z bits	HLOCK contains X or Z bits	Passive Manager	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Locked Transfers	different_subordinate_addr_region_during_locked_sequence	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked Transfers	It is required that all transfers in a locked sequence are to the same Subordinate address region.	It is required that all transfers in a locked sequence are to the same subordinate address region.	Manager performing a transfer to the same subordinate address region	Manager performing a transfer to a different subordinate address region	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	htrans_not_changed_to_idle_during_error	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response	HTRANS did not change to IDLE during ERROR response.	Checks that HTRANS changes to IDLE during second cycle of ERROR response	HTRANS changes to IDLE during ERROR response	HTRANS did not change to IDLE during ERROR response	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	During Reset	htrans_idle_during_reset	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset	During reset, HTRANS must be IDLE2'b00	Checks that HTRANS output signal from manager/bus is IDLE when reset is active	HTRANS output signal from manager/bus is IDLE when reset is active	HTRANS output signal from manager/bus is not IDLE when reset is active	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	seq_or_busy_before_nseq_during_xfer	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	Manager started burst with SEQ or BUSY instead of NSEQ.	Checks that a manager started burst with SEQ or BUSY instead of NSEQ	Manager started burst with NSEQ	Manager started burst with BUSY or SEQ	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	illegal_idle2seq	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	Manager attempted SEQ transfer following IDLE.	Checks for IDLE changed to SEQ	SEQ is not followed by IDLE	SEQ is followed by IDLE	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	illegal_idle2busy	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	Manager attempted BUSY transfer following IDLE.	Checks for IDLE changed to BUSY	BUSY is not followed by IDLE	BUSY is followed by IDLE	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	idle_changed_to_busy_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Manager cancelled IDLE transfer during wait state and changed it to BUSY transfer.	Checks for IDLE changed to BUSY during wait state	IDLE not changed to BUSY during wait state	IDLE changed to BUSY during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	idle_changed_to_seq_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Manager cancelled IDLE transfer during wait state and changed it to SEQ transfer.	Checks for IDLE changed to SEQ during wait state	IDLE not changed to SEQ during wait state	IDLE changed to SEQ during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	ctrl_or_addr_changed_during_busy	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	Control signalsother than HTRANS or address changed during BUSY.	Checks whether control signals(other than HTRANS) or address changed during BUSY	Control signals and address not changed during busy transfer	Control signals or address changed during busy transfer	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	illegal_control_transition	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals	Control signals other than HTRANS changed during burst.	Checks whether control signals(other than HTRANS) changed during burst	Control signals not changed during burst	Control signals changed during burst	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Burst Address	ahb_valid_beat_address_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation	valid beat address check.	Checks for valid beat address of each beat in a transaction	Beat address is getting updated correctly	Beat address not updated correctly Beat address and haddr is not same	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Burst Address	illegal_address_transition	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation	Illegal address transition during burst.	Checks for illegal address transition during burst	Address is getting updated correctly	Address not updated correctly	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Burst Address	boundry_crossing_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation	Burst transfer crossed boundary	Checks that burst transfer does not cross configured boundary limit	Burst transfer does not cross configured boundary limit	Burst transfer crosses configured boundary limit	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Burst Address	one_k_boundry_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation	Burst transfer crossed 1 KB boundary.	Checks that burst transfer does not cross 1 KB boundary	Burst transfer does not cross 1 KB boundary	Burst transfer crosses 1KB boundary	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Size	hsize_too_big_for_data_width	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.3.3 Implementing a Manager on a wide bus	Manager attempted transfer size greater than data bus width.	Checks that manager attempted transfer size greater than data bus width	Manager attempted transfer size is not greater than data bus width	Manager attempted transfer size greater than data bus width	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Early Burst Termination	burst_terminated_early_after_okay	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination	Manager terminated burst early after OKAY response.	Checks that burst transaction was not terminated early: AHB manager should never terminate a burst transfer when OKAY response is received. In case of Full-AHB mode, the manager should rebuild the burst transfer in case of EBT/SPLIT/RETRY before initiating new burst.	Manager not terminated burst early after OKAY response	Manager terminated burst early after OKAY response	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	hwdata_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.1.1 HWDATA	HWDATA changed during wait state.	Checks that write data does not change during waited state	Write data does not change during waited state	Write data changed during waited state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	ctrl_or_addr_changed_end_of_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Control or address changed at the end of wait state.	Checks that control and address does not change at the end of wait state	Control signals and address not changed at the end of wait state	Control signals or address changed at the end of wait state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR Check is not performed during reset and other than OKAY response conditions	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	ctrl_or_addr_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Control or address changed during wait state.	Checks that contol and address does not change during wait state except when htrans changes from IDLE to NSEQ	Control signals and address not changed during wait state	Control signals or address changed during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR Check is not performed when htrans changes from IDLE to NSEQ other than OKAY response conditions.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Stability	htrans_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	HTRANS changed during wait state.	Checks that htrans does not change during wait state except when htrans changes from IDLE to NSEQ during wait state for all burst types BUSY to SEQ during wait state for all burst types BUSY to NSEQ during wait state for unspecified length burst BUSY to IDLE during wait state for unspecified length burst	HTRANS not changed during wait state	HTRANS changed during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	seq_or_busy_during_active_xact	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	In active transaction, SEQ or BUSY transfer should only occur after NSEQ.	Checks that a SEQ or BUSY trans only occur during active transaction after nseq	SEQ or BUSY trans occurs during active transaction after nseq	SEQ or BUSY trans occurs not during active transaction	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Transfer Type	trans_during_single_is_nseq	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types	Transfer type of a SINGLE burst is not NSEQ	Checks that transfer type of a SINGLE burst is NSEQ	Transfer type of a SINGLE burst is NSEQ	Transfer type of a SINGLE burst is not NSEQ	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hprot_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HPROT must not be X/Z	Checks that HPROT is not X or Z	HPROT does not contain any X or Z bits	HPROT contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hburst_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HBURST must not be X/Z	Checks that HBURST is not X or Z	HBURST does not contain any X or Z bits	HBURST contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hsize_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HSIZE must not be X/Z	Checks that HSIZE is not X or Z	HSIZE does not contain any X or Z bits	HSIZE contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_htrans_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HTRANS must not be X/Z	Checks that HTRANS is not X or Z	HTRANS does not contain any X or Z bits	HTRANS contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hwrite_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HWRITE must not be X/Z	Checks that HWRITE is not X or Z	HWRITE is not X or Z	HWRITE is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_haddr_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HADDR must not be X/Z	Checks that HADDR is not X or Z	HADDR does not contain any X or Z bits	HADDR contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	hready_out_from_slave_not_X_or_Z_when_data_phase_not_pending	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.3 Subordinate signals	HREADY output from subordinate must be either HIGH or LOW when there is no pending data phase.	Checks that HREADY output from subordinate must be either HIGH or LOW when there is no data phase pending. That is, checks that the subordinate cannot request that the address phase is extended.	HREADY output from subordinate must be either HIGH or LOW	HREADY output from subordinate is either X or Z	Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	During Reset	hready_out_from_slave_not_X_or_Z_during_reset	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset	During reset, HREADY output from subordinate must be either HIGH or LOW	Checks that HREADY output signal from subordinate is either HIGH or LOW when reset is active	HREADY output signal from subordinate is either HIGH or LOW when reset is active	HREADY output signal from subordinate is X or Z when reset is active	Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.	ERROR	svt_ahb_checker
AHB_COMMON	Response Type	illegal_default_slave_resp_to_nseq_seq	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.1 Default Subordinate	Default subordinate should provide ERROR response for NON_SEQ or SEQ transfer.	Checks that for non existent memory location default subordinate should provide ERROR response for NSEQ/SEQ transfers	Default subordinate giving error response for NSEQ/SEQ transfers when accessing nonexistent address location	Default subordinate not giving error response for NSEQ/SEQ transfers when accessing nonexistent address location	Active/Passive Manager	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Subordinate Selection	invalid_hsel_assert_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.2 Multiple Subordinate select	Invalid HSEL signal asserted for selected subordinate	Checks that if invalid HSEL is asserted for selected subordinate. This is applicable only in mutli_hsel_enable mode	HSEL is asserted for selected subordinate	Invalid HSEL is asserted for selected subordinate	Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hready_in_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HREADY_IN must not be X/Z	Checks that HREADY_IN is not X or Z	HREADY_IN does not contain any X or Z bits	HREADY_IN contains X or Z bits	Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hmastlock_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HMASTLOCK must not be X/Z	Checks that HMASTLOCK is not X or Z on subordinate interface	HMASTLOCK is not X or Z	HMASTLOCK is X or Z	Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hmaster_range_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals	HMASTER should not be beyond SVT_AHB_MAX_NUM_MASTERS	Checks that HMASTER value is in valid range based on SVT_AHB_MAX_NUM_MASTERS	HMASTER value is less than SVT_AHB_MAX_NUM_MASTERS	HMASTER value is more than SVT_AHB_MAX_NUM_MASTERS	Active/Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_COMMON	Signal Validity	signal_valid_hsel_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HSEL must not be X/Z	Checks that HSEL is not X or Z	HSEL is not X or Z	HSEL is X or Z	Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 User Signaling	Signal Validity	ahb5_signal_valid_hrdata_huser_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	hrdata_huser/HRUSER must not be X/Z	Checks that hrdata_huser (HRUSER) is not X or Z	HRDATA_HUSER is not X or Z	HRDATA_HUSER is X or Z	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 User Signaling	Signal Validity	ahb5_signal_valid_hwdata_huser_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	hwdata_huser/HWUSER must not be X/Z	Checks that hwdata_huser (HWUSER) is not X or Z	HWDATA_HUSER is not X or Z	HWDATA_HUSER is X or Z	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 User Signaling	Signal Validity	ahb5_signal_valid_resp_huser_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	resp_huser/HBUSER must not be X/Z	Checks that resp_huser (HBUSER) is not X or Z	RESP_HUSER is not X or Z	RESP_HUSER is X or Z	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: resp_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 User Signaling	Signal Stability	ahb5_hwdata_huser_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 11.2 User signal interconnect recommendations	hwdata_huser/HWUSER changed during wait state.	Checks that user write data (hwdata_huser) does not change during waited writes	HWDATA_HUSER is stable during the waited write transfer	HWDATA_HUSER is changed during the waited write transfer	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 User Signaling	Signal Validity	ahb5_signal_valid_control_huser_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	control_huser/HAUSER must not be X/Z	Checks that control_huser (HAUSER) is not X or Z	CONTROL_HUSER is not X or Z	CONTROL_HUSER is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: control_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hrdata_huserchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	hrdata_huserchk/HRUSERCHK must not be X/Z	Checks that hrdata_huserchk is not X or Z	hrdata_huserchk does not contain any X or Z bits	hrdata_huserchk contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hrdatachk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HRDATACHK must not be X/Z	Checks that HRDATACHK is not X or Z	HRDATACHK does not contain any X or Z bits	HRDATACHK contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_resp_huserchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	resp_huserchk/HBUSERCHK must not be X/Z	Checks that resp_huserchk is not X or Z	resp_huserchk does not contain any X or Z bits	resp_huserchk contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hrespchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HRESPCHK must not be X/Z	Checks that HRESPCHK is not X or Z	HRESPCHK does not contain any X or Z bits	HRESPCHK contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hreadychk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HREADYCHK must not be X/Z	Checks that HREADYCHK is not X or Z	HREADYCHK does not contain any X or Z bits	HREADYCHK contains X or Z bits	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_hwdata_huserchk_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 11.2 User signal interconnect recommendations	hwdata_huserchk/HWUSERCHK changed during wait state.	Checks that user write data parit check signal (hwdata_huserchk) does not change during waited writes	HWDATA_HUSERCHK is stable during the waited write transfer	HWDATA_HUSERCHK is changed during the waited write transfer	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_hwstrbchk_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.5 Write strobes	HWSTRBCHK changed during wait state.	Checks that write strobes parity check signal (HWSTRBCHK) does not change during waited writes	HWSTRBCHK is stable during the waited write transfer	HWSTRBCHK is changed during the waited write transfer	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_hwdatachk_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.1.1 HWDATA	HWDATACHK changed during wait state.	Checks that write data parity check signal (HWDATACHK) does not change during waited state	Write data parity check signal (HWDATACHK) does not change during waited state	Write data parity check signal (HWDATACHK) changed during waited state	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_ctrl_or_addr_phase_parity_check_signals_changed_during_busy	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Control or address related parity check signals changed during wait state.	Checks whether control parity check signals(other than HTRANSCHK) or address parity check signal changed during BUSY.	Control and address phase parity check signals not changed during busy transfer	Control and address phase parity check signals changed during busy transfer	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_ctrl_or_addr_phase_parity_check_signals_changed_end_of_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Control or address related parity check signals changed during wait state.	Checks that contol and address parity check singals does not change at the end of wait state.	Control and address phase parity check signals not changed at the end of wait state	Control and address phase parity check signals changed at the end of wait state	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR Check is not performed during reset and other than OKAY response conditions	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_ctrl_or_addr_phase_parity_check_signals_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	Control or address related parity check signals changed during wait state.	Checks that contol and address parity check singals does not change during wait state except when htrans changes from IDLE to NSEQ.	Control and address phase parity check signals not changed during wait state	Control and address phase parity check signals changed during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR Check is not performed when htrans changes from IDLE to NSEQ other than OKAY response conditions.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_illegal_control_parity_check_signals_transition	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals	Control parity check signals other than HTRANSCHK changed during burst.	Checks whether control parity check signals(other than HTRANSCHK) changed during burst	Control parity check signals not changed during burst	Control parity check signals changed during burst	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Stability	ahb5_htranschk_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers	HTRANSCHK changed during wait state.	Checks that HTRANSCHK does not change during wait state except when htrans doesn't change.	HTRANSCHK not changed during wait state	HTRANSCHK changed during wait state	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_control_huserchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	control_huserchk/HAUSERCHK must not be X/Z	Checks that control_huserchk is not X or Z	control_huserchk does not contain any X or Z bits	control_huserchk contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hwdata_huserchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	hwdata_huserchk/HWUSERCHK must not be X/Z	Checks that hwdata_huserchk is not X or Z	hwdata_huserchk does not contain any X or Z bits	hwdata_huserchk contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hwdatachk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HWDATACHK must not be X/Z	Checks that HWDATACHK is not X or Z	HWDATACHK does not contain any X or Z bits	HWDATACHK contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hwstrbchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HWSTRBCHK must not be X/Z	Checks that HWSTRBCHK is not X or Z	HWSTRBCHK does not contain any X or Z bits	HWSTRBCHK contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hprotchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HPROTCHK must not be X/Z	Checks that HPROTCHK is not X or Z	HPROTCHK does not contain any X or Z bits	HPROTCHK contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hctrlchk2_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HCTRLCHK2 must not be X/Z	Checks that HCTRLCHK2 is not X or Z	HCTRLCHK2 does not contain any X or Z bits	HCTRLCHK2 contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hctrlchk1_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HCTRLCHK1 must not be X/Z	Checks that HCTRLCHK1 is not X or Z	HCTRLCHK1 does not contain any X or Z bits	HCTRLCHK1 contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_haddrchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HADDRCHK must not be X/Z	Checks that HADDRCHK is not X or Z	HADDRCHK does not contain any X or Z bits	HADDRCHK contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_htranschk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HTRANSCHK must not be X/Z	Checks that HTRANSCHK is not X or Z	HTRANSCHK does not contain any X or Z bits	HTRANSCHK contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hready_inchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HREADY_INCHK must not be X/Z	Checks that HREADY_INCHK is not X or Z	HREADY_INCHK does not contain any X or Z bits	HREADY_INCHK contains X or Z bits	Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Interface Parity Signals	Signal Validity	ahb5_signal_valid_hselchk_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals	HSELCHK must not be X/Z	Checks that HSELCHK is not X or Z	HSELCHK does not contain any X or Z bits	HSELCHK contains X or Z bits	Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Response Signaling	ahb5_hexokay_asserted_when_hresp_asserted	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling	HEXOKAY must not be asserted in the same cycle as HRESP is asserted	HEXOKAY must not be asserted in the same cycle as HRESP is asserted.	HEXOKAY is not asserted in the same cycle as HRESP is asserted.	HEXOKAY is asserted in the same cycle as HRESP is asserted.	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Response Signaling	ahb5_hexokay_asserted_without_hready_asserted	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling	HEXOKAY must only be asserted in the same cycle as HREADY is asserted	HEXOKAY must only be asserted in the same cycle as HREADY is asserted.	HEXOKAY is asserted when HREADY is asserted.	HEXOKAY is asserted when HREADY is not asserted.	Active/Passive Manager and Passive Subordinate	Group: AHB5 Default severity: ERROR	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Signal Validity	signal_valid_hexokay_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HEXOKAY must not be X/Z	Checks that HEXOKAY is not X or Z	HEXOKAY is not X or Z	HEXOKAY is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Outstanding Exclusive Transfers	ahb5_outstanding_exclusive_xact_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that a manager is not staring a new exclusive transaction while there is an outstanding exclusive transaction pending.	Checks that a manager is not staring a new exclusive transaction while there is an outstanding exclusive transaction pending	Exclusive manager has no outstanding transaction pending	Exclusive manager has an outstanding transaction pending	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Outstanding Exclusive Transfers	ahb5_exclusive_xact_overlap_with_another_exclusive_sequence_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that a manager must not permit an Exclusive read transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence	Checks that manager is not permit an Exclusive transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence	Exclusive transfer is not related to another sequence	Exclusive transfer is related to another sequence	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE The scenarios that this check gets performed are already take care by ahb5_outstanding_exclusive_xact_check This ahb5_exclusive_xact_overlap_with_another_exclusive_sequence_check will be deprecated in the future releases	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_no_busy_transfer_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that no busy transfers is generated same for exclusive accesss READ and WRITE transactions.	Checks that exclusive read transfer's and exclusive write transfer's number of busy cycles are zero	Exclusive read transfer and exclusive write transfer number of busy cycles are zero	Exclusive read transfer and exclusive write transfer number of busy cycles are note zero	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_prot_type_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that prot type is generated same for exclusive accesss READ and WRITE transactions.	Checks that exclusive read transfer's and exclusive write transfer's prot type match	Exclusive read transfer and exclusive write transfer prot type are same	Exclusive read transfer and exclusive write transfer prot type are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_burst_type_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that burst type is generated same for exclusive accesss READ and WRITE transactions.	Checks that exclusive read transfer's and exclusive write transfer's burst types match	Exclusive read transfer and exclusive write transfer burst types are same	Exclusive read transfer and exclusive write transfer burst types are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_burst_size_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that burst size is generated same for exclusive accesss READ and WRITE transactions.	Checks that exclusive read transfer's and exclusive write transfer's burst sizes match	Exclusive read transfer and exclusive write transfer burst sizes are same	Exclusive read transfer and exclusive write transfer burst sizes are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_burst_length_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that burst length is generated same for exclusive accesss READ and WRITE transactions.	Checks that exclusive read transfer's and exclusive write transfer's burst lengths match	Exclusive read transfer and exclusive write transfer burst lengths are same	Exclusive read transfer and exclusive write transfer burst lengths are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_id_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that the bits of the HMASTER signal that are used to identify the Exclusive-capable thread must be the same for all Exclusive transactions from the same Exclusive-capable thread. In other words, it checks that same exclusive thread is used for exclusive access READ and WRITE transactions	Checks that id is generated same for exclusive read and write transactions	Exclusive read transfer and exclusive write exclusive thread id are same	Exclusive read transfer and exclusive write exclusive thread id are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Access Pair	ahb5_exclusive_read_write_addr_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions	Checks that address is generated same for exclusive accesss READ and WRITE transactions	Checks that exclusive read transfer's and exclusive write transfer's addresses matches	Exclusive read transfer and exclusive write transfer addresses are same	Exclusive read transfer and exclusive write transfer addresses are different	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Signal Validity	signal_valid_hexcl_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HEXCL must not be X/Z	Checks that HEXCL is not X or Z	HEXCL is not X or Z	HEXCL is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Response Signaling	ahb5_exclusive_write_response_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling	Checks that response generated for exclusive write accesss is correct	Checks that response generated for exclusive write access is correct	Exclusive write transfer gives expected exclusive write response	Exclusive write transfer does not give expected exclusive write response	Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB5 Exclusive Transfers	Exclusive Response Signaling	ahb5_exclusive_read_response_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling	Checks that response generated for exclusive read accesss is correct	Checks that response generated for exclusive read access is correct	Exclusive read transfer gives expected exclusive read response	Exclusive read transfer does not give expected exclusive read response	Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE	ERROR	svt_ahb_checker
AHB_FULL	Two Cycle Response	two_cycle_retry_resp	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	RETRY response was not completed in two cycles.	Checks that RETRY response completes in two cycles	RETRY response completes in two cycles	RETRY response was not completed in two cycles	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Two Cycle Response	two_cycle_split_resp	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	SPLIT response was not completed in two cycles.	Checks that SPLIT response completes in two cycles	SPLIT response completes in two cycles	SPLIT response was not completed in two cycles	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Transfer Type	htrans_not_idle_or_nseq_during_no_grant	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access	Manager should drive HTRANS to IDLE or NSEQ when it does not have access to the bus.	Checks that manager drives HTRANS to IDLE or NSEQ when it does not have access to the bus	Manager drives HTRANS to IDLE or NSEQ when it does not have access to the bus	Manager not driving HTRANS to IDLE or NSEQ when it does not have access to the bus	Passive Manager	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Transfer Type	htrans_not_changed_to_idle_during_retry	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	HTRANS did not change to IDLE during RETRY response.	Checks that HTRANS changes to IDLE during second cycle of RETRY response	HTRANS changed to IDLE during RETRY response	HTRANS was not changed to IDLE during RETRY response	Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Transfer Type	htrans_not_changed_to_idle_during_split	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	HTRANS did not change to IDLE during SPLIT response.	Checks that HTRANS changes to IDLE during second cycle of SPLIT response	HTRANS changed to IDLE during SPLIT response	HTRANS was not changed to IDLE during SPLIT response	Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Signal Validity	signal_valid_hbusreq_check	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access	HBUSREQ must not be X/Z	Checks that HBUSREQ is not X or Z	HBUSREQ does not contain any X or Z bits	HBUSREQ contains X or Z bits	Passive Manager	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_FULL	Rebuild Transaction	rebuild_xact_with_valid_combination_of_bursts	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry	Manager should restart an interrupted burst with a valid combination of bursts.	Checks that the manager restarted an interrupted burst with a valid combination of bursts	Manager restarted an interrupted burst with a valid combination of bursts	Manager not restarted an interrupted burst with a valid combination of bursts	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.	ERROR	svt_ahb_checker
AHB_FULL	Rebuild Transaction	rebuild_xact_with_expected_addr	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry	Manager should restart an interrupted burst from the address of the aborted beat.	Checks that the manager restarted an interrupted burst from the address of the aborted beat	Manager restarted an interrupted burst from the address of the aborted beat	Manager not restarted an interrupted burst from the address of the aborted beat	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.	ERROR	svt_ahb_checker
AHB_FULL	Response Type	hsplit_asserted_for_non_split_master	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers	Subordinate should not assert HSPLIT corresponding to a manager it has not split earlier.	Checks that HSPLIT is not asserted for a manager that has not SPLIT earlier.	HSPLIT is not asserted for a manager that has not SPLIT earlier.	HSPLIT is asserted for a manager that has not SPLIT earlier.	Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Response Type	hsplit_asserted_for_one_cycle	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers	Subordinate should assert a bit of HSPLIT only for one clock cycle	Checks that HSPLIT is asserted for only one clock cycle	HSPLIT is asserted for only one clock cycle	HSPLIT is not asserted for only one clock cycle	Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Transfer Type	htrans_not_changed_to_idle_during_retry	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	HTRANS did not change to IDLE during RETRY response.	Checks that HTRANS changes to IDLE during second cycle of RETRY response	HTRANS changed to IDLE during RETRY response	HTRANS was not changed to IDLE during RETRY response	Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Transfer Type	htrans_not_changed_to_idle_during_split	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response	HTRANS did not change to IDLE during SPLIT response.	Checks that HTRANS changes to IDLE during second cycle of SPLIT response	HTRANS changed to IDLE during SPLIT response	HTRANS was not changed to IDLE during SPLIT response	Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_FULL	Bus Grant	illegal_hgrant_on_split_resp	AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers	Manager should lose the bus once it gets the split response from the subordinate.	Checks that manager loses the bus once it gets the split response from the subordinate.	Manager loses the bus once it gets the split response from the subordinate	Manager didn't lose the bus during the split response from the subordinate	Active/Passive Manager	Group: AHB Default severity: ERROR Check is constructed only when num_masters > 1	ERROR	svt_ahb_checker
AHB_FULL	Signal Validity	signal_valid_hgrant_check	AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list	HGRANT must not be X/Z	Checks that HGRANT is not X or Z	HGRANT does not contain any X or Z bits	HGRANT contains X or Z bits	Active/Passive Manager	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB_FULL	Signal Validity	signal_valid_hmaster_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HMASTER must not be X/Z	Checks that HMASTER is not X or Z	HMASTER is not X or Z	HMASTER is X or Z	Active/Passive Subordinate	Group: AHB Default severity: ERROR This is performed in full-AHB mode. When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_Lite	Response Type	ahb_lite_split_response	AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses	SPLIT response was received when configured as AHB Lite system.	Checks that SPLIT responses are not received when configured for AHB Lite	SPLIT responses are not received when configured for AHB Lite	SPLIT responses are received when configured for AHB Lite	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
AHB_Lite	Response Type	ahb_lite_retry_response	AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses	RETRY response was received when configured as AHB Lite system.	Checks that RETRY responses are not received when configured for AHB Lite	RETRY responses are not received when configured for AHB Lite	RETRY responses are received when configured for AHB Lite	Active/Passive Manager and Passive Subordinate	Group: AHB Default severity: ERROR	ERROR	svt_ahb_checker
ARM11/AHB_V6 Exclusive Accesses	Two Cycle Response	two_cycle_xfail_resp	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.3.1 Exclusive Access Protocol	XFAIL response was not completed in two cycles.	Checks that XFAIL response completes in two cycles	XFAIL response completes in two cycles	XFAIL response does not completed in two cycles	Active Manager	Group: AHB_V6 Default severity: ERROR Applicable for AHB_V6 extention AHB_LITE	ERROR	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	Valid Unaligned Transfer	valid_unaligned_transfer	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1.2 Burst, Unaligned accesses and Byte Lane Strobes	HUNALIGN should be asserted for an unaligned transfer	Checks that HUNALIGN signal is correctly set for unaligned transfers. Based on ARMv6 AMBA Extension Spec (Document No: PR022-GENC-001011) section 3.1.2, example 3.1.2.2 in the document and ARM discussions following items are mandatory. It would be mandatory for any initiator using the ARM11 extensions generating an unaligned AHB transfer to drive HUNALIGN=1 If HUNALIGN=0 it tells the target that HADDR will be fully AHB v2.0 compliant and HADDR will be aligned to HSIZE	HUNALIGN is 1 for the unaligned transfer	HUNALIGN is 0 for the unaligned transfer	Passive Manager and Active/Passive Subordinate	Group: AHB_V6 Default severity: ERROR Applicable for AHB_V6 extention AHB_LITE	ERROR	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	Signal Stability	hunalign_changed_during_transfer	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes	HUNALIGN should not change in middle of a transfer	Checks that HUNALIGN output signal from manager dosenot changes its value in middle of a transfer	HUNALIGN is stable in a transfer	HUNALIGN is not stable in a transfer	Passive Manager and Active/Passive Subordinate	Group: AHB_V6 Default severity: ERROR Applicable for AHB_V6 extention AHB_LITE	ERROR	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	Valid Byte Lane Strobes	valid_byte_lane_for_hbstrb	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes	HRDATA/HWDATA byte lanes corresponding to HBSTRB should be selected	Checks that HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB signal which have value 1	HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB	Invalid HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB	Passive Manager and Active/Passive Subordinate	Group: AHB_V6 Default severity: ERROR Applicable for AHB_V6 extention AHB_LITE	ERROR	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	Signal Validity	signal_valid_hunalign_check	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes	HUNALIGN must not be X/Z	Checks that HUNALIGN is not X or Z	HUNALIGN is not X or Z	HUNALIGN is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB_V6 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. Applicable for AHB_V6 extention AHB_LITE During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
ARM11/AHB_V6 Unaligned Transfers	Signal Validity	signal_valid_hbstrb_check	ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes	HBSTRB must not be X/Z	Checks that HBSTRB is not X or Z	HBSTRB does not contain any X or Z bits	HBSTRB contains X or Z bits	Passive Manager and Active/Passive Subordinate	Group: AHB_V6 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. Applicable for AHB_V6 extention AHB_LITE During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB5 Write Strobes	Signal Stability	ahb5_hwstrb_changed_during_wait_state	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.5 Write strobes	HWSTRB changed during wait state.	Checks that write strobes (HWSTRB) does not change during waited writes	HWSTRB is stable during the waited write transfer	HWSTRB is changed during the waited write transfer	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.	ERROR	svt_ahb_checker
AHB5 Write Strobes	Signal Validity	ahb5_signal_valid_hwstrb_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HWSTRB must not be X/Z	Checks that HWSTRB is not X or Z	HWSTRB is not X or Z	HWSTRB is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.	ERROR	svt_ahb_checker
AHB5 Extended Memory Types	Signal Validity	signal_valid_hprot_ex_range_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.9 Memory types	HPROT signal is not having the valid value	Checks that Extended_Memory_Type supporting HPROT[6:2] is having valid values	HPROT[6:2] value is in valid range	HPROT[6:2] value is not in valid range	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.	ERROR	svt_ahb_checker
AHB5 Secure Transfers	Signal Validity	signal_valid_hnonsec_check	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules	HNONSEC must not be X/Z	Checks that HNONSEC is not X or Z	HNONSEC is not X or Z	HNONSEC is X or Z	Passive Manager and Active/Passive Subordinate	Group: AHB5 Default severity: ERROR When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset. During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.	ERROR	svt_ahb_checker
AHB_Lite_Multilayer	Rebuild Transaction	rebuild_xact_with_valid_combination_of_bursts	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination	Manager should restart an interrupted burst with a valid combination of bursts.	Checks that the manager restarted an interrupted burst with a valid combination of bursts	Manager restarted an interrupted burst with a valid combination of bursts	Manager not restarted an interrupted burst with a valid combination of bursts	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.	ERROR	svt_ahb_checker
AHB_Lite_Multilayer	Rebuild Transaction	rebuild_xact_with_expected_addr	AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination	Manager should restart an interrupted burst from the address of the aborted beat.	Checks that the manager restarted an interrupted burst from the address of the aborted beat	Manager restarted an interrupted burst from the address of the aborted beat	Manager not restarted an interrupted burst from the address of the aborted beat	Passive Manager and Active/Passive Subordinate	Group: AHB Default severity: ERROR This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.	ERROR	svt_ahb_checker

Group

Sub Group

Protocol Check Instance name

Reference

Description

Check Intent

Pass Condition

Fail Condition

Applicable Device Type

Additional Information

Error Category

Protocol Check Class

AHB System

Manager Subordinate Transaction Association

master_slave_xact_resp_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

Response signals should match between manager transaction and the corresponding subordinate transaction.

Checks that response signals match between manager transaction and the corresponding subordinate transaction.

All the all_beat_response array values match between manager and corresponding subordinate transaction.

Any of the all_beat_response array values does not match between manager and corresponding subordinate transaction.

System Monitor

Group: AHB
Default severity: ERROR
Limitations: Currently disabled for AHB Lite multilayer.

ERROR

AHB System

Manager Subordinate Transaction Association

master_slave_xact_data_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

Data values should match between manager transaction and the corresponding subordinate transaction.

Checks that data values match between manager transaction and the corresponding subordinate transaction.

All the data array values match between manager and corresponding subordinate transaction.

Any of the data array values does not match between manager and corresponding subordinate transaction.

System Monitor

Group: AHB
Default severity: ERROR
Limitations: Currently disabled for AHB Lite multilayer.

ERROR

AHB System

Manager Subordinate Transaction Association

master_slave_xact_addr_ctrl_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

Address and control signals should match between manager transaction and the corresponding subordinate transaction.

Checks that address and control signals match between manager transaction and the corresponding subordinate transaction.
Following control signal attributes are compared.

addr
xact_type
burst_type
burst_size
prot_type

All the compared signal attributes match between manager and corresponding subordinate transaction.

Any of the compared signal attributes does not match between manager and corresponding subordinate transaction.

System Monitor

Group: AHB
Default severity: ERROR
Limitations: Currently disabled for AHB Lite multilayer.

ERROR

AHB System

Dummy Manager

xact_not_idle_when_dummy_master_active

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus manager

Transfer type of the transaction is not IDLE when dummy manager is active.

Checks that IDLE transactions are driven when the dummy manager is active

IDLE transactions are driven when the dummy manager is active

IDLE transactions are not driven when the dummy manager is active

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Locked Transfers in Arbiter

hmastlock_changed_during_incr

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked transfers

HMASTLOCK signal changed during INCR burst transfer.

Checks that the HMASTLOCK signal remains constant during an INCR burst

HMASTLOCK signal remains constant during an INCR burst

HMASTLOCK signal changes during an INCR burst

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Locked Transfers in Arbiter

arbiter_asserted_hmastlock_without_hlock

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers

Arbiter asserted HMASTLOCK signal when the manager has not requested.

Checks that the arbiter does not assert HMASTLOCK when the manager has not requested

Arbiter does not assert HMASTLOCK when the manager has not requested

Arbiter does asserts HMASTLOCK when the manager has not requested

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Locked Transfers in Arbiter

arbiter_lock_last_grant

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers

Arbiter did not keep manager granted for an additional transfer after a locked sequence.

Checks that the arbiter keeps the manager granted for an additional transfer after a locked sequence

Arbiter keeps the manager granted for an additional transfer after a locked sequence

Arbiter does not keeps the manager granted for an additional transfer after a locked sequence

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Locked Transfers in Arbiter

arbiter_changed_hmaster_during_lock

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers

HMASTER signal changed during locked transfer.

Checks that the arbiter does not change HMASTER during a locked transfer

Arbiter does not change HMASTER during a locked transfer

Arbiter changes HMASTER during a locked transfer

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Granted Manager in Split Transfer in Arbiter

mask_hgrant_until_hsplit_assert

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12.1 Split transfer sequence

Manager should not be regranted until the subordinate is ready to complete the transfer and asserts HSPLIT.

Checks that if the manager has got split, grant must be not given to that manager until subordinate asserts hsplitx

Grant not given to the manager until subordinate asserts hsplitx

Grant given to the manager when subordinate didn't asserted hsplitx

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Granted Manager in Split Transfer in Arbiter

grant_to_default_master_during_allmaster_split

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus master

If all managers has received a SPLIT response then the default manager is granted the bus.

Checks that If all managers has received a SPLIT response then the default manager is granted the bus.

Default manager is granted the bus when all managers has received a SPLIT.

Default manager is not granted the bus when all managers has received a SPLIT.

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Granted Manager in Arbiter

arbiter_changed_hmaster_during_wait

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.11.3 Granting bus access

HMASTER signal changed during waited state.

Checks that the arbiter does not change HMASTER during a waited transfer

Arbiter does not change HMASTER during a waited transfer

Arbiter changes HMASTER during a waited transfer.

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Granted Manager in Arbiter

arbiter_asserted_hmaster_ne_granted_master

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access

HMASTER signal does not reflect the granted manager.

Checks that the arbiter assert HMASTER to reflect the Granted manager

HMASTER signal reflects the granted manager

HMASTER signal does not reflect the granted manager

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Granted Manager in Arbiter

arbiter_asserted_multi_hgrant

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access

Arbiter asserted more than one HGRANT signal.

Checks that the arbiter does not assert more than one HGRANT signal

Arbiter not asserted more than one HGRANT signal

Arbiter asserted more than one HGRANT signal

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Subordinate Selection in Decoder

decoder_not_asserted_any_hsel

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals

Decoder not asserted any HSEL signal.

Checks that the decoder does assert atleast one HSEL signal

Decoder asserted atleast one HSEL signal

Decoder not asserted atleast one HSEL signal

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Subordinate Selection in Decoder

decoder_asserted_multi_hsel

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals

Decoder asserted more than one HSEL signal.

Checks that the decoder does not assert more than one HSEL signal

Decoder not asserted more than one HSEL signal

Decoder asserted more than one HSEL signal

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Data Integrity

data_integrity_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

Transaction data inconsistent with subordinate memory.

Checks that data in transaction is consistent with data in memory when the transaction completes. This checks that a WRITE transaction issued by a manager is written to memory correctly. Similarly, it checks that a READ transaction fetches the correct data from memory. The check assumes that a transaction issued by a manager completes only after response is received from the subordinate to which that transaction was routed. It also assumes that there is no other transaction that accesses an overlapping address during the period that the response is issued by the subordinate and the transaction completes in the manager that issued the transaction.
Note that this check is not performed on the transactions that are routed to the default subordinate.

Data in transaction is consistent with data in memory

Data in transaction is not consistent with data in memory

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB System

Routing

slave_transaction_routing_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.1 Interconnect

Transaction not routed to the correct subordinate based on system address map.

Checks that a transaction is routed correctly to a slave port based on address.

This check is not performed on default_slave if the default slave is set to -1 through svt_ahb_system_configuration :: default_slave.
If svt_ahb_system_configuration :: default_slave is set to a value in the range 0 to 15, then this check is performed on the default slave also.
This check is preformed on all the slaves other than the default slave irrespective of the value of svt_ahb_system_configuration :: default_slave.

Transaction routed to the correct subordinate based on system address map

Transaction not routed to the correct subordinate based on system address map

System Monitor

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Address Phase Timing

ahb_address_phase_extended

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 1.3 Operation

A Subordinate cannot request that the address phase is extended.

Checks that address phase is not extended by the Subordinate

Address phase is started by driving HREADY high when HTRANS is NSEQ

Address phase is extended by driving HREADY low when HTRANS is NSEQ, and no extended data phase pending from a previous transaction

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

During Reset

hready_out_from_bus_high_during_reset

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset

During reset, HREADY output from bus must be HIGH

Checks that HREADY output signal from bus is HIGH when reset is active

HREADY output signal from bus is HIGH when reset is active

HREADY output signal from bus is not HIGH when reset is active

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.

ERROR

AHB_COMMON

Performance Metrics

perf_min_write_throughput

SYNOPSYS DEFINED

Checks that the throughput of write transactions in a given interval is more than or equal to the configured min value

Checks that the throughput of write transactions in a given interval is not less that the configured min value

Throughput of write transactions in a given interval is not less that the configured min value

Throughput of write transactions in a given interval is less that the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_max_write_throughput

SYNOPSYS DEFINED

Checks that the throughput of write transactions in a given interval is less than or equal to the configured max value

Checks that the throughput of write transactions in a given interval is not more that the configured max value

Throughput of write transactions in a given interval is not more that the configured max value

Throughput of write transactions in a given interval is more that the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_min_read_throughput

SYNOPSYS DEFINED

Checks that the throughput of read transactions in a given interval is more than or equal to the configured min value

Checks that the throughput of read transactions in a given interval is not less that the configured min value

Throughput of read transactions in a given interval is not less that the configured min value

Throughput of read transactions in a given interval is less that the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_max_read_throughput

SYNOPSYS DEFINED

Checks that the throughput of read transactions in a given interval is less than or equal to the configured max value

Checks that the throughput of read transactions in a given interval is not more that the configured max value

Throughput of read transactions in a given interval is not more that the configured max value

Throughput of read transactions in a given interval is more that the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_avg_min_read_xact_latency

SYNOPSYS DEFINED

Checks that the average latency of read transactions in a given interval is more than or equal to the configured min value

Checks that the average latency of read transactions in a given interval is not less than the configured min value

Average latency of read transactions in a given interval is not less than the configured min value

Average latency of read transactions in a given interval is less than the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_avg_max_read_xact_latency

SYNOPSYS DEFINED

Checks that the average latency of read transactions in a given interval is less than or equal to the configured max value

Checks that the average latency of read transactions in a given interval is not more than the configured max value

Average latency of read transactions in a given interval is not more than the configured max value

Average latency of read transactions in a given interval is more than the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_min_read_xact_latency

SYNOPSYS DEFINED

Checks that the latency of a read transaction is more than or equal to the configured min value

Checks that the latency of a read transaction is not lesser than the configured min value

Latency of a read transaction is not lesser than the configured min value

Latency of a read transaction is lesser than the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_max_read_xact_latency

SYNOPSYS DEFINED

Checks that the latency of a read transaction is less than or equal to the configured max value

Checks that the latency of a read transaction is not greater than the configured max value

Latency of a read transaction is not greater than the configured max value

Latency of a read transaction is greater than the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_avg_min_write_xact_latency

SYNOPSYS DEFINED

Checks that the average latency of write transactions in a given interval is more than or equal to the configured min value

Checks that the average latency of write transactions in a given interval is not less than the configured min value

Average latency of write transactions in a given interval is not less than the configured min value

Average latency of write transactions in a given interval is less than the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_avg_max_write_xact_latency

SYNOPSYS DEFINED

Checks that the average latency of write transactions in a given interval is less than or equal to the configured max value

Checks that the average latency of write transactions in a given interval is not more than the configured max value

Average latency of write transactions in a given interval is not more than the configured max value

Average latency of write transactions in a given interval is more than the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_min_write_xact_latency

SYNOPSYS DEFINED

Checks that the latency of a write transaction is more than or equal to the configured min value

Checks that the latency of a write transaction is not lesser than the configured min value

Latency of a write transaction is not lesser than the configured min value

Latency of a write transaction is lesser than the configured min value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Performance Metrics

perf_max_write_xact_latency

SYNOPSYS DEFINED

Checks that the latency of a write transaction is less than or equal to the configured max value

Checks that the latency of a write transaction is not greater than the configured max value

Latency of a write transaction is not greater than the configured max value

Latency of a write transaction is greater than the configured max value

Active/Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Parity

ahb5_hrdatachk_parity_calculated_hrdata_parity_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

ahb5_hrdatachk received_parity_calculated_parity_check

Checks the received HRDATACHK is same as the parity calculated from HRDATA in a read transaction.

Received HrDATACHK is same as the parity calculated from HRDATA in the read transaction.

Received HRDATACHK is not same as the parity calculated from HRDATA in the read transaction.

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.

ERROR

AHB_COMMON

Signal Parity

ahb5_hwdatachk_parity_calculated_hwdata_parity_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

ahb5_hwdatachk received_parity_calculated_parity_check

Checks the received HWDATACHK is same as the parity calculated from HWDATA in a write transaction.

Received HWDATACHK is same as the parity calculated from HWDATA in the write transaction.

Received HWDATACHK is not same as the parity calculated from HWDATA in the write transaction.

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.

ERROR

AHB_COMMON

Signal Parity

ahb5_received_parity_calculated_parity_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921

ahb5_received_parity_calculated_parity_check

Checks that observed parity value as seen in *chk signals match that of calculated parity value from respective signal.

Observed parity value as seen in *chk signals match that of calculated parity value from respective signal.

Observed parity value as seen in *chk signals doesn't match that of calculated parity value from respective signal.

Active/Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: check_type is set to ODD_PARITY_BYTE_ALL with macro SVT_AHB5_PARITY_ENABLE defined.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hrdata_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HRDATA must not be X/Z

Checks that HRDATA is not X or Z

HRDATA does not contain any X or Z bits

HRDATA contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR
Note: This check is performed only for the transaction with OKAY response and ERROR response having svt_ahb_system_configuration :: error_response_policy as svt_ahb_system_configuration :: CONTINUE_ON_ERROR.
It is recommended that HRDATA is driven to zero when an ERROR response is given to a read transfer.
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hwdata_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HWDATA must not be X/Z

Checks that HWDATA is not X or Z

HWDATA does not contain any X or Z bits

HWDATA contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
Note: This check is performed only for the transaction with OKAY response and ERROR response having svt_ahb_system_configuration :: error_response_policy as svt_ahb_system_configuration :: CONTINUE_ON_ERROR.
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Response Type

zero_wait_cycle_okay

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

IDLE and BUSY transfers must receive zero wait cycle OKAY response.

Checks that IDLE and BUSY transfers receive zero wait cycle OKAY response

IDLE and BUSY transfers receive zero wait cycle OKAY response

IDLE and BUSY transfers doesn't receive zero wait cycle OKAY response

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Two Cycle Response

two_cycle_error_resp

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response

ERROR response was not completed in two cycles.

Checks that ERROR response completes in two cycles

ERROR response completes in two cycles

ERROR response was not completed in two cycles

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Response Type

non_okay_response_in_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.2 Transfer pending

Response other than OKAY response was received during wait state.

Checks that only OKAY responses are received during wait state

OKAY responses are received during wait state

OKAY responses are not received during wait state

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Validity

signal_valid_hresp_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HRESP must not be X/Z

Checks that HRESP is not X or Z

HRESP is not X or Z

HRESP is X or Z

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hready_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HREADY must not be X/Z

Checks that HREADY is not X or Z

HREADY does not contain any X or Z bits

HREADY contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Burst Length

burst_length_exceeded

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation

Burst length exceeded for fixed length burst.

Checks number of beats in a fixed length burst

Burst length not exceeded fixed length burst

Burst length exceeded for fixed length burst

Passive Manager

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Locked Transfers

hlock_asserted_during_non_locked_xact

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.1 Signal description

Manager should not assert lock signal in the middle of a non-locked transaction.

Checks that manager shouldn't assert hlock in the middle of a non-locked transaction

Manager not asserted hlock in the middle of a non-locked transaction

Manager asserted hlock in the middle of a non-locked transaction

Passive Manager

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Validity

signal_valid_hlock_check

AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list

HLOCK must not be X/Z

Checks that HLOCK is not X or Z on manager interface

HLOCK does not contain any X or Z bits

HLOCK contains X or Z bits

Passive Manager

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Locked Transfers

different_subordinate_addr_region_during_locked_sequence

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked Transfers

It is required that all transfers in a locked sequence are to the same Subordinate address region.

It is required that all transfers in a locked sequence are to the same subordinate address region.

Manager performing a transfer to the same subordinate address region

Manager performing a transfer to a different subordinate address region

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

htrans_not_changed_to_idle_during_error

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response

HTRANS did not change to IDLE during ERROR response.

Checks that HTRANS changes to IDLE during second cycle of ERROR response

HTRANS changes to IDLE during ERROR response

HTRANS did not change to IDLE during ERROR response

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

During Reset

htrans_idle_during_reset

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset

During reset, HTRANS must be IDLE2'b00

Checks that HTRANS output signal from manager/bus is IDLE when reset is active

HTRANS output signal from manager/bus is IDLE when reset is active

HTRANS output signal from manager/bus is not IDLE when reset is active

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.

ERROR

AHB_COMMON

Transfer Type

seq_or_busy_before_nseq_during_xfer

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

Manager started burst with SEQ or BUSY instead of NSEQ.

Checks that a manager started burst with SEQ or BUSY instead of NSEQ

Manager started burst with NSEQ

Manager started burst with BUSY or SEQ

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

illegal_idle2seq

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

Manager attempted SEQ transfer following IDLE.

Checks for IDLE changed to SEQ

SEQ is not followed by IDLE

SEQ is followed by IDLE

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

illegal_idle2busy

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

Manager attempted BUSY transfer following IDLE.

Checks for IDLE changed to BUSY

BUSY is not followed by IDLE

BUSY is followed by IDLE

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

idle_changed_to_busy_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Manager cancelled IDLE transfer during wait state and changed it to BUSY transfer.

Checks for IDLE changed to BUSY during wait state

IDLE not changed to BUSY during wait state

IDLE changed to BUSY during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

idle_changed_to_seq_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Manager cancelled IDLE transfer during wait state and changed it to SEQ transfer.

Checks for IDLE changed to SEQ during wait state

IDLE not changed to SEQ during wait state

IDLE changed to SEQ during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Stability

ctrl_or_addr_changed_during_busy

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

Control signalsother than HTRANS or address changed during BUSY.

Checks whether control signals(other than HTRANS) or address changed during BUSY

Control signals and address not changed during busy transfer

Control signals or address changed during busy transfer

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Stability

illegal_control_transition

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals

Control signals other than HTRANS changed during burst.

Checks whether control signals(other than HTRANS) changed during burst

Control signals not changed during burst

Control signals changed during burst

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Burst Address

ahb_valid_beat_address_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation

valid beat address check.

Checks for valid beat address of each beat in a transaction

Beat address is getting updated correctly

Beat address not updated correctly Beat address and haddr is not same

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Burst Address

illegal_address_transition

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation

Illegal address transition during burst.

Checks for illegal address transition during burst

Address is getting updated correctly

Address not updated correctly

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Burst Address

boundry_crossing_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation

Burst transfer crossed boundary

Checks that burst transfer does not cross configured boundary limit

Burst transfer does not cross configured boundary limit

Burst transfer crosses configured boundary limit

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Burst Address

one_k_boundry_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation

Burst transfer crossed 1 KB boundary.

Checks that burst transfer does not cross 1 KB boundary

Burst transfer does not cross 1 KB boundary

Burst transfer crosses 1KB boundary

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Size

hsize_too_big_for_data_width

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.3.3 Implementing a Manager on a wide bus

Manager attempted transfer size greater than data bus width.

Checks that manager attempted transfer size greater than data bus width

Manager attempted transfer size is not greater than data bus width

Manager attempted transfer size greater than data bus width

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Early Burst Termination

burst_terminated_early_after_okay

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination

Manager terminated burst early after OKAY response.

Checks that burst transaction was not terminated early:

AHB manager should never terminate a burst transfer when OKAY response is received.
In case of Full-AHB mode, the manager should rebuild the burst transfer in case of EBT/SPLIT/RETRY before initiating new burst.

Manager not terminated burst early after OKAY response

Manager terminated burst early after OKAY response

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Stability

hwdata_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.1.1 HWDATA

HWDATA changed during wait state.

Checks that write data does not change during waited state

Write data does not change during waited state

Write data changed during waited state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Stability

ctrl_or_addr_changed_end_of_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Control or address changed at the end of wait state.

Checks that control and address does not change at the end of wait state

Control signals and address not changed at the end of wait state

Control signals or address changed at the end of wait state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
Check is not performed during reset and other than OKAY response conditions

ERROR

AHB_COMMON

Signal Stability

ctrl_or_addr_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Control or address changed during wait state.

Checks that contol and address does not change during wait state except when htrans changes from IDLE to NSEQ

Control signals and address not changed during wait state

Control signals or address changed during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
Check is not performed when htrans changes from IDLE to NSEQ other than OKAY response conditions.

ERROR

AHB_COMMON

Signal Stability

htrans_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

HTRANS changed during wait state.

Checks that htrans does not change during wait state except when htrans changes from

IDLE to NSEQ during wait state for all burst types
BUSY to SEQ during wait state for all burst types
BUSY to NSEQ during wait state for unspecified length burst
BUSY to IDLE during wait state for unspecified length burst

HTRANS not changed during wait state

HTRANS changed during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

seq_or_busy_during_active_xact

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

In active transaction, SEQ or BUSY transfer should only occur after NSEQ.

Checks that a SEQ or BUSY trans only occur during active transaction after nseq

SEQ or BUSY trans occurs during active transaction after nseq

SEQ or BUSY trans occurs not during active transaction

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Transfer Type

trans_during_single_is_nseq

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types

Transfer type of a SINGLE burst is not NSEQ

Checks that transfer type of a SINGLE burst is NSEQ

Transfer type of a SINGLE burst is NSEQ

Transfer type of a SINGLE burst is not NSEQ

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Validity

signal_valid_hprot_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HPROT must not be X/Z

Checks that HPROT is not X or Z

HPROT does not contain any X or Z bits

HPROT contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hburst_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HBURST must not be X/Z

Checks that HBURST is not X or Z

HBURST does not contain any X or Z bits

HBURST contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hsize_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HSIZE must not be X/Z

Checks that HSIZE is not X or Z

HSIZE does not contain any X or Z bits

HSIZE contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

signal_valid_htrans_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HTRANS must not be X/Z

Checks that HTRANS is not X or Z

HTRANS does not contain any X or Z bits

HTRANS contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hwrite_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HWRITE must not be X/Z

Checks that HWRITE is not X or Z

HWRITE is not X or Z

HWRITE is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

signal_valid_haddr_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HADDR must not be X/Z

Checks that HADDR is not X or Z

HADDR does not contain any X or Z bits

HADDR contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

hready_out_from_slave_not_X_or_Z_when_data_phase_not_pending

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.3 Subordinate signals

HREADY output from subordinate must be either HIGH or LOW when there is no pending data phase.

Checks that HREADY output from subordinate must be either HIGH or LOW when there is no data phase pending. That is, checks that the subordinate cannot request that the address phase is extended.

HREADY output from subordinate must be either HIGH or LOW

HREADY output from subordinate is either X or Z

Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

During Reset

hready_out_from_slave_not_X_or_Z_during_reset

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset

During reset, HREADY output from subordinate must be either HIGH or LOW

Checks that HREADY output signal from subordinate is either HIGH or LOW when reset is active

HREADY output signal from subordinate is either HIGH or LOW when reset is active

HREADY output signal from subordinate is X or Z when reset is active

Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1.

ERROR

AHB_COMMON

Response Type

illegal_default_slave_resp_to_nseq_seq

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.1 Default Subordinate

Default subordinate should provide ERROR response for NON_SEQ or SEQ transfer.

Checks that for non existent memory location default subordinate should provide ERROR response for NSEQ/SEQ transfers

Default subordinate giving error response for NSEQ/SEQ transfers when accessing nonexistent address location

Default subordinate not giving error response for NSEQ/SEQ transfers when accessing nonexistent address location

Active/Passive Manager

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Subordinate Selection

invalid_hsel_assert_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.2 Multiple Subordinate select

Invalid HSEL signal asserted for selected subordinate

Checks that if invalid HSEL is asserted for selected subordinate. This is applicable only in mutli_hsel_enable mode

HSEL is asserted for selected subordinate

Invalid HSEL is asserted for selected subordinate

Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Validity

signal_valid_hready_in_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HREADY_IN must not be X/Z

Checks that HREADY_IN is not X or Z

HREADY_IN does not contain any X or Z bits

HREADY_IN contains X or Z bits

Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hmastlock_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HMASTLOCK must not be X/Z

Checks that HMASTLOCK is not X or Z on subordinate interface

HMASTLOCK is not X or Z

HMASTLOCK is X or Z

Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_COMMON

Signal Validity

signal_valid_hmaster_range_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals

HMASTER should not be beyond SVT_AHB_MAX_NUM_MASTERS

Checks that HMASTER value is in valid range based on SVT_AHB_MAX_NUM_MASTERS

HMASTER value is less than SVT_AHB_MAX_NUM_MASTERS

HMASTER value is more than SVT_AHB_MAX_NUM_MASTERS

Active/Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_COMMON

Signal Validity

signal_valid_hsel_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HSEL must not be X/Z

Checks that HSEL is not X or Z

HSEL is not X or Z

HSEL is X or Z

Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 User Signaling

Signal Validity

ahb5_signal_valid_hrdata_huser_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

hrdata_huser/HRUSER must not be X/Z

Checks that hrdata_huser (HRUSER) is not X or Z

HRDATA_HUSER is not X or Z

HRDATA_HUSER is X or Z

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.

ERROR

AHB5 User Signaling

Signal Validity

ahb5_signal_valid_hwdata_huser_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

hwdata_huser/HWUSER must not be X/Z

Checks that hwdata_huser (HWUSER) is not X or Z

HWDATA_HUSER is not X or Z

HWDATA_HUSER is X or Z

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.

ERROR

AHB5 User Signaling

Signal Validity

ahb5_signal_valid_resp_huser_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

resp_huser/HBUSER must not be X/Z

Checks that resp_huser (HBUSER) is not X or Z

RESP_HUSER is not X or Z

RESP_HUSER is X or Z

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: resp_huser_enable is set to 1, this check is performed.

ERROR

AHB5 User Signaling

Signal Stability

ahb5_hwdata_huser_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 11.2 User signal interconnect recommendations

hwdata_huser/HWUSER changed during wait state.

Checks that user write data (hwdata_huser) does not change during waited writes

HWDATA_HUSER is stable during the waited write transfer

HWDATA_HUSER is changed during the waited write transfer

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.

ERROR

AHB5 User Signaling

Signal Validity

ahb5_signal_valid_control_huser_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

control_huser/HAUSER must not be X/Z

Checks that control_huser (HAUSER) is not X or Z

CONTROL_HUSER is not X or Z

CONTROL_HUSER is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: control_huser_enable is set to 1, this check is performed.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hrdata_huserchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

hrdata_huserchk/HRUSERCHK must not be X/Z

Checks that hrdata_huserchk is not X or Z

hrdata_huserchk does not contain any X or Z bits

hrdata_huserchk contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hrdatachk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HRDATACHK must not be X/Z

Checks that HRDATACHK is not X or Z

HRDATACHK does not contain any X or Z bits

HRDATACHK contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_resp_huserchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

resp_huserchk/HBUSERCHK must not be X/Z

Checks that resp_huserchk is not X or Z

resp_huserchk does not contain any X or Z bits

resp_huserchk contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hrespchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HRESPCHK must not be X/Z

Checks that HRESPCHK is not X or Z

HRESPCHK does not contain any X or Z bits

HRESPCHK contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hreadychk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HREADYCHK must not be X/Z

Checks that HREADYCHK is not X or Z

HREADYCHK does not contain any X or Z bits

HREADYCHK contains X or Z bits

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_hwdata_huserchk_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 11.2 User signal interconnect recommendations

hwdata_huserchk/HWUSERCHK changed during wait state.

Checks that user write data parit check signal (hwdata_huserchk) does not change during waited writes

HWDATA_HUSERCHK is stable during the waited write transfer

HWDATA_HUSERCHK is changed during the waited write transfer

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: data_huser_enable is set to 1, this check is performed.

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_hwstrbchk_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.5 Write strobes

HWSTRBCHK changed during wait state.

Checks that write strobes parity check signal (HWSTRBCHK) does not change during waited writes

HWSTRBCHK is stable during the waited write transfer

HWSTRBCHK is changed during the waited write transfer

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_hwdatachk_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.1.1 HWDATA

HWDATACHK changed during wait state.

Checks that write data parity check signal (HWDATACHK) does not change during waited state

Write data parity check signal (HWDATACHK) does not change during waited state

Write data parity check signal (HWDATACHK) changed during waited state

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_ctrl_or_addr_phase_parity_check_signals_changed_during_busy

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Control or address related parity check signals changed during wait state.

Checks whether control parity check signals(other than HTRANSCHK) or address parity check signal changed during BUSY.

Control and address phase parity check signals not changed during busy transfer

Control and address phase parity check signals changed during busy transfer

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_ctrl_or_addr_phase_parity_check_signals_changed_end_of_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Control or address related parity check signals changed during wait state.

Checks that contol and address parity check singals does not change at the end of wait state.

Control and address phase parity check signals not changed at the end of wait state

Control and address phase parity check signals changed at the end of wait state

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
Check is not performed during reset and other than OKAY response conditions

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_ctrl_or_addr_phase_parity_check_signals_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

Control or address related parity check signals changed during wait state.

Checks that contol and address parity check singals does not change during wait state except when htrans changes from IDLE to NSEQ.

Control and address phase parity check signals not changed during wait state

Control and address phase parity check signals changed during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
Check is not performed when htrans changes from IDLE to NSEQ other than OKAY response conditions.

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_illegal_control_parity_check_signals_transition

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals

Control parity check signals other than HTRANSCHK changed during burst.

Checks whether control parity check signals(other than HTRANSCHK) changed during burst

Control parity check signals not changed during burst

Control parity check signals changed during burst

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Interface Parity Signals

Signal Stability

ahb5_htranschk_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers

HTRANSCHK changed during wait state.

Checks that HTRANSCHK does not change during wait state except when htrans doesn't change.

HTRANSCHK not changed during wait state

HTRANSCHK changed during wait state

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_control_huserchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

control_huserchk/HAUSERCHK must not be X/Z

Checks that control_huserchk is not X or Z

control_huserchk does not contain any X or Z bits

control_huserchk contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hwdata_huserchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

hwdata_huserchk/HWUSERCHK must not be X/Z

Checks that hwdata_huserchk is not X or Z

hwdata_huserchk does not contain any X or Z bits

hwdata_huserchk contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hwdatachk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HWDATACHK must not be X/Z

Checks that HWDATACHK is not X or Z

HWDATACHK does not contain any X or Z bits

HWDATACHK contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hwstrbchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HWSTRBCHK must not be X/Z

Checks that HWSTRBCHK is not X or Z

HWSTRBCHK does not contain any X or Z bits

HWSTRBCHK contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hprotchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HPROTCHK must not be X/Z

Checks that HPROTCHK is not X or Z

HPROTCHK does not contain any X or Z bits

HPROTCHK contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hctrlchk2_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HCTRLCHK2 must not be X/Z

Checks that HCTRLCHK2 is not X or Z

HCTRLCHK2 does not contain any X or Z bits

HCTRLCHK2 contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hctrlchk1_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HCTRLCHK1 must not be X/Z

Checks that HCTRLCHK1 is not X or Z

HCTRLCHK1 does not contain any X or Z bits

HCTRLCHK1 contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_haddrchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HADDRCHK must not be X/Z

Checks that HADDRCHK is not X or Z

HADDRCHK does not contain any X or Z bits

HADDRCHK contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_htranschk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HTRANSCHK must not be X/Z

Checks that HTRANSCHK is not X or Z

HTRANSCHK does not contain any X or Z bits

HTRANSCHK contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hready_inchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HREADY_INCHK must not be X/Z

Checks that HREADY_INCHK is not X or Z

HREADY_INCHK does not contain any X or Z bits

HREADY_INCHK contains X or Z bits

Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Interface Parity Signals

Signal Validity

ahb5_signal_valid_hselchk_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 12.5 Parity check signals

HSELCHK must not be X/Z

Checks that HSELCHK is not X or Z

HSELCHK does not contain any X or Z bits

HSELCHK contains X or Z bits

Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: addr_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 Exclusive Transfers

Exclusive Response Signaling

ahb5_hexokay_asserted_when_hresp_asserted

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling

HEXOKAY must not be asserted in the same cycle as HRESP is asserted

HEXOKAY must not be asserted in the same cycle as HRESP is asserted.

HEXOKAY is not asserted in the same cycle as HRESP is asserted.

HEXOKAY is asserted in the same cycle as HRESP is asserted.

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Exclusive Transfers

Exclusive Response Signaling

ahb5_hexokay_asserted_without_hready_asserted

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling

HEXOKAY must only be asserted in the same cycle as HREADY is asserted

HEXOKAY must only be asserted in the same cycle as HREADY is asserted.

HEXOKAY is asserted when HREADY is asserted.

HEXOKAY is asserted when HREADY is not asserted.

Active/Passive Manager and Passive Subordinate

Group: AHB5
Default severity: ERROR

ERROR

AHB5 Exclusive Transfers

Signal Validity

signal_valid_hexokay_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HEXOKAY must not be X/Z

Checks that HEXOKAY is not X or Z

HEXOKAY is not X or Z

HEXOKAY is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Exclusive Transfers

Outstanding Exclusive Transfers

ahb5_outstanding_exclusive_xact_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that a manager is not staring a new exclusive transaction while there is an outstanding exclusive transaction pending.

Checks that a manager is not staring a new exclusive transaction while there is an outstanding exclusive transaction pending

Exclusive manager has no outstanding transaction pending

Exclusive manager has an outstanding transaction pending

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Outstanding Exclusive Transfers

ahb5_exclusive_xact_overlap_with_another_exclusive_sequence_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that a manager must not permit an Exclusive read transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence

Checks that manager is not permit an Exclusive transaction to be in progress at the same time as any transaction that registers that it is performing an Exclusive sequence

Exclusive transfer is not related to another sequence

Exclusive transfer is related to another sequence

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE
The scenarios that this check gets performed are already take care by ahb5_outstanding_exclusive_xact_check
This ahb5_exclusive_xact_overlap_with_another_exclusive_sequence_check will be deprecated in the future releases

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_no_busy_transfer_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that no busy transfers is generated same for exclusive accesss READ and WRITE transactions.

Checks that exclusive read transfer's and exclusive write transfer's number of busy cycles are zero

Exclusive read transfer and exclusive write transfer number of busy cycles are zero

Exclusive read transfer and exclusive write transfer number of busy cycles are note zero

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_prot_type_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that prot type is generated same for exclusive accesss READ and WRITE transactions.

Checks that exclusive read transfer's and exclusive write transfer's prot type match

Exclusive read transfer and exclusive write transfer prot type are same

Exclusive read transfer and exclusive write transfer prot type are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_burst_type_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that burst type is generated same for exclusive accesss READ and WRITE transactions.

Checks that exclusive read transfer's and exclusive write transfer's burst types match

Exclusive read transfer and exclusive write transfer burst types are same

Exclusive read transfer and exclusive write transfer burst types are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_burst_size_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that burst size is generated same for exclusive accesss READ and WRITE transactions.

Checks that exclusive read transfer's and exclusive write transfer's burst sizes match

Exclusive read transfer and exclusive write transfer burst sizes are same

Exclusive read transfer and exclusive write transfer burst sizes are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_burst_length_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that burst length is generated same for exclusive accesss READ and WRITE transactions.

Checks that exclusive read transfer's and exclusive write transfer's burst lengths match

Exclusive read transfer and exclusive write transfer burst lengths are same

Exclusive read transfer and exclusive write transfer burst lengths are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_id_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that the bits of the HMASTER signal that are used to identify the Exclusive-capable thread must be the same for all Exclusive transactions from the same Exclusive-capable thread. In other words, it checks that same exclusive thread is used for exclusive access READ and WRITE transactions

Checks that id is generated same for exclusive read and write transactions

Exclusive read transfer and exclusive write exclusive thread id are same

Exclusive read transfer and exclusive write exclusive thread id are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Access Pair

ahb5_exclusive_read_write_addr_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.4 Exclusive Transfer restrictions

Checks that address is generated same for exclusive accesss READ and WRITE transactions

Checks that exclusive read transfer's and exclusive write transfer's addresses matches

Exclusive read transfer and exclusive write transfer addresses are same

Exclusive read transfer and exclusive write transfer addresses are different

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Signal Validity

signal_valid_hexcl_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HEXCL must not be X/Z

Checks that HEXCL is not X or Z

HEXCL is not X or Z

HEXCL is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Exclusive Transfers

Exclusive Response Signaling

ahb5_exclusive_write_response_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling

Checks that response generated for exclusive write accesss is correct

Checks that response generated for exclusive write access is correct

Exclusive write transfer gives expected exclusive write response

Exclusive write transfer does not give expected exclusive write response

Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB5 Exclusive Transfers

Exclusive Response Signaling

ahb5_exclusive_read_response_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 10.3.1 Exclusive access response signaling

Checks that response generated for exclusive read accesss is correct

Checks that response generated for exclusive read access is correct

Exclusive read transfer gives expected exclusive read response

Exclusive read transfer does not give expected exclusive read response

Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: exclusive_access_enable is set to svt_ahb_configuration :: AHB5_EXCL_TRUE

ERROR

AHB_FULL

Two Cycle Response

two_cycle_retry_resp

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

RETRY response was not completed in two cycles.

Checks that RETRY response completes in two cycles

RETRY response completes in two cycles

RETRY response was not completed in two cycles

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Two Cycle Response

two_cycle_split_resp

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

SPLIT response was not completed in two cycles.

Checks that SPLIT response completes in two cycles

SPLIT response completes in two cycles

SPLIT response was not completed in two cycles

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Transfer Type

htrans_not_idle_or_nseq_during_no_grant

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access

Manager should drive HTRANS to IDLE or NSEQ when it does not have access to the bus.

Checks that manager drives HTRANS to IDLE or NSEQ when it does not have access to the bus

Manager drives HTRANS to IDLE or NSEQ when it does not have access to the bus

Manager not driving HTRANS to IDLE or NSEQ when it does not have access to the bus

Passive Manager

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Transfer Type

htrans_not_changed_to_idle_during_retry

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

HTRANS did not change to IDLE during RETRY response.

Checks that HTRANS changes to IDLE during second cycle of RETRY response

HTRANS changed to IDLE during RETRY response

HTRANS was not changed to IDLE during RETRY response

Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Transfer Type

htrans_not_changed_to_idle_during_split

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

HTRANS did not change to IDLE during SPLIT response.

Checks that HTRANS changes to IDLE during second cycle of SPLIT response

HTRANS changed to IDLE during SPLIT response

HTRANS was not changed to IDLE during SPLIT response

Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Signal Validity

signal_valid_hbusreq_check

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access

HBUSREQ must not be X/Z

Checks that HBUSREQ is not X or Z

HBUSREQ does not contain any X or Z bits

HBUSREQ contains X or Z bits

Passive Manager

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_FULL

Rebuild Transaction

rebuild_xact_with_valid_combination_of_bursts

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry

Manager should restart an interrupted burst with a valid combination of bursts.

Checks that the manager restarted an interrupted burst with a valid combination of bursts

Manager restarted an interrupted burst with a valid combination of bursts

Manager not restarted an interrupted burst with a valid combination of bursts

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.

ERROR

AHB_FULL

Rebuild Transaction

rebuild_xact_with_expected_addr

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry

Manager should restart an interrupted burst from the address of the aborted beat.

Checks that the manager restarted an interrupted burst from the address of the aborted beat

Manager restarted an interrupted burst from the address of the aborted beat

Manager not restarted an interrupted burst from the address of the aborted beat

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.

ERROR

AHB_FULL

Response Type

hsplit_asserted_for_non_split_master

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers

Subordinate should not assert HSPLIT corresponding to a manager it has not split earlier.

Checks that HSPLIT is not asserted for a manager that has not SPLIT earlier.

HSPLIT is not asserted for a manager that has not SPLIT earlier.

HSPLIT is asserted for a manager that has not SPLIT earlier.

Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Response Type

hsplit_asserted_for_one_cycle

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers

Subordinate should assert a bit of HSPLIT only for one clock cycle

Checks that HSPLIT is asserted for only one clock cycle

HSPLIT is asserted for only one clock cycle

HSPLIT is not asserted for only one clock cycle

Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Transfer Type

htrans_not_changed_to_idle_during_retry

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

HTRANS did not change to IDLE during RETRY response.

Checks that HTRANS changes to IDLE during second cycle of RETRY response

HTRANS changed to IDLE during RETRY response

HTRANS was not changed to IDLE during RETRY response

Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Transfer Type

htrans_not_changed_to_idle_during_split

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response

HTRANS did not change to IDLE during SPLIT response.

Checks that HTRANS changes to IDLE during second cycle of SPLIT response

HTRANS changed to IDLE during SPLIT response

HTRANS was not changed to IDLE during SPLIT response

Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_FULL

Bus Grant

illegal_hgrant_on_split_resp

AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers

Manager should lose the bus once it gets the split response from the subordinate.

Checks that manager loses the bus once it gets the split response from the subordinate.

Manager loses the bus once it gets the split response from the subordinate

Manager didn't lose the bus during the split response from the subordinate

Active/Passive Manager

Group: AHB
Default severity: ERROR
Check is constructed only when num_masters > 1

ERROR

AHB_FULL

Signal Validity

signal_valid_hgrant_check

AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list

HGRANT must not be X/Z

Checks that HGRANT is not X or Z

HGRANT does not contain any X or Z bits

HGRANT contains X or Z bits

Active/Passive Manager

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB_FULL

Signal Validity

signal_valid_hmaster_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HMASTER must not be X/Z

Checks that HMASTER is not X or Z

HMASTER is not X or Z

HMASTER is X or Z

Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This is performed in full-AHB mode.
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_Lite

Response Type

ahb_lite_split_response

AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses

SPLIT response was received when configured as AHB Lite system.

Checks that SPLIT responses are not received when configured for AHB Lite

SPLIT responses are not received when configured for AHB Lite

SPLIT responses are received when configured for AHB Lite

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

AHB_Lite

Response Type

ahb_lite_retry_response

AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses

RETRY response was received when configured as AHB Lite system.

Checks that RETRY responses are not received when configured for AHB Lite

RETRY responses are not received when configured for AHB Lite

RETRY responses are received when configured for AHB Lite

Active/Passive Manager and Passive Subordinate

Group: AHB
Default severity: ERROR

ERROR

ARM11/AHB_V6 Exclusive Accesses

Two Cycle Response

two_cycle_xfail_resp

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.3.1 Exclusive Access Protocol

XFAIL response was not completed in two cycles.

Checks that XFAIL response completes in two cycles

XFAIL response completes in two cycles

XFAIL response does not completed in two cycles

Active Manager

Group: AHB_V6
Default severity: ERROR
Applicable for AHB_V6 extention AHB_LITE

ERROR

ARM11/AHB_V6 Unaligned Transfers

Valid Unaligned Transfer

valid_unaligned_transfer

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1.2 Burst, Unaligned accesses and Byte Lane Strobes

HUNALIGN should be asserted for an unaligned transfer

Checks that HUNALIGN signal is correctly set for unaligned transfers. Based on ARMv6 AMBA Extension Spec (Document No: PR022-GENC-001011) section 3.1.2, example 3.1.2.2 in the document and ARM discussions following items are mandatory.

It would be mandatory for any initiator using the ARM11 extensions generating an unaligned AHB transfer to drive HUNALIGN=1
If HUNALIGN=0 it tells the target that HADDR will be fully AHB v2.0 compliant and HADDR will be aligned to HSIZE

HUNALIGN is 1 for the unaligned transfer

HUNALIGN is 0 for the unaligned transfer

Passive Manager and Active/Passive Subordinate

Group: AHB_V6
Default severity: ERROR
Applicable for AHB_V6 extention AHB_LITE

ERROR

ARM11/AHB_V6 Unaligned Transfers

Signal Stability

hunalign_changed_during_transfer

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes

HUNALIGN should not change in middle of a transfer

Checks that HUNALIGN output signal from manager dosenot changes its value in middle of a transfer

HUNALIGN is stable in a transfer

HUNALIGN is not stable in a transfer

Passive Manager and Active/Passive Subordinate

Group: AHB_V6
Default severity: ERROR
Applicable for AHB_V6 extention AHB_LITE

ERROR

ARM11/AHB_V6 Unaligned Transfers

Valid Byte Lane Strobes

valid_byte_lane_for_hbstrb

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes

HRDATA/HWDATA byte lanes corresponding to HBSTRB should be selected

Checks that HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB signal which have value 1

HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB

Invalid HRDATA/HWDATA byte lanes are selected corresponding to bits HBSTRB

Passive Manager and Active/Passive Subordinate

Group: AHB_V6
Default severity: ERROR
Applicable for AHB_V6 extention AHB_LITE

ERROR

ARM11/AHB_V6 Unaligned Transfers

Signal Validity

signal_valid_hunalign_check

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes

HUNALIGN must not be X/Z

Checks that HUNALIGN is not X or Z

HUNALIGN is not X or Z

HUNALIGN is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB_V6
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
Applicable for AHB_V6 extention AHB_LITE
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

ARM11/AHB_V6 Unaligned Transfers

Signal Validity

signal_valid_hbstrb_check

ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes

HBSTRB must not be X/Z

Checks that HBSTRB is not X or Z

HBSTRB does not contain any X or Z bits

HBSTRB contains X or Z bits

Passive Manager and Active/Passive Subordinate

Group: AHB_V6
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
Applicable for AHB_V6 extention AHB_LITE
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB5 Write Strobes

Signal Stability

ahb5_hwstrb_changed_during_wait_state

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.5 Write strobes

HWSTRB changed during wait state.

Checks that write strobes (HWSTRB) does not change during waited writes

HWSTRB is stable during the waited write transfer

HWSTRB is changed during the waited write transfer

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.

ERROR

AHB5 Write Strobes

Signal Validity

ahb5_signal_valid_hwstrb_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HWSTRB must not be X/Z

Checks that HWSTRB is not X or Z

HWSTRB is not X or Z

HWSTRB is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When AHB5 is enabled and svt_ahb_configuration :: write_strobes_enable is set to svt_ahb_configuration :: AHB5_WRITE_STROBES_TRUE this check is performed.

ERROR

AHB5 Extended Memory Types

Signal Validity

signal_valid_hprot_ex_range_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.9 Memory types

HPROT signal is not having the valid value

Checks that Extended_Memory_Type supporting HPROT[6:2] is having valid values

HPROT[6:2] value is in valid range

HPROT[6:2] value is not in valid range

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.

ERROR

AHB5 Secure Transfers

Signal Validity

signal_valid_hnonsec_check

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules

HNONSEC must not be X/Z

Checks that HNONSEC is not X or Z

HNONSEC is not X or Z

HNONSEC is X or Z

Passive Manager and Active/Passive Subordinate

Group: AHB5
Default severity: ERROR
When svt_ahb_configuration :: signal_valid_during_reset_checks_enable is set to 1, this check is performed during reset.
During IDLE cycles, this check can be disabled by setting svt_ahb_configuration :: control_idle_value to INACTIVE_X_VAL or INACTIVE_Z_VAL.

ERROR

AHB_Lite_Multilayer

Rebuild Transaction

rebuild_xact_with_valid_combination_of_bursts

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination

Manager should restart an interrupted burst with a valid combination of bursts.

Checks that the manager restarted an interrupted burst with a valid combination of bursts

Manager restarted an interrupted burst with a valid combination of bursts

Manager not restarted an interrupted burst with a valid combination of bursts

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.

ERROR

AHB_Lite_Multilayer

Rebuild Transaction

rebuild_xact_with_expected_addr

AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination

Manager should restart an interrupted burst from the address of the aborted beat.

Checks that the manager restarted an interrupted burst from the address of the aborted beat

Manager restarted an interrupted burst from the address of the aborted beat

Manager not restarted an interrupted burst from the address of the aborted beat

Passive Manager and Active/Passive Subordinate

Group: AHB
Default severity: ERROR
This check is performed when there is an active rebuilding transaction due to Early Burst Termination (EBT) occurred for AHB-Full system (svt_ahb_system_configuration :: ahb_lite = 0) or AHB Multilayer system (svt_ahb_system_configuration :: ahb_lite_multilayer = 1) with subordinate configuration svt_ahb_slave_configuration :: rebuild_after_multilayer_interconnect_termination is enabled.

ERROR

VIP Smartsearch

AHB SVT UVM Documentation - Protocol Checks Defined in VIP

Product: amba_svt - Protocol Checks Details:

All Group Sub Group Protocol Check Instance name Reference Description Check Intent Pass Condition Fail Condition Applicable Device Type Additional Information Error Category Protocol Check Class

VIP Smartsearch

AHB SVT UVM Documentation - Protocol Checks Defined in VIP

Product: amba_svt - Protocol Checks Details:

Show/Hide All Group Sub Group Protocol Check Instance name Reference Description Check Intent Pass Condition Fail Condition Applicable Device Type Additional Information Error Category Protocol Check Class

All Group Sub Group Protocol Check Instance name Reference Description Check Intent Pass Condition Fail Condition Applicable Device Type Additional Information Error Category Protocol Check Class