it is getting increasingly difficult to verify processors and guarantee subsequent reliable operation. the complexity of processors is rapidly increasing with every new generation, leading to an increase in the number of design defects, ie. logical bu ...