arm_vbsa_testcase_checklist.md

VBSA ACS Testcase checklist

The VBSA ACS test checklist is based on VBSA 1.0 specification and VBSA ACS 1.0.0 tag.

The checklist provides information about:

1. The VBSA level at which each test runs.
2. The VBSA rules covered by each test.
3. The VBSA rules that are not currently covered by ACS.
4. The runtime environment (UEFI, BareMetal, or Linux) in which each test executes.
5. The base vBSA rules reference the vBSA ACS scenario document.

Latest checklist changes summarizing the latest checklist changes relative to the latest released tag, is present at end of document.

Level	Spec checklist rule	Subrules	Test number	Test description	UEFI	Linux	Additional Comments
L1	V_L1PE_01			Check vPE architectural compliance
		B_PE_01	1	Check Arch symmetry across PE	✅	❌
		B_PE_02	2	Check for number of PE	✅	❌
		B_PE_03	3	Check for AdvSIMD and FP support	✅	❌
		B_PE_04	4	Check PE 4KB Granule Support	✅	❌
		B_PE_05	Not covered
		B_PE_06	6	Check Cryptographic extensions	✅	❌
		B_PE_07	7	Check Little Endian support	✅	❌
		B_PE_08	8	Check EL1 and EL0 implementation	✅	❌
		B_PE_10	10	Check PMU Overflow signal	✅	❌
		B_PE_13	13	Check CRC32 instruction support	✅	❌
		B_PE_14	16	Check SVE2 for v9 PE	✅	❌
L1	V_L1PE_02		67	Check PMUv3 support in vPE	✅	❌	Related rules from other specifications: B_PE_09 (BSA)
L1	V_L1MM_01			Check VE Mem architectural compliance
		B_MEM_01	102	Mem Access Response in finite time	✅	❌
		B_MEM_02	101	Memory Access to Un-Populated addr	❌	❌	This test is run only on Baremetal environment in BSA ACS
		B_MEM_04	106	Check Addressability when SMMU's off	❌	✅
		B_MEM_05	103	PE must access all NS addr space	✅	❌
		B_MEM_07	Not Covered
L1	V_L1MM_02		104	DMA requestors access to NS addr space	❌	✅	Related rules from other specifications: B_MEM_03 (BSA), B_MEM_06 (BSA)
L1	V_L1GI_01			Check vGIC architectural compliance
		B_GIC_01	201	Check GIC version	✅	❌
		B_GIC_02	202	Check GICv2 Valid Configuration	✅	❌
		B_GIC_03	203	If PCIe, GICv3 then ITS, LPI	✅	❌
		B_GIC_05	205	Non-secure SGIs are implemented	✅	❌
L1	V_L1PP_00			Check VE PPI assignment mapping
		B_PPI_01	206	Check EL1-Phy timer PPI assignment	✅	❌
			207	Check EL1-Virt timer PPI assignment	✅	❌
L1	V_L1SM_01			Check vSMMU architectural compliance
		B_SMMU_01	301	All SMMUs have same Arch Revision	✅	❌
		B_SMMU_02	302	Check SMMU Granule Support	✅	❌
		B_SMMU_06	303	Check SMMU Large Physical Addr Support	✅	❌
		B_SMMU_07	Not Covered
		B_SMMU_12	Not Covered
L1	V_L1SM_02		331	Check SMMU stage 1 support for VE	✅	❌	Related rules from other specifications: B_SMMU_08 (BSA)
L1	V_L1SM_03		Not Covered				Manual testing required
L1	V_L1TM_01		401	Check Virt and Phy counter presence	✅	❌	Related rules from other specifications: B_TIME_01 (BSA)
L1	V_L1TM_02		Not Covered				Related rules from other specifications: B_TIME_02 (BSA)
L1	V_L1TM_03		Not Covered
		B_TIME_03	Not Covered
		B_TIME_04	Not Covered
L1	V_L1TM_04		408	Check uniform passage of time in VE	✅	❌
L1	V_L1WK_01		Not Covered				Related rules from other specifications: B_WAK_01 (BSA)
L1	V_L1WK_02			Check power wakeup interrupts	✅	❌	Related rules from other specifications: B_WAK_03 (BSA)
			501	Wake from EL1 PHY Timer Int	✅	❌
			502	Wake from EL1 VIR Timer Int	✅	❌
L1	V_L1WK_03		Not Covered				Related rules from other specifications: B_WAK_04 (BSA)
L1	V_L1WK_04		Not Covered
		B_WAK_05	Not Covered
		B_WAK_06	Not Covered
L1	V_L1WK_05			Check vPE power state semantics	✅	❌	Related rules from other specifications: B_WAK_07 (BSA)
			501	Wake from EL1 PHY Timer Int	✅	❌
			502	Wake from EL1 VIR Timer Int	✅	❌
L1	V_L1WK_06	B_WAK_08	Not Covered
L1	V_L1WK_07		Not Covered				Related rules from other specifications: B_WAK_09 (BSA)
L1	V_L1WK_08		Not Covered				Related rules from other specifications: B_WAK_10 (BSA)
L1	V_L1WK_09		Not Covered				Related rules from other specifications: B_WAK_11 (BSA)
L1	V_L1PR_01			Check Peripheral arch compliance
		B_PER_01	601	USB CTRL Interface EHCI check	✅	❌
		B_PER_02	608	USB CTRL Interface XHCI check	✅	❌
		B_PER_03	602	Check SATA CTRL Interface	✅	❌
		B_PER_04	Not Covered
		B_PER_05	603	Check UART type Arm Generic or 16550	✅	❌
		B_PER_06	606	Check Arm GENERIC UART Interrupt	✅	❌
		B_PER_09	604	Check Memory Attributes of DMA	❌	✅
		B_PER_10	607	Memory Attribute of I/O coherent DMA	❌	✅
		B_PER_11	Not Covered
		B_PER_12	821	Type 0 config header rules	✅	❌
