Synthesis of finite state machines : logic optimization / Tiziano Villa ... [et al.].

Saved in:

Bibliographic Details
Published:	Boston : Kluwer Academic, c1997.
Other Authors:	Villa, Tiziano, 1953-
Subjects:	Logic design > Data processing. Sequential machine theory. Integrated circuits > Very large scale integration > Design and construction > Data processing. Computer-aided design.
Format:	Book

Synthesis of finite state machines : logic optimization /

Similar Items

Sequential logic synthesis /
by: Ashar, Pranav
Published: (1992)

Logic minimization algorithms for VLSI synthesis /
Published: (1984)

Logic design and simulation /
Published: (1986)

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

Logic design and switching theory /
by: Muroga, Saburo
Published: (1979)

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

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

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

Design of VLSI systems : a practical introduction /
by: Brackenbury, Linda E. M.
Published: (1987)

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

A designer's guide to asynchronous VLSI
Published: (2010)

Yield simulation for integrated circuits /
by: Walker, Duncan Moore Henry
Published: (1987)

Formal hardware verification : methods and systems in comparison /
Published: (1997)

Contemporary logic design /
by: Katz, Randy H., 1955-
Published: (1994)

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

International journal of computer aided VLSI design.
Published: (1989)

Silicon compilation /
Published: (1988)

Serial-data computation /
by: Smith, Stewart G.
Published: (1988)

VLSI circuit simulation and optimization /
by: Litovski, V.
Published: (1997)

Formal verification of hardware design /
Published: (1990)

The local development of the ELECTRIC design system : a report submitted in fulfilment of the requirements for the degree of Master of Engineering (Electrical and Electronic) at the University of Canterbury, Christchurch, New Zealand /
by: Goodman, T. J. (Timothy James)
Published: (1989)

Basic VLSI design : systems and circuits /
by: Pucknell, Douglas A., 1927-
Published: (1987)

Microcircuit production technology /
by: Horne, D. F. (Douglas Favel), 1915-
Published: (1986)

VLSI placement and global routing using simulated annealing /
by: Sechen, Carl, 1956-
Published: (1988)

CMOS3 cell library /
Published: (1988)

Design methodologies /
Published: (1986)

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

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

Advanced VLSI fabrication /
Published: (1995)

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

Multiple-valued logic in VLSI design /
Published: (1991)

Practical low power digital VLSI design /
by: Yeap, G. K. (Gary K.)
Published: (1998)

Analog VLSI design nMOS and CMOS /
by: Haskard, M. R. (Malcolm Rosswyn)
Published: (1987)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings /
Published: (2004)

Integrated circuit and system design power and timing modeling, optimization and simulation : 16th international workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006 : proceedings /
Published: (2006)

Integrated circuit and system design power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007 : proceedings /
Published: (2007)

Simulated annealing for VLSI design /
by: Wong, D. F.
Published: (1988)

Introduction to microelectronic fabrication /
by: Jaeger, Richard C.
Published: (1988)

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

Integrated circuit and system design 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 20-23, 2005 : proceedings /
Published: (2005)