Rashinkar, Prakash System-On-A-Chip Verification - N Delhi Kluner Academic Publication 2009 - 392 ISBN: NMIT002980