Search the Library Catalogue

Advanced search

Your search returned 15 results.

Results
	1.		Practical design verification edited by Dhiraj K. Pradhan, Ian G. Harris by Harris, Ian G Pradhan, Dhiraj K Publication details: Cambridge Cambridge University Press 2009 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.381548 PRA.
	2.		Principles of functional verification Andreas Meyer by Meyer, Andreas Publication details: Amsterdam ; Boston, MA Newnes 2003 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.381548 MEY.
	3.		Professional verification : a guide to advanced functional verification Paul Wilcox by Wilcox, Paul Publication details: Boston, MA Kluwer Academic 2004 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.381548 WIL.
	4.		Verification by error modeling : using testing techniques in hardware verification written by Katarzyna Radecka, Zeljko Zilic by Radecka, Katarzyna Zilic, Zeljko Publication details: The Hague, London Kluwer Academic Publishers 2003 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.395 RAD.
	5.		Verification techniques for system-level design Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad by Fujita, Masahiro Ghosh, Indradeep Prasad, Mukul Publication details: Amsterdam Elsevier 2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3815 FUJ.
	6.		Writing testbenches : functional verification of HDL models by Janick Bergeron by Bergeron, Janick Edition: 2nd ed Publication details: Berlin Springer [2003] Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3815 BER.
	7.		Comprehensive functional verification the complete industry cycle Bruce Wile, John C. Goss, Wolfgang Roesner by Wile, Bruce Goss, John C Roesner, W Publication details: Amsterdam ; Boston Elsevier/Morgan Kaufmann c2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.381548 WIL.
	8.		Co-verification of hardware and software for ARM SoC design by Jason R. Andrews by Andrews, Jason R Publication details: Amsterdam Elsevier c2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.14 AND.
	9.		Design verification with E Samir Palnitkar by Palnitkar, Samir Publication details: Upper Saddle River, NJ Prentice Hall PTR 2004 Availability: Items available for loan: Anna Centenary Library (1)Call number: 62 392 PAL.
	10.		Digital timing macromodeling for VLSI design verification by Jeong-Taek Kong and David Overhauser by Kong, Jeong-Taek Overhauser, David Publication details: Dordrecht ; Boston Kluwer Academic 1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.395001 KON.
	11.		EDA for IC system design, verification, and testing edited by Louis Scheffer, Luciano Lavagno, Grant Martin by Lavagno, Luciano Martin, Grant Scheffer, Louis Kossuth Publication details: Boca Raton, FL CRC Press, Taylor & Francis Group 2006 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3815 SCH.
	12.		Formal equivalence checking and design debugging by Shi-Yu Huang and Kwang-Ting (Tim) Cheng by Huang, Shi-Yu Cheng, Kwang-Ting Publication details: Dordrecht ; Boston Kluwer Academic Publishers 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3815 HUA.
	13.		Writing testbenches : functional verification of HDL models by Janick Bergeron by Bergeron, Janick Edition: 2nd ed Publication details: Berlin Springer [2003] Availability: No items available.
	14.		A unified approach for timing verification and delay fault testing Mukund Sivaraman and Andrzej J. Strojwas by Sivaraman, Mukund Strojwas, Andrzej J Publication details: Boston Kluwer Academic 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3950287 SIV.
	15.		Applied formal verification Douglas L. Perry, Harry D. Foster by Perry, Douglas L Foster, Harry Publication details: New York McGraw Hill 2005 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3815 PER.

Find us on the map

Powered by Koha