Rashinkar, Prakash System-On-A-Chip Verification : methodology and Techniques Prakash Rashinkar - London Kluwer Academic Publishers 2000 - xviii, 372p. ISBN: 0792372794 Subjects--Topical Terms: System designComputer software -- Development Dewey Class. No.: 621.395 RAS