Holdings: Logic synthesis and verification algorithms

Main Author:	Hachtel, Gary D.
Corporate Author:	ebrary, Inc.
Other Authors:	Somenzi, Fabio.
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic, c2002, 1996.
Subjects:	Computer-aided design. Integrated circuits > Verification. Integrated circuits > Very large scale integration > Design and construction > Data processing. Logic design > Data processing.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10053328

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου	-	1	Προβολή	OPAC