Rainer Leupers, Olivier Temam Processor and System-on-Chip Simulation - Springer eBooks 2010 ISBN: 9781441961754