Effortless, Methodical and Exhaustive Register Verification using what you already have

Author(s):
Aishwarya Sridhar, Pallavi Atha, and David Crutchfield