Design methodologies /

Published 1986

Design of MOS VLSI circuits for telecommunications /

Published 1985

Design of VLSI systems : a practical introduction /

by Brackenbury, Linda E. M.
Published 1987

A designer's guide to asynchronous VLSI

Published 2010

Digital CMOS circuit design /

by Annaratone, Marco
Published 1986

Digital hardware testing : transistor-level fault modeling and testing /

by Rajsuman, Rochit
Published 1992

Digital MOS integrated circuits /

Published 1981

Digital signal processing in VLSI /

by Higgins, Richard J.
Published 1990

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

Fundamentals of digital logic design, with VLSI applications /

by Pucknell, Douglas A., 1927-
Published 1990

Hierarchical modeling for VLSI circuit testing /

by Bhattacharya, Debashis, 1961-
Published 1990

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

Published 1992

High performance systems.

Published 1989

High-speed electronics : basic physical phenomena and device principles : proceedings of the International Conference, Stockholm, Sweden, August 7-9, 1986 /

Published 1986

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