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 /
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.

Description

Meeting Name

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium) (1989 :

Related Names

Claesen, Luc J. M.
Interuniversity Micro-Electronics Center.
IFIP WG 10.5.
IFIP WG 10.2.

Language(s)

English

Published

Amsterdam ; North-Holland ; 1990.

Subjects

Integrated circuits > Integrated circuits / Very large scale integration > Integrated circuits / Very large scale integration / Testing > Integrated circuits / Very large scale integration / Testing / Congresses.
Computer-aided design > Computer-aided design / Congresses.
Integrated circuits > Integrated circuits / Very large scale integration > Integrated circuits / Very large scale integration / Design and construction > Integrated circuits / Very large scale integration / Design and construction / Data processing > Integrated circuits / Very large scale integration / Design and construction / Data processing / Congresses

Physical Description

xv, 414 p. : ill. ; 23 cm.

ISBN

044488372X (U.S.)

Locate a Print Version

Find in a library

Viewability