Tag: soc verification complexity