NUST Institutions Library Catalogue catalog › Results of search for '(su:"Integrated circuits--Verification")'

Your search returned 3 results.

Not what you expected? Check for suggestions

		EDA for IC system design, verification, and testing edited by Louis Scheffer, Luciano Lavagno, Grant Martin by Scheffer, Louis Kossuth \| Lavagno, Luciano, 1959- \| Martin, Grant. Publisher: Boca Raton, FL : CRC Taylor & Francis, 2006Other title: Electronic design automation for integrated circuit system design, verification, and testing.Online access: Publisher description Availability: Items available for loan: Central Library (CL)Call number: 621.3815 SCH (2). Place hold Find in NUST Repository
		Introduction to formal hardware verification Thomas, Kropf by Kropf, Thomas \| Thomas, Kropf. Publisher: New York Springer 2010Availability: Items available for loan: Central Library (CL)Call number: 621.395 KRO (1). Place hold Find in NUST Repository
		SAT-based scalable formal verification solutions Malay, Ganai by Ganai, Malay \| Gupta, Aarti \| Malay, Ganai. Publisher: New York Springer 2007Availability: Items available for loan: Central Library (CL)Call number: 621.381548 GAN (1). Place hold Find in NUST Repository