Formal methods in circuit design

Formal methods in circuit design

Bibliographic Details
Main Author:	Σταυρίδου Βικτωρία
Format:	Book
Language:	English
Published:	Cambridge University Press
Series:	Cambridge University Press

Similar Items

VLSI design techniques for analog and digital circuits
by: Geiger Randall L., et al.
Published: (1990)

Analog design issues in digital VLSI circuits and systems
Published: (1997)

Handshake circuits An asynchronous architecture for VLSI programming
by: Berkel Kees van
Published: (1993)

CMOS 3 cell library
Published: (1988)

Advanced low-power digital circuit techniques
by: Elrabaa Muhammad S., et al.
Published: (1997)

Practical low power digital VLSI design
by: Yeap Gary K.
Published: (1998)

Analog VLSI integration of massive parallel signal processing systems
by: Kinget Peter, et al.
Published: (1997)

ULSI technology
by: Chang C. Y. 1937-, et al.
Published: (1996)

VLSI technology
Published: (1988)

IEEE Transactions on Very Large Scale Integration(VLSI)Systems
Published: (1997)

Principles of CMOS VLSI design A system perspective
by: Weste Neil H. E., et al.
Published: (1985)

Programmable logic PLDs and FPGAs
by: Seals R. C., et al.
Published: (1997)

The dynamics of digital excitation
by: Shoji Masakazu 1936-
Published: (1998)

Basic VLSI design
by: Pucknell Douglas A. 1927-, et al.
Published: (1994)

Digital systems design and prototyping using field programmable logic
by: Salcic Zoran 1950-, et al.
Published: (1997)

VLSI digital signal processors An introduction to rapid prototyping and design synthesis
by: Madisetti Vijay K.
Published: (1995)

Analysis and design of digital integrated circuits
by: Hodges David A., et al.
Published: (1983)

Σχεδίαση ολοκληρωμένων κυκλωμάτων CMOS VLSI
by: Weste Neil H. E., et al.
Published: (1996)

Analog VLSI implementation of neural systems
by: Mead Carver, et al.
Published: (1989)

VLSI signal processing technology
Published: (1994)

Σχεδίαση ολοκληρωμένων κυκλωμάτων CMOS VLSI
by: Weste Neil H. E., et al.
Published: (2011)

Ανάλυση και σχεδίαση ολοκληρωμένων κυκλωμάτων
by: Hodges David A., et al.
Published: (1992)

Computer aided logical design With emphasis on VLSI
by: Hill Frederick J., et al.
Published: (1993)

PSPICE and MATLAB for electronics an integrated approach
by: Attia John Okyere
Published: (2002)

Contemporary logic design
by: Katz Randy H.
Published: (1994)

Εργαστήριο μικροηλεκτρονικής, V.L.S.I.
by: Κώτσος Βασίλειος Α., et al.
Published: (2005)

The art and science of analog circuit design
Published: (1995)

Quality engineering using robust design
by: Phadke Madhav S.
Published: (1989)

Circuits and systems in the information age Short Cources at the 1997 IEEE International Symposium on Circuits and Systems
Published: (1997)

Digital systems Principles and applications
by: Tocci Ronald J., et al.
Published: (2004)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
by: Καλοκάσης Νίκος Ε.
Published: (1996)

Microelectronic circuit design
by: Jaeger Richard C.
Published: (1997)

Synthesis and optimization of digital circuits
by: De Micheli Giovanni
Published: (1994)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
by: Καλοκάσης Νίκος Ε.
Published: (2002)

1998 Symposium on VLSI Technology Digest of technical papers June 9-11, 1998/Honolulu
Published: (1998)

1997 International Symposium on VLSI Technology, Systems, and Applications Proceedings of technical papers, June 3-5, 1997, Lai Lai Sheraton Hotel Taipei, Taiwan, Roc
Published: (1997)

Analog circuits cookbook
by: Hickman Ian
Published: (1999)

Hickman's analog and RF circuits
by: Hickman Ian
Published: (1998)

Εφαρμογές ψηφιακής συνδυαστικής λογικής
by: Καλοκάσης Νίκος Ε.
Published: (2007)

Σχεδίαση ψηφιακών κυκλωμάτων
by: Κοσσίδας Απόστολος Θ., et al.
Published: (1996)