L1	V_L1PR_02			Check Virt PCIe arch compliance			Related rules from other specifications: B_PER_08 (BSA)
		PCI_IN_01	801	Check ECAM Presence	✅	✅
		PCI_IN_02	802	Check ECAM Memory accessibility	✅	❌
		PCI_IN_03	838	Check all RP in HB is in same ECAM	✅	❌
		PCI_IN_04	803	All EP/Sw under RP in same ECAM Region	✅	❌
		PCI_IN_05	820	Type 0/1 common config rule	✅	❌
			822	Check Type 1 config header rules	✅	❌
			824	Device capabilities reg rule	✅	❌
			825	Device Control register rule	✅	❌
			826	Device cap 2 register rules	✅	❌
			1517	Check BME functionality of RP	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
			833	Check Max payload size supported	✅	❌
		PCI_IN_06	Not covered
		PCI_IN_07	Not covered
		PCI_IN_08	Not Covered
		PCI_IN_09	Not Covered
		PCI_IN_10	Not covered
		PCI_IN_11	1510	Check RP Sec Bus transaction are TYPE0	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_IN_12	837	Check Config Txn for RP in HB	✅	❌
		PCI_IN_13	804	Check RootPort NP Memory Access	✅	❌
			805	Check RootPort P Memory Access	✅	❌
		PCI_IN_14	Not Covered
		PCI_IN_15	Not Covered
		PCI_IN_16	808	Check all 1's for out of range	✅	❌
		PCI_IN_17	836	Check ARI forwarding enable rule	✅	❌
			1515	Check ARI forwarding enable rule	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_IN_18	811	Check RP Byte Enable Rules	✅	❌
		PCI_IN_19	830	Check Cmd Reg memory space enable	✅	❌
			831	Check Type0/1 BIST Register rule	✅	❌
			832	Check HDR CapPtr Register rule	✅	❌
		PCI_IN_20	809	Vendor specific data is PCIe compliant	✅	❌
		PCI_MM_01	845	PCIe Device Memory mapping support	❌	✅
			1516	PCIe Device Memory access check	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_MM_03	894	PCIe Normal Memory mapping support	❌	✅
			1539	PCIe Normal Memory access check	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_MM_04	Not Covered
		PCI_MM_05	895	PCIe & PE common physical memory view	❌	✅
		PCI_MM_06	Not covered
		PCI_MM_07	905	No extra address translation	❌	✅
		PCI_MSI_1	839	Check MSI support for PCIe dev	✅	❌	MSI/MSI-X support required
		PCI_MSI_2	897	Check MSI=X vectors uniqueness	❌	✅	MSI/MSI-X support required
			1533	MSI(-X) triggers intr with unique ID	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_LI_01	806	Check Legacy Interrupt is SPI	✅	❌
		PCI_LI_02	896	PCI legacy intr SPI ID unique	❌	✅
			1506	Generate PCIe legacy interrupt	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_LI_03	823	Check Legacy Intr SPI level sensitive	✅	❌
		PCI_LI_04	Not covered
		PCI_SM_01	Not covered
		PCI_SM_02	835	Check Function level reset	✅	❌
		PCI_IC_11	868	PCIe RC,PE - Same Inr Shareable Domain	✅	❌
		PCI_IC_12	Not covered
		PCI_IC_13	Not covered
		PCI_IC_14	Not covered
		PCI_IC_15	Not covered
		PCI_IC_16	Not covered
		PCI_IC_17	Not covered
		PCI_IC_18	Not covered
		PCI_IO_01	Not Covered
		PCI_IEP_1	Not Covered
		PCI_PP_01	Not Covered
		PCI_PP_02	1514	P2P transactions must not deadlock	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
		PCI_PP_03	819	RP must suprt ACS if P2P Txn are allow	✅	❌	PCIe Hierarchy P2P support required
		PCI_PP_04	818	Check RP Adv Error Report	✅	❌	PCIe Hierarchy and Device P2P support required
	1501	Check P2P ACS Functionality	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
	1502	Check ACS Redirect Req Valid	✅	❌	This test requires Exerciser VIP on BSA ACS and will be skipped in virtual environments.
PCI_PP_05	817	Check Direct Transl P2P Support	✅	❌	PCIe Hierarchy and Device P2P support required
PCI_PAS_1	842	PASID support atleast 16 bits	✅	❌	PASID support required
PCI_PTM_1	Not Covered
L2	V_L2PE_01		68	Check num PMU counters for vPEs	✅	❌	Related rules from other specifications: B_PE_09 (BSA)
L2	V_L2PE_02		10	Check vPE PMU overflow signal	✅	❌	Related rules from other specifications: B_PE_10 (BSA)
L2	V_L2WD_01		Not Covered				Related rules from other specifications: S_L3WD_01 (SBSA)

Latest Checklist Changes

• Removed PCI_PP_06 from the checklist, as rule statement got moved to recommendation.

v25.12_VBSA_0.7.0 - Dec, 2025

• Initial VBSA ACS testcase checklist check-in.

v26.03_VBSA_1.0.0 - Mar, 2026

• Guidance on compliance with the V_L1SM_03 rule.
• Adds 'related rules from other specifications' to align more accurately with the VBSA specification.