PSPICE and MATLAB for electronics : an integrated approach /

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

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

Manufacturing yield evaluation of VLSI/WSI systems /
Published: (1995)

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

Computer aided tools for VLSI system design /
Published: (1987)

Theoretical foundations of VLSI design /
Published: (1990)

Algorithms and techniques for VLSI layout synthesis /
Published: (1989)

Mixed-mode simulation /
by: Saleh, Resve A., 1957-
Published: (1990)

Integrated circuit defect-sensitivity : theory and computational models /
by: Pineda de Gyvez, José
Published: (1993)

Algorithmic and knowledge based CAD for VLSI /
Published: (1992)

Hardware specification, verification, and synthesis : mathematical aspects Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, proceedings /
Published: (1990)

Circuit analysis, simulation, and design /
Published: (1986)

Digital timing macromodeling for VLSI design verification /
by: Kong, Jeong-Taek, 1959-
Published: (1995)

Selected papers on computer-aided design of very large scale integrated circuits /
Published: (1987)

Design & test techniques for VLSI & WSI circuits /
Published: (1989)

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

High-performance digital VLSI circuit design /
by: Gu, Richard X., 1962-
Published: (1996)

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

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)

The bounding approach to VLSI circuit simulation /
by: Zukowski, Charles A.
Published: (1986)

VLSI and hardware implementations using modern machine learning methods /
Published: (2022)

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

Multilevel interconnect technology /
by: Rao, Gopal K.
Published: (1993)

Diagnostic measurements in LSI/VLSI integrated circuits production /
by: Jakubowski, Andrzej
Published: (1991)

High-level power analysis and optimization /
by: Raghunathan, Anand, 1972-
Published: (1998)

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

VLSI placement and routing : the PI project /
by: Sherman, Alan T. (Alan Theodore)
Published: (1989)

An introduction to CAD for VLSI /
by: Trimberger, Stephen, 1955-
Published: (1987)

High-level VLSI synthesis /
Published: (1991)

Progress in computer-aided VLSI design /
Published: (1989)

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

VLSI design for manufacturing : yield enhancement /
by: Director, Stephen W.
Published: (1990)

Computer-aided design and VLSI device development /
Published: (1986)

VLSI custom microelectronics : digital, analog, and mixed-signal /
by: Hurst, S. L. (Stanley Leonard)
Published: (1999)

Principles of VLSI system planning : a framework for conceptual design /
by: Dewey, Allen M. (Allen Mark), 1956-
Published: (1990)

VLSI CAD tools and applications /
Published: (1987)