Testing and Logic Optimization Techniques for Systems on Chip. - Bengtsson, Tomas. (Linköping Studies in Science and Technology. Dissertations Series, 2012)