Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Hachtel, Gary D
Other Authors:	Somenzi, Fabio
Format:	Unknown
Published:	New York Springer 2006
Subjects:	Computer-aided design Logic design > Data processing Integrated circuits > Very large scale integration > Design and construction > Data processing Integrated circuits > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic synthesis and verification algorithms
by: Hachtel, Gary D.
Published: (1996)

Layout design and verification
Published: (1986)

Logic synthesis
by: Devadas, Srinivas
Published: (1994)

High level test synthesis of digital VLSI circuits
by: Lee, Mike Tien-Chien
Published: (1997)

Formal methods for VLSI design IFIP WG 10.5 lecture notes
Published: (1990)

Unified methods for VLSI simulation and test generation
by: Cheng, Kwang-Ting 1961-
Published: (1989)

EDA for IC system design, verification, and testing
Published: (2006)

Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

Algorithms for VLSI design automation
by: Gerez, Sabih H.
Published: (1999)

VLSI physical design automation theory and practice
by: Sait, Sadiq M. 1957-
Published: (1999)

Algorithmic aspects of VLSI layout
Published: (1993)

Algorithms for VLSI physical design automation
by: Sherwani, N. A. (Naveed A)
Published: (1993)

Algorithms for VLSI physical design automation
by: Sherwani, N. A. Naveed A
Published: (1995)

VLSI circuit design methodology demystified a conceptual taxonomy
by: Xiu, Liming
Published: (2008)

VLSI design environments
Published: (2000)

Advanced model order reduction techniques in VLSI design
by: Tan, Sheldon X. D.
Published: (2007)

Computer aids for VLSI design
by: Rubin, Steven M
Published: (1987)

Fundamentals of computer-aided circuit simulation
by: McCalla, William J
Published: (1987)

An introduction to VLSI physical design
by: Sarrafzadeh, Majid
Published: (1996)

VLSI custom microelectronics digital, analog and mixed-signal
by: Hurst, Stanley L. Stanley Leonard
Published: (1999)

A FIRST COURSE IN DIGITAL SYSTEMS DESIGN an integrated approach
by: Uyemura, John P
Published: (2000)

VLSI design for manufacturing yield enhancement
by: Director, Stephen W
Published: (1990)

High-level synthesis introduction to chip and systems design
Published: (1992)

VLSI design
by: Vai, M. Michael
Published: (2001)

VLSI design
Published: (1986)

Design methodologies
Published: (1986)

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

Atlas of IC technologies an introduction to VLSI processes
by: Maly, W
Published: (1987)

Basic VLSI design principles and applications
by: Pucknell, Douglas A. 1927-
Published: (1985)

CMOS 3 cell library
Published: (1988)

Introduction to VLSI technology
by: Price, T. E
Published: (1994)

Fundamentals of digital logic design : with VLSI circuit applications
by: Pucknell, Douglas A. 1927-
Published: (1990)

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

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

Logic design and simulation
Published: (1986)

Parallel algorithms for VLSI computer-aided design applicaitons
by: Banerjee, Prithviraj
Published: (1994)

Analog and mixed mode VLSI design
by: Gejji, Vineeta P.
Published: (2011)

Custom VLSI microelectronics
by: Hurst, Stanley L
Published: (1992)

Digital vlsi design
by: Singh, Ajay Kumar
Published: (2011)