Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K. /
| Corporate Author: | Edinburgh Workshop on VLSI |
|---|---|
| Other Authors: | Milne, George J., 1952-, Subrahmanyam, P. A. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North Holland ; Elsevier Science Pub. Co.,
1986.
|
| Subjects: |
Similar Items
Formal methods for VLSI design : IFIP WG 10.5 lecture notes /
Published: (1990)
Published: (1990)
VLSI design /
Published: (1986)
Published: (1986)
VLSI design /
by: Vai, M. Michael
Published: (2001)
by: Vai, M. Michael
Published: (2001)
VLSI design /
by: Das, Debaprasad
Published: (2015)
by: Das, Debaprasad
Published: (2015)
VLSI design /
by: Vai, M. Michael
Published: (2001)
by: Vai, M. Michael
Published: (2001)
VLSI design /
by: Basu, D. K.
Published: (2014)
by: Basu, D. K.
Published: (2014)
Design & test techniques for VLSI & WSI circuits /
Published: (1989)
Published: (1989)
Self-testing VLSI design /
by: I͡Armolik, V. N. (Vi͡acheslav Nikolaevich)
Published: (1993)
by: I͡Armolik, V. N. (Vi͡acheslav Nikolaevich)
Published: (1993)
Top-down digital VLSI design : from architectures to gate-level circuits and FPGAs /
by: Kaeslin, Hubert
Published: (2014)
by: Kaeslin, Hubert
Published: (2014)
VLSI planarization : methods, models, implementation /
by: Feinberg, V.
Published: (1997)
by: Feinberg, V.
Published: (1997)
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)
Published: (1990)
Basic VLSI design : principles and applications /
by: Pucknell, Douglas A., 1927-
Published: (1985)
by: Pucknell, Douglas A., 1927-
Published: (1985)
Basic VLSI design : systems and circuits /
by: Pucknell, Douglas A., 1927-
Published: (1988)
by: Pucknell, Douglas A., 1927-
Published: (1988)
Trace theory and VLSI design /
by: Van de Snepscheut, Jan L. A., 1953-
Published: (1985)
by: Van de Snepscheut, Jan L. A., 1953-
Published: (1985)
Analog VLSI design automation /
by: Balkır, Sina
Published: (2003)
by: Balkır, Sina
Published: (2003)
Diagnostic measurements in LSI/VLSI integrated circuits production /
by: Jakubowski, Andrzej
Published: (1991)
by: Jakubowski, Andrzej
Published: (1991)
Basic VLSI design technology : technical questions and solutions /
by: Bhargava, Cherry, 1982-, et al.
Published: (2020)
by: Bhargava, Cherry, 1982-, et al.
Published: (2020)
VLSI test principles and architectures : design for testability /
Published: (2006)
Published: (2006)
Genetic algorithms for VLSI design, layout & test automation /
by: Mazumder, Pinaki
Published: (1999)
by: Mazumder, Pinaki
Published: (1999)
Design of VLSI gate array ICs /
by: Hollis, Ernest E., 1935-
Published: (1987)
by: Hollis, Ernest E., 1935-
Published: (1987)
Mixed analog-digital VLSI devices and technology : an introduction /
by: Tsividis, Yannis
Published: (1996)
by: Tsividis, Yannis
Published: (1996)
VLSI : silicon compilation and the art of automatic microchip design /
by: Ayres, Ronald F.
Published: (1983)
by: Ayres, Ronald F.
Published: (1983)
On optimal interconnections for VLSI /
by: Kahng, Andrew B., 1963-
Published: (1995)
by: Kahng, Andrew B., 1963-
Published: (1995)
VLSI design environments /
Published: (2000)
Published: (2000)
Statistical approach to VLSI /
Published: (1994)
Published: (1994)
Computational aspects of VLSI /
by: Ullman, Jeffrey D., 1942-
Published: (1984)
by: Ullman, Jeffrey D., 1942-
Published: (1984)
VLSI design techniques for analog and digital circuits /
by: Geiger, Randall L.
Published: (1990)
by: Geiger, Randall L.
Published: (1990)
VLSI Planarization : Methods, Models, Implementation /
by: Feinberg, V.
Published: (1997)
by: Feinberg, V.
Published: (1997)
Great Lakes Symposium on VLSI : (GLSVLSI).
VLSI circuit simulation and optimization /
by: Litovski, V.
Published: (1997)
by: Litovski, V.
Published: (1997)
Proceedings of the ... ACM Great Lakes Symposium on VLSI.
Published: (2002)
Published: (2002)
Unified methods for VLSI simulation and test generation /
by: Cheng, Kwang-Ting, 1961-
Published: (1989)
by: Cheng, Kwang-Ting, 1961-
Published: (1989)