CPU formal verification receives a boost - Rathje, Thomas (Electronic Engineering Times)