Abstract: The Serial Peripheral Interface (SPI) protocol remains a cornerstone in modern embedded systems, demanding rigorous and efficient verification methodologies to ensure functional correctness.