Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification.
