Domanda di colloquio di Qualcomm

Design a state machine to detect bit sequence. How do you verify it?