How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Inheritance diagram for class svt_ahb_configuration:
The base configuration class contains configuration information which is applicable to individual AHB master or slave components in the system component. Some of the important information provided by port configuration class is:
Class Member Groupings | |
| Attributes related to AHB5 mode | This group contains attributes which are used to control exclusive access. |
| Configuration parameters for AHB_V6 Unaligned Transfers | This group contains attributes which are used to configure parameters related to the unaligned transfers support in AHB_V6. |
| Performance Analysis configuration parameters | This group contains attributes which are used to monitor performance of a system based on measurement of latencies, throughput etc. The user sets the performance constraints through performance analysis configuration parameters and the VIP reports any violations on these constraints. The time unit for all these parameters is the simulation time unit. Performance metrics that involve aggregation of values over a time period are measured over time intervals specified using configuration parameter perf_recording_interval. Measurement of other performance parameters that do not require aggregation of values over a time period are not affected by this configuration parameter. VIP reports statistics for each performance metric for each time interval. Each performance parameter can be enabled or disabled at any time. Monitoring of a performance parameter is disabled by passing a value of -1 to the parameter. Passing any other value enables the performance parameter for measurement. If a value other than -1 is supplied, it will take effect at the next time interval. If the performance configuration parameter values are changed during simulation, the new configuration will need to be passed to the VIP using the reconfigure() method of the top level VIP component, for eg. reconfigure() method of AHB System Env will need to be called if AHB system Env is used as top level component. |
| Coverage and protocol checks related configuration parameters | This group contains attributes which are used to enable and disable coverage and protocol checks |
| Signal value configuration parameters during BUSY | This group contains attributes which are used to configure values of signals during BUSY |
| Signal idle value configuration parameters | This group contains attributes which are used to configure idle values of signals |
| AHB signal width configuration parameters | This group contains attributes which are used to configure signal width of AHB signals |
| Timeout parameters | This group contains attributes related to timeouts |
| Address map | This group contains attributes and methods which are used to configure address map |
| TLM GP configuration parameters | This group contains TLM GP related configuration parameters |
| Protocol Analyzer related parameters | This group contains configuration parameters related to Protocol Analyzer |
| Generic configuration parameters | This group contains generic configuration parameters |
Public Member Functions | |
| function void | new ( string name = "svt_ahb_configuration" ) |
| function int | reasonable_constraint_mode ( bit on_off ) |
| function int | static_rand_mode ( bit on_off ) |
Public Attributes | |
| svt_ahb_configuration :: idle_val_enum | addr_idle_value |
| rand int | addr_width = SVT_AHB_MAX_ADDR_WIDTH; |
| int | amba_system_port_id = -1; |
| rand bit | combine_unaligned_transfer_beat_values = 1; |
| rand bit | control_huser_enable = 0; |
| rand int | control_huser_width = SVT_AHB_MAX_USER_WIDTH; |
| svt_ahb_configuration :: idle_val_enum | control_idle_value |
| svt_ahb_configuration :: busy_val_enum | data_busy_value |
| rand bit | data_huser_enable = 0; |
| rand int | data_huser_width = SVT_AHB_MAX_DATA_USER_WIDTH; |
| svt_ahb_configuration :: idle_val_enum | data_idle_value |
| rand int | data_width = SVT_AHB_MAX_DATA_WIDTH; |
| svt_amba_addr_mapper | dest_addr_mappers [] |
| bit | enable_ebt_for_incr = 1; |
| bit | enable_reporting = 1'b0; |
| bit | enable_tracing = 1'b0; |
| bit | enable_xml_gen = 0; |
| rand bit | end_incr_with_busy = 0; |
| bit | extended_mem_enable = 0; |
| bit | initialize_output_signals_at_start = 1'b0; |
| svt_ahb_configuration :: invariant_mode_enum | invariant_mode |
| bit | is_active = 1; |
| bit | nseq_during_last_beat_second_cycle_error = 0; |
| bit | pass_check_cov = 1; |
| svt_amba_addr_mapper :: path_cov_dest_names_enum | path_cov_slave_names[$] |
| format_type_enum | pa_format_type |
| int | port_id |
| bit | protocol_checks_coverage_enable = 0; |
| bit | protocol_checks_enable = 1; |
| bit | retain_data_bus_val = 1; |
| bit | secure_enable = 0; |
| bit | signal_valid_during_reset_checks_enable = 1; |
| bit | silent_mode = 0; |
| svt_ahb_slave_addr_range | slave_addr_ranges [] |
| svt_amba_addr_mapper | source_addr_mappers [] |
| string | source_requester_name |
| bit | state_coverage_enable = 0; |
| bit | toggle_coverage_enable = 0; |
| string | trace_file_name = ""; |
| bit | transaction_coverage_enable = 0; |
| bit | trans_ahb_beat_hresp_transistion_abort_on_error_ahb_full_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_abort_on_error_ahb_lite_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_continue_on_error_ahb_full_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_continue_on_error_ahb_lite_enable = 1; |
| bit | trans_ahb_full_hresp_first_beat_ahb_lite_enable = 1; |
| bit | trans_ahb_full_hresp_first_beat_enable = 1; |
| bit | trans_ahb_hburst_transition_enable = 1; |
| bit | trans_ahb_hmaster_enable = 1; |
| bit | trans_ahb_hready_in_when_hsel_high_enable = 1; |
| bit | trans_ahb_hresp_all_beat_ahb_full_enable = 1; |
| bit | trans_ahb_hresp_all_beat_ahb_lite_enable = 1; |
| bit | trans_ahb_htrans_cov_diff_xact_ahb_full_enable = 1; |
| bit | trans_ahb_htrans_transition_read_xact_enable = 1; |
| bit | trans_ahb_htrans_transition_read_xact_hready_enable = 1; |
| bit | trans_ahb_htrans_transition_write_xact_enable = 1; |
| bit | trans_ahb_htrans_transition_write_xact_hready_enable = 1; |
| bit | trans_ahb_idle_to_nseq_hready_low_enable = 1; |
| bit | trans_cross_ahb_burst_incr_number_of_beats_enable = 1; |
| bit | trans_cross_ahb_burst_with_busy_enable = 1; |
| bit | trans_cross_ahb_burst_wrapped_addr_boundary_enable = 1; |
| bit | trans_cross_ahb_hburst_enable = 1; |
| bit | trans_cross_ahb_hburst_haddr_enable = 1; |
| bit | trans_cross_ahb_hburst_haddr_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_hlock_enable = 1; |
| bit | trans_cross_ahb_hburst_hlock_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_hnonsec_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot0_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot1_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot2_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot3_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot3_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot4_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot5_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot6_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hresp_enable = 1; |
| bit | trans_cross_ahb_hburst_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_num_wait_cycles_enable = 1; |
| bit | trans_cross_ahb_htrans_xact_enable = 1; |
| bit | trans_cross_ahb_num_busy_cycles_enable = 1; |
| bit | trans_cross_ahb_num_wait_cycles_enable = 1; |
| bit | trans_cross_ahb_page_boundary_size_enable = 1; |
| bit | trans_cross_ahb_size_addr_align_enable = 1; |
| int | wait_state_timeout = 0; |
| int | xact_timeout = 0; |
Member Typedefs | |
| typedef enum | busy_val_enum |
| typedef enum | idle_val_enum |
| typedef enum | invariant_mode_enum |
Constraints | |
| constraint | reasonable_addr_width ( ) |
| constraint | reasonable_data_width ( ) |
| constraint | valid_ranges ( ) |
Class Member Groupings | |
Group: Attributes related to AHB5 mode | |
| This group contains attributes which are used to control exclusive access. | |
Group: Configuration parameters for AHB_V6 Unaligned Transfers | |
| This group contains attributes which are used to configure parameters related to the unaligned transfers support in AHB_V6. | |
| rand bit | combine_unaligned_transfer_beat_values = 1; |
Group: Performance Analysis configuration parameters | |
| This group contains attributes which are used to monitor performance of a system based on measurement of latencies, throughput etc. The user sets the performance constraints through performance analysis configuration parameters and the VIP reports any violations on these constraints. The time unit for all these parameters is the simulation time unit. Performance metrics that involve aggregation of values over a time period are measured over time intervals specified using configuration parameter perf_recording_interval. Measurement of other performance parameters that do not require aggregation of values over a time period are not affected by this configuration parameter. VIP reports statistics for each performance metric for each time interval. Each performance parameter can be enabled or disabled at any time. Monitoring of a performance parameter is disabled by passing a value of -1 to the parameter. Passing any other value enables the performance parameter for measurement. If a value other than -1 is supplied, it will take effect at the next time interval. If the performance configuration parameter values are changed during simulation, the new configuration will need to be passed to the VIP using the reconfigure() method of the top level VIP component, for eg. reconfigure() method of AHB System Env will need to be called if AHB system Env is used as top level component. | |
Group: Coverage and protocol checks related configuration parameters | |
| This group contains attributes which are used to enable and disable coverage and protocol checks | |
| bit | pass_check_cov = 1; |
| bit | protocol_checks_coverage_enable = 0; |
| bit | protocol_checks_enable = 1; |
| bit | signal_valid_during_reset_checks_enable = 1; |
| bit | state_coverage_enable = 0; |
| bit | toggle_coverage_enable = 0; |
| bit | transaction_coverage_enable = 0; |
| bit | trans_ahb_beat_hresp_transistion_abort_on_error_ahb_full_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_abort_on_error_ahb_lite_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_continue_on_error_ahb_full_enable = 1; |
| bit | trans_ahb_beat_hresp_transistion_continue_on_error_ahb_lite_enable = 1; |
| bit | trans_ahb_full_hresp_first_beat_ahb_lite_enable = 1; |
| bit | trans_ahb_full_hresp_first_beat_enable = 1; |
| bit | trans_ahb_hburst_transition_enable = 1; |
| bit | trans_ahb_hmaster_enable = 1; |
| bit | trans_ahb_hready_in_when_hsel_high_enable = 1; |
| bit | trans_ahb_hresp_all_beat_ahb_full_enable = 1; |
| bit | trans_ahb_hresp_all_beat_ahb_lite_enable = 1; |
| bit | trans_ahb_htrans_cov_diff_xact_ahb_full_enable = 1; |
| bit | trans_ahb_htrans_transition_read_xact_enable = 1; |
| bit | trans_ahb_htrans_transition_read_xact_hready_enable = 1; |
| bit | trans_ahb_htrans_transition_write_xact_enable = 1; |
| bit | trans_ahb_htrans_transition_write_xact_hready_enable = 1; |
| bit | trans_ahb_idle_to_nseq_hready_low_enable = 1; |
| bit | trans_cross_ahb_burst_incr_number_of_beats_enable = 1; |
| bit | trans_cross_ahb_burst_with_busy_enable = 1; |
| bit | trans_cross_ahb_burst_wrapped_addr_boundary_enable = 1; |
| bit | trans_cross_ahb_hburst_enable = 1; |
| bit | trans_cross_ahb_hburst_haddr_enable = 1; |
| bit | trans_cross_ahb_hburst_haddr_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_hlock_enable = 1; |
| bit | trans_cross_ahb_hburst_hlock_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_hnonsec_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot0_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot1_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot2_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot3_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot3_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot4_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot5_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hprot6_ex_enable = 1; |
| bit | trans_cross_ahb_hburst_hresp_enable = 1; |
| bit | trans_cross_ahb_hburst_hsize_enable = 1; |
| bit | trans_cross_ahb_hburst_num_wait_cycles_enable = 1; |
| bit | trans_cross_ahb_htrans_xact_enable = 1; |
| bit | trans_cross_ahb_num_busy_cycles_enable = 1; |
| bit | trans_cross_ahb_num_wait_cycles_enable = 1; |
| bit | trans_cross_ahb_page_boundary_size_enable = 1; |
| bit | trans_cross_ahb_size_addr_align_enable = 1; |
Group: Signal value configuration parameters during BUSY | |
| This group contains attributes which are used to configure values of signals during BUSY | |
| svt_ahb_configuration :: busy_val_enum | data_busy_value |
Group: Signal idle value configuration parameters | |
| This group contains attributes which are used to configure idle values of signals | |
| svt_ahb_configuration :: idle_val_enum | addr_idle_value |
| svt_ahb_configuration :: idle_val_enum | control_idle_value |
| svt_ahb_configuration :: idle_val_enum | data_idle_value |
| bit | retain_data_bus_val = 1; |
Group: AHB signal width configuration parameters | |
| This group contains attributes which are used to configure signal width of AHB signals | |
| rand int | addr_width = SVT_AHB_MAX_ADDR_WIDTH; |
| rand int | control_huser_width = SVT_AHB_MAX_USER_WIDTH; |
| rand int | data_huser_width = SVT_AHB_MAX_DATA_USER_WIDTH; |
| rand int | data_width = SVT_AHB_MAX_DATA_WIDTH; |
Group: Timeout parameters | |
| This group contains attributes related to timeouts | |
| int | wait_state_timeout = 0; |
| int | xact_timeout = 0; |
Group: Address map | |
| This group contains attributes and methods which are used to configure address map | |
| svt_amba_addr_mapper | dest_addr_mappers [] |
| svt_ahb_slave_addr_range | slave_addr_ranges [] |
| svt_amba_addr_mapper | source_addr_mappers [] |
Group: TLM GP configuration parameters | |
| This group contains TLM GP related configuration parameters | |
Group: Protocol Analyzer related parameters | |
| This group contains configuration parameters related to Protocol Analyzer | |
| bit | enable_xml_gen = 0; |
| format_type_enum | pa_format_type |
Group: Generic configuration parameters | |
| This group contains generic configuration parameters | |
| int | amba_system_port_id = -1; |
| rand bit | control_huser_enable = 0; |
| rand bit | data_huser_enable = 0; |
| bit | enable_ebt_for_incr = 1; |
| rand bit | end_incr_with_busy = 0; |
| bit | extended_mem_enable = 0; |
| bit | initialize_output_signals_at_start = 1'b0; |
| svt_ahb_configuration :: invariant_mode_enum | invariant_mode |
| bit | is_active = 1; |
| bit | nseq_during_last_beat_second_cycle_error = 0; |
| int | port_id |
| bit | secure_enable = 0; |
| bit | silent_mode = 0; |
|
||||||
CONSTUCTOR: Create a new configuration instance, passing the appropriate argument values to the parent class.
name - Instance name of the configuration | ||||||
|
|
||||||||||
Turns ON or OFF all of the "reasonable" randomize constraints for this class. Note that "valid_ranges" constraint is not disabled. This method returns -1 if it fails.
| ||||||||||
|
|
||||||||||
Method to turn static config param randomization on/off as a block.
| ||||||||||
|
|
|
This configuration parameter controls the values driven on the address bus by the AHB master model when the address bus is inactive. This helps in detecting any issue in the RTL which is sampling the address bus at an incorrect clock edge. Note that during reset, addr will be driven to a value of zero irrespective of this parameter setting Also this parameter will not be effective when xact_type is set to idle_xact. |
|
|
Address width of this port in bits.
Configuration type: Static |
|
|
A unique ID assigned to master/slave port corresponding to this port configuration. This ID must be unique across all AMBA components instantiated in the testbench. This is currently applicable only when the AMBA system monitor is used and is configured using a configuration plain text file (as opposed to a SystemVerilog code that sets the configuration).
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
The AHB_V6 extension supports unaligned transfers. In case of an unaligned address access (which crosses the bus-width boundary) must be split into 2 accesses resulting an addtional transfer. For example, an INCR4 burst starting from an unaligned address can have 5 transfers.
This attribute provides configuration support to combine or separate the addtional beat level values in transaction object. This is currently applicable for data and all_beat_response arrays additional beat in their transfers.
Applicable : Active Manager |
|
|
Enables control_huser sideband signal in the VIP. control_huser signal can be used when ahb_interface_type is set to AHB or AHB_LITE.
Configuration type: Static Note: Though control_huser, hwdata_huser, hrdata_huser were added in AHB VIP prior to AHB5 specification, since there was no protocol requirements from the specification point of view prior to AHB5, no protocol checks were added on these signals. Now that AHB5 specification specifies the requirements on these user signals, the AHB5 compliant AHB VIP supports corresponding protocol checks. |
|
|
Defines the width of AHB control sideband signal control_huser for specific master or slave.
Configuration type: Static |
|
|
This configuration parameter controls the values driven on the following AHB control signals by AHB master, slave drivers in active mode:
Note that when reset is active, the above signals will be driven to a value of zero irrespective of this parameter setting Following are the different Idle conditions
|
|
|
Used by the AHB master and slave models. This configuration parameter controls the values driven on the:
|
|
|
Enables hwdata_huser and hrdata_huser sideband signals in the VIP. data_huser signal can be used when ahb_interface_type is set to AHB or AHB_LITE.
Note: Though control_huser, hwdata_huser, hrdata_huser were added in AHB VIP prior to AHB5 specification, since there was no protocol requirements from the specification point of view prior to AHB5, no protocol checks were added on these signals. Now that AHB5 specification specifies the requirements on these user signals, the AHB5 compliant AHB VIP supports corresponding protocol checks. |
|
|
Defines the width of AHB data sideband signals hwdata_huser and hrdata_huser for specific master or slave.
Configuration type: Static |
|
|
Used by the AHB master, slave models. This configuration parameter controls the values driven on the:
|
|
|
Data width of this port in bits.
Configuration type: Static |
|
|
Address map that maps global address to a local address at destination Typically applicable to slave components Applicable only if svt_ahb_system_configuration :: enable_complex_memory_map is set
|
|
|
This configuration parameter makes sure that if master looses grant during INCR burst type transfer, the transaction is not treated as EBT. Value 1 means that the transaction will be treated as EBT. VAlue 0 means that the transaction will not be treated as EBT. Applicable for : passive master, active/passive slave. .
|
|
|
Determines if transaction reporting is enabled.
type: Static |
|
|
Determines if the transaction trace file generation is enabled.
type: Static |
|
|
Determines if Verdi Protocol Analyzer FSDB generation is enabled. type: Static
|
|
|
Enables termination of INCR burst with BUSY transfer. When default to 0, driving of BUSY after last beat for INCR burst is not allowed. When set to 1, driving of BUSY cycles after last beat in INCR burst is allowed. Thus terminating of INCR burst with BUSY transfer changing HTRANS to NONSEQ/IDLE is achieved. When end_incr_with_busy is 1 either in AHB3 mode, svt_ahb_system_configuration :: ahb3=1 or in AHB5 mode, svt_ahb_system_configuration :: ahb5=1 change of HTRANS from BUSY to either NSEQ/IDLE is allowed. Currently applicable in AHB-Lite mode configuration, svt_ahb_system_configuration :: ahb_lite = 1. In AHB-Full mode, this is supported only when svt_ahb_configuration :: enable_ebt_for_incr = 0. A transaction with this feature enabled and having burst length greater than or equal to 1 should not target the last address location of the slave as there is a possibility of crossing the slave boundary. There are constraints and is_valid check in the master transaction class will take care of 1KB boundary crossing with this feature enabled. With the feature enabled the busy cycle for the last beat of the INCR burst has to be programed with nonzero value. Configuration type : Static Applicable : Active Master and Passive Master
|
|
|
This configuration parameter defines the AHB5 extended memory types property being defined / enabled or not when 'ahb5' of system configuration is asserted.
Note:
|
|
|
Specifies whether output signals from master/slave IFs should be initialized to 0 asynchronously at 0 simulation time.
Default value: 0 |
|
|
This configuration parameter defines the invariant modes in AHB5. Applicable for both Read and Write transactions Applicable for both AHB Master/Slave Active/Passive modes Applicable only when svt_ahb_system_configuration :: ahb5=1 and when svt_ahb_system_configuration :: little_endian=0(Big-endian format)
The default value is set to SVT_AHB_CONFIGURATION_NO_INVARIANT indicating little-endian mode without any invariance in ahb5 mode. This is required to maintain backward-compatible When set to SVT_AHB_CONFIGURATION_BYTE_INVARIANT indicates byte-invariant(BE8) mode. When set to SVT_AHB_CONFIGURATION_WORD_INVARIANT indicates word-invariant(BE32) mode. This will enable the user to configure different endian schemes. |
|
|
Specifies if the agent is an active or passive component. Allowed values are:
|
|
|
This configuration attribute is used to achieve following scenario last_beat_tr1 first_beat_tr2 Htrans >> NSEQ1/SEQ1 IDLE/NSEQ2 NSEQ2 Haddr >> ADDR1 0000 ADDR2 Hready >> HIGH LOW HIGH Hresp >> OKAY 1st_ERR 2nd_ERR In order to drive IDLE during first cycle of ERROR response, following sequence has to be driven
|
|
|
When set to '1', enables positive protocol checks coverage. When set to '0', enables negative protocol checks coverage. type: Static
|
|
|
This queue will hold the names of all the slaves, including non-AHB slaves, to which an AHB master can communicate.
|
|
|
Determines in which format the file should write the transaction data. Only following setting is supported: FSDB indicates FSDB format.
|
|
|
A unique ID assigned to the master/slave port corresponding to this port configuration. This ID must be unique across all masters/slaves of the AHB system configuration to which this port belongs. A master and a slave may share the same port_id, but two masters or two slaves cannot share the same port_id. If not assigned by the user, it is auto assigned by the VIP.
|
|
|
Enables protocol checks coverage. type: Dynamic
|
|
|
Enables protocol checking. In a disabled state, no protocol violation messages (error or warning) are issued. type: Dynamic
|
|
|
Used by the AHB master, slave models. This configuration parameter controls the values driven on the:
|
|
|
Slave for which separate secure & non-secure address space is enabled i.e. bit is set to '1', it will accept both secure and non-secure transactions targeted for the same address. However, while updating memory it will use tagged address i.e. address attribute, in this case security bit, will be appended to the original address as the MSB bits. |
|
|
Specifies if the component is enabled to perform signal valid level checks during reset.
Default value: 1 The below listed checks are executed when this attribute is set to 1 under the following conditions: svt_ahb_configuration :: protocol_checks_enable is set to 1 AND the respective checks are enabled. Following are the checks:
Note that when svt_ahb_system_configuration :: common_reset_mode is set to 0, a given VIP component cannot reliably perform the validity checks on it's input signals during the reset. Below are the details: All the signals that are inputs for a given component can be checked for validity during the reset, provided common reset mode is enabled (svt_ahb_system_configuration :: common_reset_mode is set to 1). If the common reset mode is not enabled (svt_ahb_system_configuration :: common_reset_mode is set to 0), different components will have independent input hresetn signals. In such case, during reset for a give component, it's not reliable to perform checks on the input signals as the driving component of such signals need not be in reset. So, under such condition, the checks on input signals will not be performed.
|
|
|
When silent_mode is set to 1, the "Transaction started" and "Transaction ended" messages are printed in UVM_HIGH verbosity. When silent_mode is set to 0, the "Transaction started" and "Transaction ended" messages are printed in UVM_LOW verbosity.
|
|
|
Applicable only to slave VIP Address map for this slave Must be used only if the svt_ahb_system_env and svt_ahb_system_configuration is not used. Typically used in an environment where only one slave VIP is instantiated.
|
|
|
Address map that maps a local address to a global address at a source Typically applicable to master components. However, it can be applicable to a slave component if that is connected downstream through another interconnect/bridge to components which are further downstream. Applicable only if svt_ahb_system_configuration :: enable_complex_memory_map is set
|
|
|
Name of the master as used in path coverage This field can also be used to specify master specific slave address mapping. Refer to the documentation of svt_amba_addr_mapper for more details
|
|
|
Enables state coverage of signals. State Coverage covers all possible states of a signal. type: Dynamic
|
|
|
Enables toggle coverage. Toggle Coverage gives us information on whether a bit toggled from 0 to 1 and back from 1 to 0. This does not indicate that every value of a multi-bit vector was seen, but measures if individual bits of a multi-bit vector toggled. This coverage gives information on whether a system is connected properly or not. type: Dynamic
|
|
|
- Applicable only when enable_tracing is set to 1’b1.
|
|
|
Enables transaction level coverage. type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_beat_hresp_transistion_abort_on_error_ahb_full type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_beat_hresp_transistion_abort_on_error_ahb_lite type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_beat_hresp_transistion_continue_on_error_ahb_full type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_beat_hresp_transistion_continue_on_error_ahb_lite type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_full_hresp_first_beat_ahb_lite type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_full_hresp_first_beat type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_hburst_transition type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_hmaster type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_hready_in_when_hsel_high type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_hresp_all_beat_ahb_full type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_hresp_all_beat_ahb_lite type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_htrans_cov_diff_xact_ahb_full type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_htrans_transition_read_xact type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_htrans_transition_read_xact_hready type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_htrans_transition_write_xact type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_htrans_transition_write_xact_hready type: Static
|
|
|
Enables AHB transaction level coverage group trans_ahb_idle_to_nseq_hready_low type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_burst_incr_number_of_beats type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_burst_with_busy type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_burst_wrapped_addr_boundary type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_haddr type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_haddr_hsize type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hlock type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hlock_hsize type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hnonsec type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hprot0 type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hprot1 type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hprot2 type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hprot3 type: Static
|
|
|
Enables AHB transaction level coverage group, trans_cross_ahb_hburst_hprot3_ex type: Static
|
|
|
Enables AHB transaction level coverage group, trans_cross_ahb_hburst_hprot4_ex type: Static
|
|
|
Enables AHB transaction level coverage group, trans_cross_ahb_hburst_hprot5_ex type: Static
|
|
|
Enables AHB transaction level coverage group, trans_cross_ahb_hburst_hprot6_ex type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hresp type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_hsize type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_hburst_num_wait_cycles type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_htrans_xact type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_num_busy_cycles type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_num_wait_cycles type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_page_boundary_size type: Static
|
|
|
Enables AHB transaction level coverage group trans_cross_ahb_size_addr_align type: Static
|
|
|
Used by the AHB active and passive components. This timer looks at HREADY, when a change occurs, and if sampled LOW the timer task starts counting cycles. HREADY is sampled every clock cycle, and if the number of clock cycles exceeds wait_state_timeout, an error is reported. The integer value wait_state_timeout represents the number of clock cycles. If set to 0, the timer is not started.
|
|
|
Used by the AHB active and passive components. This timer starts when a transaction starts. If the number of clock cycles exceeds xact_timeout and the transaction does not complete by the set time, an error is repoted. The timer is incremented by 1 every clock and is reset when the transaction ends. The integer value xact_timeout represents the number of clock cycles. If set to 0, the timer is not started.
|
|
|
|
|
|
constraint reasonable_addr_width {
addr_width inside { 32, 64 }; } |
|
|
constraint reasonable_data_width {
data_width inside { 8, 16, 32, 64, 128, 256, 512, 1024 }; } |
|
|
constraint valid_ranges {
addr_width <= 32; data_width <= 64; control_huser_width <= 32; control_huser_width >= 1; data_huser_width <= 64; data_huser_width >= 1; } |