Finding a problem with your prototype board is bad enough, but when the bug is in your latest IC masterpiece, you know it’s going to be a bad day. Heads may roll. The verification of digital IC ...