Correct hardware design and verification methods
Subtitle: IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings
By: George J. Milne, Laurence Pierre (eds.).
Contributors: Milne, George J., 1952-; Pierre, Laurence.; ESPRIT Working Group 6018 "CHARME-2".; IFIP WG 10.2.; Université de Provence.
Series: Lecture notes in computer science -- 683.
Publisher: Springer
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 269
Subjects: Integrated circuits -- Design and construction -- Data processing -- Congresses.; Computer-aided design -- Congresses.; Computer software -- Verification -- Congresses.
Other titles: CHARME '93.
Notes: "Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword.

"Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword.

Includes bibliographies.