OPAC_KOHA catalog › Results of search for 'su:"Integrated circuits - Verification"'

Search

Your search returned 9 results.

	1.	Co-verification of Hardware and Software for ARM SOC Design by Jason R. Andrews by Andrews, Jason R. Material type: Text Publication details: Amsterdam Elsevier 2004Availability: Items available for loan: Call number: 005.14 AND (2). Place hold Request article Add to cart (remove)
	2.	Co-verification of Hardware and Software for ARM SOC Design Jason R. Andrews by Andrews, Jason R. Material type: Text Publication details: Amsterdam Elsevier 2004Availability: Items available for loan: Call number: CDR 005.14 AND (1). Place hold Request article Add to cart (remove)
	3.	Practical Design Verification by Dhiraj K. Pradhan by Pradhan, Dhiraj K \| Harris, Ian G. Material type: Text Publication details: Cambridge Cambridge University Press 2009Availability: Items available for reference: Not for loanCall number: REF 621.381548 PRA (1). : Request article Add to cart (remove)
	4.	Metric-Driven Design Verification: an engineer's and executive's guide to first pass success by Hamilton B. Carter by Carter, Hamilton B \| Hemmady, Shankar. Material type: Text Publication details: New York Springer 2007Availability: Items available for reference: Not for loanCall number: REF 621.3815 CAR (1). : Request article Add to cart (remove)
	5.	Open Verification Methodology Cookbook by Mark Glasser by Glasser, Mark. Material type: Text Publication details: New York Springer Verlag, Netherlands 2009Availability: Items available for reference: Not for loanCall number: REF 005.14 GLA (1). : Request article Add to cart (remove)
	6.	Verification Methodology Manual for System Verilog by Janick Bergeron by Bergeron, Janick \| Nightingale, Andrew \| Hunter, Alan \| Cerny, Eduard. Material type: Text Publication details: New York Springer Verlag, Netherlands 2006Availability: Items available for reference: Not for loanCall number: REF 621.392 BER (1). : Request article Add to cart (remove)
	7.	Effective Functional Verification: principles and processes by Srivatsa Vasudevan by Vasudevan, Srivatsa. Material type: Text Publication details: The Netherlands Springer Verlag, Netherlands 2006Availability: Items available for reference: Not for loanCall number: REF 621.3815 VAS (1). : Request article Add to cart (remove)
	8.	Advanced Verification Techniques: a system C based approach for successful tapeout Leena Singh by Singh, Leena \| Khan, Neyaz \| Drucker, Leonard. Material type: Text Publication details: Boston Kluwer Academic Publishers 2004Availability: Items available for reference: Not for loanCall number: REF 621.3815 SIN (1). : Request article Add to cart (remove)
	9.	Scalable Hardware Verification with Symbolic Simulation Valeria Bertacco by Bertacco, Valeria. Material type: Text Publication details: USA Springer 2006Availability: Items available for reference: Not for loanCall number: REF 004.2 BER (1). : Request article Add to cart (remove)

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology

website hit counter

Powered by Koha