Scalable, Constrained Random Software Driven Verification. - Sainath Karlapalem; Shashank Venugopal (MTV, 2016)