Abstract: The increasing complexity of electronic systems demands advanced design and verification techniques, particularly for protocols like the Serial Peripheral Interface (SPI). SPI, initially ...