Controllability-driven Power Virus Generation for Digital Circuits | IEEE Conference Publication | IEEE Xplore