Αποτελέσματα για "Integrated circuits Verification." Εμφανίζονται 1-8 από 8 Zend_Feed_Writer 2 (http://framework.zend.com) http://okeanos.lib.unipi.gr/Search/Results?lookfor=%22Integrated+circuits+Verification.%22&type=Subject&sort=last_indexed+desc&limit=50 8 0 50 The e hardware verification language / Thu, 01 Jan 2004 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F35433 http://okeanos.lib.unipi.gr/Record/1%2F35433 Iman, Sasan. Book 2004 Iman, Sasan. 0 Design verification with e / Thu, 01 Jan 2004 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F35392 http://okeanos.lib.unipi.gr/Record/1%2F35392 Palnitkar, Samir. Book 2004 Palnitkar, Samir. 0 Formal equivalence checking and design debugging / Thu, 01 Jan 1998 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F23246 http://okeanos.lib.unipi.gr/Record/1%2F23246 Huang, Shi-Yu , 1965- Book 1998 Huang, Shi-Yu , 1965- 0 Verification by error modeling : using testing techniques in hardware verification / Wed, 01 Jan 2003 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F23257 http://okeanos.lib.unipi.gr/Record/1%2F23257 Radecka, Katarzyna. Book 2003 Radecka, Katarzyna. 0 Hardware Design Verification : simulation and formal methods - based approaches / Sat, 01 Jan 2005 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F26099 http://okeanos.lib.unipi.gr/Record/1%2F26099 Lam, William K. Book 2005 Lam, William K. 0 Professional verification : a guide to advanced functional verification / Thu, 01 Jan 2004 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F27073 http://okeanos.lib.unipi.gr/Record/1%2F27073 Wilcox, Paul, MBA. Book 2004 Wilcox, Paul, MBA. 0 Introduction to formal hardware verification / Fri, 01 Jan 1999 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F29493 http://okeanos.lib.unipi.gr/Record/1%2F29493 Kropf, Thomas, 1961- Book 1999 Kropf, Thomas, 1961- 0 Verification techniques for system-level design Tue, 01 Jan 2008 21:24:56 +0200 http://okeanos.lib.unipi.gr/Record/1%2F45402 http://okeanos.lib.unipi.gr/Record/1%2F45402 Fujita, Masahiro, 1956- Electronic 2008 Fujita, Masahiro, 1956- 0