Coverification goes from cutting edge to mainstream