Tag: a walking guide to soc verification