Cover Image

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Bibliographic Details
Corporate Author:	CHARME 2003 L'Aquila, Italy
Other Authors:	Geist, Daniel, 1961-, Tronci, Enrico, 1961-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science. 2860.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2860

Similar Items

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /
Published: (2005)

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
Published: (1999)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
Published: (2001)

Introduction to formal hardware verification /
by: Kropf, Thomas, 1961-
Published: (1999)

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

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

Verification by error modeling : using testing techniques in hardware verification /
by: Radecka, Katarzyna
Published: (2003)

Hardware and software concepts in VLSI /
Published: (1983)

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
Published: (1995)

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

Fast-prototyping of VLSI : selection of papers from the IFIP WG 10.5 Workshop on Fast-prototyping, Grenoble, France, 17-19 March, 1987 /
Published: (1987)

Formal verification of hardware design /
by: Yoeli, Michael, 1917-
Published: (1990)

VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987 /
Published: (1988)

VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991 /
Published: (1992)

VLSI 85 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Tokyo, Japan, 26-28 August 1985 /
Published: (1986)

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 /
Published: (1983)

VLSI circuits and systems : 19-21 May 2003, Maspalomas, Gran Canaria, Spain /
Published: (2003)

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

Rapid reliability assessment of VLSICs /
Published: (1990)

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

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

2003 Symposium on VLSI Circuits : digest of technical papers : June 12-14, 2003, Kyoto /
Published: (2003)

2003 Symposium on VLSI Technology : digest of technical papers : June 10-12, 2003, Kyoto /
Published: (2003)

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)

2001 proceedings : Eighteenth International VLSI Multilevel Interconnection Conference (VMIC), September 25-26, 2001, Santa Clara Marriott Hotel, Santa Clara, CA.
Published: (2001)

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

From contamination to defects, faults, and yield loss : simulation and applications /
by: Khare, Jitendra B.
Published: (1996)

Layout design and verification /
Published: (1986)

Hierarchical modeling for VLSI circuit testing /
by: Bhattacharya, Debashis, 1961-
Published: (1990)

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

VLSI specification, verification, and synthesis /
Published: (1988)

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

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

VLSI 93 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Grenoble, France, 7-10 September, 1993 /
Published: (1994)

1997 proceedings : Second Annual IEEE International Conference on Innovative Systems in Silicon, Austin, Texas, USA /
Published: (1997)

LSI/VLSI testability design /
by: Tsui, Frank F.
Published: (1987)

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

VLSI electronics : microstructure science, volume 7 /
Published: (1983)

Design automation, languages, and simulations /
Published: (2003)

Logic synthesis and verification algorithms /
by: Hachtel, Gary D.
Published: (2006)