Algorithms for VLSI physical design automation /

by Sherwani, N. A. (Naveed A.)
Published 1999

Computer aids for VLSI design /

by Rubin, Steven M.
Published 1987

Contemporary logic design /

by Katz, Randy H., 1955-
Published 1994

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Published 2003

Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /

Published 2005

A designer's guide to asynchronous VLSI

Published 2010

Formal hardware verification : methods and systems in comparison /

Published 1997

Formal verification of hardware design /

Published 1990

Fundamentals of computer-aided circuit simulation /

by McCalla, William J.
Published 1987

High-level synthesis : introduction to chip and system design /

Published 1992

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

Published 2005

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

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 :...

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 : pr...

Published 2007

International journal of computer aided VLSI design.

Published 1989

Logic synthesis and verification algorithms /

by Hachtel, Gary D.
Published 2006

R-trees theory and applications /

Published 2006

R-trees : theory and applications /

Published 2006

Sequential logic synthesis /

by Ashar, Pranav
Published 1992

Synthesis of finite state machines : logic optimization /

Published 1997