Cover Image

VLSI specification, verification, and synthesis /

Show other versions (1)

Bibliographic Details
Other Authors:	Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1988]
Series:	Kluwer international series in engineering and computer science ; SECS 35.
Subjects:	Integrated circuits > Very large scale integration > Design and construction.

Similar Items

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)

VLSI planarization : methods, models, implementation /
by: Feinberg, V.
Published: (1997)

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

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

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

Mixed analog-digital VLSI devices and technology : an introduction /
by: Tsividis, Yannis
Published: (1996)

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

VLSI design /
by: Vai, M. Michael
Published: (2001)

VLSI design /
by: Das, Debaprasad
Published: (2015)

VLSI design /
Published: (1986)

VLSI test principles and architectures : design for testability /
Published: (2006)

VLSI design /
by: Basu, D. K.
Published: (2014)

VLSI design /
by: Vai, M. Michael
Published: (2001)

VLSI : silicon compilation and the art of automatic microchip design /
by: Ayres, Ronald F.
Published: (1983)

VLSI Planarization : Methods, Models, Implementation /
by: Feinberg, V.
Published: (1997)

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

On optimal interconnections for VLSI /
by: Kahng, Andrew B., 1963-
Published: (1995)

Statistical approach to VLSI /
Published: (1994)

Basic VLSI design technology : technical questions and solutions /
by: Bhargava, Cherry, 1982-, et al.
Published: (2020)

Great Lakes Symposium on VLSI : (GLSVLSI).

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

Genetic algorithms for VLSI design, layout & test automation /
by: Mazumder, Pinaki
Published: (1999)

VLSI circuit simulation and optimization /
by: Litovski, V.
Published: (1997)

Basic VLSI design : systems and circuits /
by: Pucknell, Douglas A., 1927-
Published: (1988)

Basic VLSI design : principles and applications /
by: Pucknell, Douglas A., 1927-
Published: (1985)

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

Trace theory and VLSI design /
by: Van de Snepscheut, Jan L. A., 1953-
Published: (1985)

Analog VLSI design automation /
by: Balkır, Sina
Published: (2003)

Layout design and verification /
Published: (1986)

Proceedings of the ... ACM Great Lakes Symposium on VLSI.
Published: (2002)

Design of VLSI gate array ICs /
by: Hollis, Ernest E., 1935-
Published: (1987)

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
Published: (1990)

VLSI design techniques for analog and digital circuits /
by: Geiger, Randall L.
Published: (1990)

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

VLSI placement and global routing using simulated annealing /
by: Sechen, Carl, 1956-
Published: (1988)

Analog VLSI design : nMOS and CMOS /
by: Haskard, M. R. (Malcolm R.), 1936-
Published: (1988)

VLSI design environments /
Published: (2000)

VLSI test principles and architectures : design for testability /
Published: (2006)

Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K. /
Published: (1986)

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