From HDL descriptions to guaranteed correct circuit designs
Subtitle: proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
By: edited by Dominique Borrione and IMAG/ARTEMIS.
Contributors: Borrione, Dominique.; IFIP WG 10.2.; Université scientifique et médicale de Grenoble. Laboratoire IMAG.
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1987
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 302
Subjects: Electronic circuit design -- Congresses.; Electronic digital computers -- Circuits -- Design and construction -- Congresses.
Notes: Includes bibliographies.