Rashinkar,Prakash System-on-a-chip Verification :Methodology &Techniques - 1st ed. - London Kluwer Academe 2001 - xx,372p. ISBN: RS 14325.25 Dewey Class. No.: 621.042 RAS,P