Tag: soc verification challenges