Introduction We are the Hardware Verification team at the IBM Ehningen Lab (formerly Böblingen). We write software (testbenches) to ensure that IBM’s high-performance processor chips (like IBM Telum, used in mainframe computers) work as designed. We work with millions of lines of code, run our code