Formal hardware verification : methods and systems in comparison /

Formal hardware verification : methods and systems in comparison /

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Kropf, Thomas, 1961- (επιμελητής.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin ; New York : Springer, c1997.
Σειρά:	Lecture notes in computer science (Springer-Verlag) 1287
Θέματα:	Ολοκληρωμένα κυκλώματα > Ολοκλήρωση πολύ μεγάλης κλίμακας > Σχέδιο και κατασκευή.

Παρόμοια τεκμήρια

Basic VLSI design : systems and circuits /
ανά: Pucknell, Douglas A., 1927-
Έκδοση: (1988)

CMOS VLSI design : a circuits and systems perspective /
ανά: Weste, Neil H. E.
Έκδοση: (2005)

Testing and reliable design of CMOS circuits /
ανά: Jha, Niraj K.
Έκδοση: (1990)

Practical low power digital VLSI design /
ανά: Yeap, G. K. (Gary K.)
Έκδοση: (1998)

Analog VLSI design nMOS and CMOS /
ανά: Haskard, Malcolm R.
Έκδοση: (1988)

An artificial intelligence approach to VLSI routing /
ανά: Joobbani, Rostam
Έκδοση: (1986)

Contemporary logic design /
ανά: Katz, Randy H., 1955-
Έκδοση: (1994)

Σχεδίαση του αθροιστή module 2(8) - 1 με χρήση της τεχνικής Wave Pipeline Διπλωματική εργασία. Πανεπιστήμιο Πατρών [Πολυτεχνική Σχολή]. Σχολή Μηχανικών Ηλεκτρονικών Υπολογιστών & Πληροφορικής. Τομέας Υλικού και Αρχιτεκτονικής Υπολογιστών
ανά: ΚΑΡΠΟΔΙΝΗΣ, ΠΟΛΥΧΡΟΝΗΣ Γ.
Έκδοση: (2003)

Introduction to nMOS and CMOS VLSI systems design /
ανά: Mukherjee, Amar
Έκδοση: (1986)

System-on-chip test architectures : nanometer design for testability /
Έκδοση: (2008)

Manufacturing yield evaluation of VLSI/WSI systems
ανά: Ciciani, Bruno
Έκδοση: (1995)

IDDQ testing of VLSI circuits /
Έκδοση: (1997)

Fundamentals of modern VLSI devices
ανά: Taur, Yuan 1946-
Έκδοση: (1998)

VLSI CAD tools and applications /
Έκδοση: (1987)

Multi-level simulation for VLSI design /
ανά: Hill, Dwight D.
Έκδοση: (1987)

The bounding approach to VLSI circuit simulation /
ανά: Zukowski, Charles A.
Έκδοση: (1986)

The design and analysis of VLSI circuits /
ανά: Glasser, Lance A.
Έκδοση: (1985)

VLSI test principles and architectures : design for testability /
Έκδοση: (2006)

Relaxation techniques for the simulation of VLSI circuits /
ανά: White, Jacob K.
Έκδοση: (1987)

Essentials of electronic testing for digital, memory, and mixed-signal VLSI circuits /
ανά: Bushnell, Michael L. (Michael Lee), 1950-
Έκδοση: (2000)

VLSI test principles and architectures : design for testability /
Έκδοση: (2006)

8th International Symposium on Quality Electronic Design : ISQED 2007 : proceedings : San Jose, California : 26-28 March, /
Έκδοση: (2007)

Ninth International Symposium on Quality Electronic Design : ISQED 2008 : proceedings : San Jose, California : 17-19 March 2008 /
Έκδοση: (2008)

An introduction to VLSI physical design
ανά: Sarrafzadeh, Majid
Έκδοση: (1996)

ULSI Devices
Έκδοση: (2000)

Circuit design for CMOS VLSI
ανά: Uyemura, John P. 1952- ((John Paul))
Έκδοση: (1992)

Analysis and design of digital integrated circuits
ανά: Hodges, David A., 1937-
Έκδοση: (1983)

Analysis and design of digital integrated circuits
ανά: Hodges, David A., 1937-
Έκδοση: (1988)

VLSI design techniques for analog and digital circuits
ανά: Geiger, Randall L.
Έκδοση: (1990)

Low-voltage CMOS VLSI circuits /
ανά: Kuo, James B.
Έκδοση: (1999)

Low-power CMOS VLSI circuit design /
ανά: Roy, Kaushik, 1961-
Έκδοση: (2000)

Ανάπτυξη και σχεδίαση τεχνικών χαμηλής κύμανσης/κατανάλωσης ισχύος σε κυκλώματα VLSI
ανά: Rjoub, Abdel-Rauf
Έκδοση: (2000)

ULSI technology
Έκδοση: (1996)

Σχεδιασμός ολοκληρωμένων κυκλωμάτων μεγάλης κλίμακας ( VILSI) για υπολογιστικές μηχανές επεξεργασίας σημάτων
ανά: Κουφοπαύλος, Οδυσσέας Γ.
Έκδοση: (1990)

Integrated-circuit operational amplifiers
ανά: Rutkowski, George B.
Έκδοση: (1984)

Analog VLSI signal and information processing
ανά: Ismail, Mohammed, κ.ά.
Έκδοση: (1994)

Logic minimization algorithms for VLSI synthesis
ανά: Brayton, Robert K.
Έκδοση: (1984)

VLSI architecture /
Έκδοση: (1983)

VLSI memory chip design
ανά: Itoh, Kiyoo 1941-
Έκδοση: (2001)

Ανάλυση και σχεδίαση ολοκληρωμένων κυκλωμάτων /
ανά: Hodges, David A., 1937-
Έκδοση: (1992)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών