Abstract: Currently, the design and verification of efficient communication protocols are essential in embedded systems. This paper focuses on the development and verification of an 8-bit Serial ...