Cover Image

Advanced formal verification

Corporate Author:	ebrary, Inc.
Other Authors:	Drechsler, Rolf.
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, c2004.
Subjects:	Electronic circuits > Testing.
Online Access:	http://site.ebrary.com/lib/ucy/Doc?id=10115222

Similar Items

Advanced formal verification/
Published: (2004)

Advances in electronic testing: challenges and methodologies/
Published: (2006)

Principles of testing electronic systems /
by: Mourad, Samiha.
Published: (2000)

Test economics and design for testability for electronic circuits and systems/
Published: (1995)

Advanced electronic circuit design/
by: Comer, David J.
Published: (2003)

Electronic devices and circuits /
by: Cathey, Jimmie J.
Published: (2006)

Fast analytical techniques for electrical and electronic circuits
by: Vorpβerian, Vatchβe, 1952-
Published: (2002)

Nonlinear electronic circuits/
by: Van der Ziel, Aldert, 1910-
Published: (1977)

Introductory circuits for electrical and computer engineering /
by: Nilsson, James William.
Published: (2002)

Electronic design automation: synthesis, verification, and test/
Published: (2009)

1999 IEEE/ACM International Conference on Computer-Aided Design: digest of technical papers : November 7-11, 1999, San Jose, California/
Published: (1999)

IEEE/ACM International Conference on Computer Aided Design ICCAD 2001: a conference for the EE CAD professional, November 4-8, 2001, Doubletree Hotel, San Jose, CA/
Published: (2001)

On-line testing for VLSI/
Published: (1998)

Noise reduction techniques in electronic systems/
by: Ott, Henry W., 1936-
Published: (1988)

Electronic circuits: digital and analog/
by: Holt, Charles A. 1921-
Published: (1978)

Modern electronic circuit design/
by: Comer, David J.
Published: (1976)

Microelectronic circuits/
by: Sedra, Adel S.
Published: (2004)

Microelectronic circuits /
by: Sedra, Adel S.
Published: (2004)

Schaum's outline of theory and problems of electronic devices andcircuits /
by: Cathey, Jimmie J.
Published: (1989)

A first lab in circuits and electronics/
by: Τσιβίδης, Γιάννης
Published: (2002)

Noise theory of linear and nonlinear circuits/
by: Engberg, J. 1936-
Published: (1995)

Electronic circuits.
by: Lowenberg, Edwin C.
Published: (1967)

Directory of electronic circuits, with a glossary of terms/
by: Mandl, Matthew
Published: (1978)

Logic design with integrated circuits/
by: Wickes, William E.
Published: (1968)

A practical introduction to electronic circuits /
by: Jones, Martin Hartley 1942-
Published: (1985)

Shaum's outline of theory and problems of electronic circuits /
by: Lowenberg, Edwin Carl, 1920-
Published: (1976)

Instructor's manual for Microelectronic circuits /
by: Sedra, Adel S.
Published: (1991)

Electronic devices and circuits : conventional flow version /
by: Hassul, Michael
Published: (1997)

Practical electronics handbook /
by: Sinclair, Ian R. 1932-
Published: (1987)

Function circuits : design and applications /
by: Wong, Yu Jen, 1945-
Published: (1976)

Electronic devices and circuit theory/
by: Boylestad, Robert L.
Published: (1982)

Electronic circuits note book : proven designs for systems applications /
Published: (1981)

Electronic circuits : devices, models, functions, analysis, and design /
by: Ghausi, Mohammed Shuaib
Published: (1971)

Additional problems with solutions : a supplement to microelectronic circuits /
by: Sedra, Adel S.
Published: (1992)

Microelectronic circuits /
by: Sedra, Adel S.
Published: (1998)

Newnes interactive electronic circuits CD-ROM an essential library of new and classic circuits from the world΄s leading designers /
by: Bishop, Owen
Published: (1999)

How to custom design your solid-state equipment/
by: Salvati, M. J.
Published: (1974)

Electronic circuits, discrete and integrated /
by: Schilling, Donald L.
Published: (1979)

Electronic devices and circuits
by: Lal Kishore, K.
Published: (2008)

Electronic circuit analysis
by: Lal Kishore, K.
Published: (2008)

Cannot write session to /tmp/vufind_sessions/sess_ippr3ppjphkrlme75asu6dbch7