Logic synthesis

Logic synthesis

Saved in:

Bibliographic Details
Main Author:	Devadas, Srinivas
Other Authors:	Ghosh, Abhijit 1964-, Keutzer, Kurt William 1955-
Format:	Unknown
Published:	New York McGraw-Hill 1994
Series:	McGraw-Hill series on computer engineering
Subjects:	Computer-aided design Integrated circuits > Vergy large scale integration > Design > Data processing Logic 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)

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

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

VLSI logic synthesis and design
Published: (1991)

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

Representations of discrete function
Published: (1996)

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

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)

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

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)

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

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

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

Algorithmic aspects of VLSI layout
Published: (1993)

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

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)

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)

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

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

Digital VLSI systems design a design manual for implementation of projects on FPGAs and ASICs using Verilog
by: Ramachandran, S. (Seetharaman)
Published: (2007)

Fault covering problems in reconfigurable VLSI systems
Published: (1992)

VLSI system design proceedings of the Third International Workshop on VLSI System Design, Bangalore, India, January 6-9, 1990
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)

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

Principles of Digital Design
by: Gajski, Daniel D.
Published: (1997)

Computer aided logical design with emphasis on VLSI
by: Hill, Fredrick J.
Published: (1993)

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)

Integrated circuit and system design power and timing modeling, optimization and simulation cedited by Nadine Azemard, Lars Svensson
Published: (2007)

Integrating functional and temporal domains in logic design the false path problem and its implications
by: McGeer, Patrick C
Published: (1991)

Logic design and simulation
Published: (1986)

Logic and architecture synthesis proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990
Published: (1991)