Interesting paper. It sounds good until you look for the actual work.  With a possibly limited amount of testing, you can&#x27;t be sure of anything. In verification, you can never just trust the tools. With no code coverage numbers, how do I know how thorough the existing tests are? The tests themselves have no docs.<p>The torture test page said it still needed support for floating point instructions. That kinda says, they did no torture tests of floating point instructions. I wouldn&#x27;t be happy with that. Same goes for loops. Etc.<p>You have to think about physical failures as well: the paper mentions various RAMs in the 45 nm processor. You should have BIST for those and Design For Test module&#x2F;s. Otherwise you have no way to test for defects.