SMS versenden: System-On-A-Chip verification methodology and techniques / Prakash Rashinkar, Peter Paterson, Leena Singh. [electronic resource] :