3 books
Multicore Hardware-Software Design and Verification Techniques
Reconfigurable System Design and Verification
Hardware Software Co-Design of a Multimedia Soc Platform