PakCat catalogue record Design Verification with e 01/01/2000 00:00 By Palnitkar, Samir Bibliographic details ISBN8129705370 Publisherpearson Publication placeNew, Delhi. Publication year2004 LanguageEnglish Material typeBook Physical description363p. SubjectsComputer Hardware Description Language, Integrated circuts, verification