A VSLI design rule check program generator /

A restructurable logic simulator /
by: Ledford, Gordon Lee, 1962-
Published: (1985)

Logic design and simulation /
Published: (1986)

High-level test synthesis of digital VLSI circuits /
by: Lee, Mike Tien-Chien
Published: (1997)

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)

Theoretical foundations of VLSI design /
Published: (1990)

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

VLSI design : proceedings /
Published: (1992)

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

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

A modified greedy channel router with net assignment at the left edge /
by: Oh, Chuldong, 1957-
Published: (1987)

Relaxation techniques for the simulation of VLSI circuits /
by: White, Jacob K.
Published: (1987)

Functional testing of array systems /
by: Sciuto, Donatella
Published: (1988)

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

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

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

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

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

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

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)

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

Top-down digital VLSI design : from architectures to gate-level circuits and FPGAs /
by: Kaeslin, Hubert
Published: (2014)

Integrated devices for artificial intelligence and VLSI /
Published: (2024)

VLSI for artificial intelligence /
Published: (1989)

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

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

Silicon compilation /
Published: (1988)

A Survey of high-level synthesis systems /
Published: (1991)

VLSI circuits and systems in silicon /
Published: (1991)

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

Self-testing VLSI design /
by: I͡Armolik, V. N. (Vi͡acheslav Nikolaevich)
Published: (1993)

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

Machine learning for VLSI chip design /
Published: (2023)

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

PSPICE and MATLAB for electronics : an integrated approach /
by: Attia, John Okyere
Published: (2002)