PakCat catalogue record System on a chip verification methodology and techniques By Rashinkar, Prakash Bibliographic details PublisherKluwer Academic Publishers Publication placeMassachusetts Publication year2001 LanguageEnglish Material typeBook Physical description372p. Additional authorsPaterson, Peter Singh, Leena SubjectsSystem design