Slide 1Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification Workshop Edinburgh…