i read some articles about pipelined protocls verification. i searched for term dead lock in verification but found nothing