For a verification that I was recently working on we tried very hard to make sure the verification was written in a way that deviation could be avoided. We attempted to run the test ourselves as well as making sure…   Read more»