Results of search for '(su:{Integrated circuits}) AND (su:{Verification.})'

Refine your search

Availability
- Limit to records with available items
Authors
- Bergeron, Janick (2)
- Foster, Harry (2)
- Fujita, Masahiro (1)
- Ghosh, Indradeep (1)
- Goss, John C. (1)
- Hachtel, Gary D. (1)
- Kol, Rakefet (2)
- Perry, Douglas L. (2)
- Prasad, Mukul (1)
- Radecka, Katarzyna (3)
- Roesner, W. (1)
- Somenzi, Fabio (1)
- Wilcox, Paul (2)
- Wile, Bruce (1)
- Yoeli, Michael (2)
- Zilic, Zeljko (3)
- Show more
- Show less
Holding libraries
- Strathmore University (Main Library) (7)
Home libraries
- Strathmore University (Main Library) (7)
Item types
- E-Book (9)
Locations
- Online Resource (7)
Series
- Frontiers in electro... (3)
- McGraw-Hill electron... (2)
- The Morgan Kaufmann ... (1)
- Wiley series on para... (2)
Topics
- Computer engineering (1)
- Computer hardware de... (2)
- Computer software (2)
- Computer-aided desig... (1)
- Electronic circuits (2)
- Error analysis (Math... (3)
- Formal methods (Comp... (1)
- Integrated circuits (14)
- Logic design (1)
- LOTOS (Computer prog... (2)
- Petri nets (2)
- Systems on a chip (1)
- Show more
- Show less

Strathmore

		No cover image available Writing testbenches [electronic resource] : functional verification of HDL models / Janick Bergeron. by Bergeron, Janick ebrary, Inc Publication details: New York : Kluwer Academic, c2002 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Professional verification [electronic resource] : a guide to advanced functional verification / Paul Wilcox. by Wilcox, Paul, MBA ebrary, Inc Publication details: Boston, Mass. ; London : Kluwer Academic, c2004 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10061381 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification by error modeling [electronic resource] : using testing techniques in hardware verification / written by Katarzyna Radecka, Zeljko Zilic. by Radecka, Katarzyna Zilic, Zeljko ebrary, Inc Series: Frontiers in electronic testing ; 25. Publication details: Boston : Kluwer Academic Publishers, 2003 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10088540 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. by Yoeli, Michael, 1917- Kol, Rakefet ebrary, Inc Series: Wiley series on parallel and distributed computing Publication details: Hoboken, N.J. : Wiley-Interscience, c2008 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10296542 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Applied formal verification [electronic resource] / Douglas L. Perry, Harry D. Foster. by Perry, Douglas L Foster, Harry, 1956- ebrary, Inc Series: McGraw-Hill electronic engineering series Publication details: New York : McGraw-Hill, c2005 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10195655 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Applied formal verification [electronic resource] / Douglas L. Perry, Harry D. Foster. by Perry, Douglas L Foster, Harry, 1956- ebrary, Inc Series: McGraw-Hill electronic engineering series Publication details: New York : McGraw-Hill, c2005 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10195655 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification by error modeling [electronic resource] : using testing techniques in hardware verification / written by Katarzyna Radecka, Zeljko Zilic. by Radecka, Katarzyna Zilic, Zeljko ebrary, Inc Series: Frontiers in electronic testing ; 25. Publication details: Boston : Kluwer Academic Publishers, 2003 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Logic synthesis and verification algorithms [electronic resource] / by Gary D. Hachtel, Fabio Somenzi. by Hachtel, Gary D Somenzi, Fabio ebrary, Inc Publication details: Boston : Kluwer Academic, c2002, 1996 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Writing testbenches [electronic resource] : functional verification of HDL models / Janick Bergeron. by Bergeron, Janick ebrary, Inc Publication details: New York : Kluwer Academic, c2002 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10053397 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Professional verification [electronic resource] : a guide to advanced functional verification / Paul Wilcox. by Wilcox, Paul, MBA ebrary, Inc Publication details: Boston, Mass. ; London : Kluwer Academic, c2004 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification by error modeling [electronic resource] : using testing techniques in hardware verification / written by Katarzyna Radecka, Zeljko Zilic. by Radecka, Katarzyna Zilic, Zeljko ebrary, Inc Series: Frontiers in electronic testing ; 25. Publication details: Boston : Kluwer Academic Publishers, 2003 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: http://site.ebrary.com/lib/strathmore/Doc?id=10088540 (1) Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Comprehensive functional verification the complete industry cycle [electronic resource] / Bruce Wile, John C. Goss, Wolfgang Roesner. by Wile, Bruce Goss, John C Roesner, W. (Wolfgang) ebrary, Inc Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2005 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. by Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul ebrary, Inc Series: Morgan Kaufmann series in systems on silicon Publication details: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. by Yoeli, Michael, 1917- Kol, Rakefet ebrary, Inc Series: Wiley series on parallel and distributed computing Publication details: Hoboken, N.J. : Wiley-Interscience, c2008 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Home libraries

Item types

Locations

Series

Topics

Your search returned 14 results.