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:	Boston Kluwer Academic Publishersr 1996
Subjects:	Login design > Data processing Integrated circuits > Verification Integrated circuits > Very large scale integration > Design > Data processing
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: (2006)

Layout design and verification
Published: (1986)

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

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

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

Introduction to VLSI systems a logic, circuit, and system perspective
by: Lin, Ming-Bo
Published: (2012)

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

Analog and VLSI circuits
Published: (2009)

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

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)

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

VLSI technology
Published: (2003)

Circuits, interconnections and packaging for VLSI
by: Bakoglu, H.B
Published: (1990)

Ultra large scale integrated microelectronics
by: Ferry, David K
Published: (1988)

VLSI electronics microstructure science
Published: (1989)

VLSI technology
Published: (1988)

Introduction to VLSI silicon devices physics, technology, and characterization
by: El-Kareh, Badih
Published: (1986)

VLSI technology
Published: (1988)

VLSI electronics microstructure science
Published: (1985)

The VLSI handbook
Published: (2007)

VLSI technology and design
Published: (1987)

REKA BENTUK VLSI UNTUK KEBOLEHUJIAN
by: Zahari Mohamed Darus, et al.
Published: (1994)

The VLSI handbook
Published: (2000)

VLSI placement and routing the PI project
by: Sherman, Alan Theodore
Published: (1989)

VLSI digital signal processing systems design and implementation
by: Parhi, Keshab K.
Published: (1999)

The design and analysis of VLSI circuits
by: Glasser, Lance A
Published: (1985)

Design automation, languages, and simulations
Published: (2003)

VLSI design environments
Published: (2000)

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)

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

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

Standardized functional verification
by: Wiemann, Alan
Published: (2008)

Thermal and power management of integrated circuits
by: Vassighi, Arman 1966-
Published: (2006)

Hierarchical modeling for VLSI circuit testing
by: Bhattacharya, Debashis 1961-
Published: (1990)

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)

Cannot write session to /tmp/vufind_sessions/sess_onv7ethuvpalqp1duors1ler82