Intel Corporation Interview Question

How is os behavioral simulate in Pre silicon verification ? How would Debug and verify your USB ? FSM machine for Traffic light controller for 4 way road !