Computer aids for VLSI design /

by Rubin, Steven M.
Published 1987

Contemporary logic design /

by Katz, Randy H., 1955-
Published 1994

Design of VLSI systems : a practical introduction /

by Brackenbury, Linda E. M.
Published 1987

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

by Rajsuman, Rochit
Published 1992

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

International journal of computer aided VLSI design.

Published 1989

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

by Goodman, T. J. (Timothy James)
Published 1989

Logic design and simulation /

Published 1986

Logic minimization algorithms for VLSI synthesis /

Published 1984

Logic synthesis and verification algorithms /

by Hachtel, Gary D.
Published 2006

Practical low power digital VLSI design /

by Yeap, G. K. (Gary K.)
Published 1998

Sequential logic synthesis /

by Ashar, Pranav
Published 1992

Serial-data computation /

by Smith, Stewart G.
Published 1988

Silicon compilation /

Published 1988

Simulated annealing for VLSI design /

by Wong, D. F.
Published 1988

Synthesis of finite state machines : logic optimization /

Published 1997

Unified methods for VLSI simulation and test generation /

by Cheng, Kwang-Ting, 1961-
Published 1989