Advances in hardware design and verification
Subtitle: IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada
By: edited by Hon F. Li and David K. Probst.
Contributors: Li, Hon F.; Probst, D. K. 1945-; IFIP WG 10.5.
Published: 1997
Language: eng
Number of pages: 310
Subjects: Integrated circuits -- Congresses; Computer engineering -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses.
Other titles: Charme '97
Notes: Includes bibliographical references and index.