2ns+1: PSL assertion failed
4ns+1: PSL assertion failed
10ns+1: PSL assertion failed
