Introduction by Stefan Birman This article doesn’t have too much to do with functional verification, but keep reading and you’ll be amazed at what a