RASHINKAR PRAKASH;PATERSON PETER;SINGH LEENA SYSTEM ON A CHIP VERIFICATION METHODOLOGY AND TECHNIQUES - BOSTON KLUWER PUB 2001 - 327 ISBN: 792372794 Subjects--Topical Terms: "Digital Logic,CMOS VLSI Design" Dewey Class. No.: 621.395