From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
Amsterdam, New York, New York, N.Y., U.S.A.
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
1987
xi, 302 p. : ill. ; 24 cm
Includes bibliographies
، Electronic circuit design-- Congresses
، Electronic digital computers-- Circuits-- Design and construction - Congresses
TK
7867
.
I4
1986
AU
edited by Dominique Borrione and IMAG/ARTEMIS
AU euqinimoD ,enoirroB
CO IFIP WG 01.2
CO Universite scientifique et medicale de Grenoble, Laboratoire IMAG
TI
IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, )1986, Grenoble, France(