Cover Image

QR Code

Formal methods in circuit design /

Saved in:

Bibliographic Details
Main Author:	Stavridou, V.
Format:	Book
Language:	English
Published:	New York : Cambridge, c1993.
Subjects:	Electronic digital computers > Circuits. Engineering design > computer programs.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Digital design /
by: Mano, M. Morris, 1927-
Published: (2002)

Digital design /
by: Mano, M. Morris, 1927-
Published: (2007)

Design of analog circuits through symbolic analysis
Published: (2012)

Analog circuit design for communication SOC
by: Hung-Lung Tu, Steve
Published: (2012)

Introduction to computer design and implementation /
by: Ahmad, S. Imtiaz
Published: (1981)

Digital logic design
by: Holdsworth, B. (Brian)
Published: (2002)

The designer's guide to VHDL
by: Ashenden, Peter J.
Published: (2008)

Computer technology : digital priniciples to interfacing /
by: Lawrence, O.R
Published: (1990)

The principles of computer hardware /
by: Clements, Alan, 1948-
Published: (2000)

Fundamentals of digital logic : with VHDL design /
by: Brown, Stephen
Published: (2009)

Digital System Test and Testable Design Using HDL Models and Architectures /
by: Navabi, Zainalabedin
Published: (2011)

Demystifying chipmaking
by: Yanda, Richard F.
Published: (2005)

The circuit designer's companion
by: Williams, Tim, 1954-
Published: (2005)

Digital circuit boards mach 1 GHz /
by: Morrison, Ralph
Published: (2012)

Circuit design : anticipate, analyze, exploit variations /
by: Weber, Stephan, et al.
Published: (2017)

Analog circuit design
Published: (2013)

Digital principles and circuits
by: Agarwal, C. B.
Published: (2006)

Microelectronic circuit design /
by: Jaeger, Richard C.
Published: (2006)

Intuitive analog circuit design /
by: Thompson, Marc T.
Published: (2014)

RF circuit design
by: Li, Richard Chi-Hsi, 1938-
Published: (2012)

Intuitive analog circuit design a problem-solving approach using design case studies /
by: Thompson, Marc T.
Published: (2006)

Digital integrated circuits : analysis and design /
by: Ayers, John E.
Published: (2010)

Analog circuits
Published: (2008)

Compact models for integrated circuit design : conventional transistors and beyond /
by: Saha, Samar K.
Published: (2016)

Analog circuit design a tutorial guide to applications and solutions /
Published: (2011)

RF/microwave circuit design for wireless applications
by: Rohde, Ulrich L.
Published: (2013)

Design of high-speed communication circuits
Published: (2006)

Introductory circuits
by: Spence, Robert, 1933-
Published: (2008)

Digital circuit analysis and design with simulink modeling
by: Karris, Steven T.
Published: (2007)

Data acquisition techniques using PCs
by: Austerlitz, Howard
Published: (2003)

Discovering computers : world wide web enhanced /
by: Shelly, Gary B.
Published: (1997)

Design and test of digital circuits by quantum-dot cellular automata
Published: (2008)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)

Circuit analysis
Published: (2011)

Introduction to operating system design /
by: Habermann, A.N
Published: (1976)

Modern microwave circuits
by: Kinayman, Noyan
Published: (2005)

CMOS circuit design for RF sensors
by: Gudnason, Gunnar
Published: (2002)

High-speed circuit board signal integrity
by: Thierauf, Stephen C.
Published: (2004)

Data conversion handbook
Published: (2005)

Nonlinear microwave and RF circuits
by: Maas, Stephen A.
Published: (2003)