00537nam a22001457a 4500 9788132214403 (pbk) 621.381548 NAV Navabi, Zainalabedin Digital system test and testable design using HDL models and architecture New Delhi Springer (India) Private Limited 2014 xxii, 435 p. : ill. ; 24 cm. Includes index. Systems engineering Engineering Digital integrated circuits System verilog Mathematics Verilog FEAS BK 0 0 0 0 RIU RIU 2016-04-28 Purchased: Pak Book Corporation 1675.00 0 621.381548 NAV 28150 2016-04-28 00:00:00 1 2016-04-28 BK 15298 15298