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.; IFIP WG 10.5.
Edition: 1st ed.
Publisher: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
Published: 1997
Place of publication: London; New York
Language: eng
Number of pages: 310
Subjects: Computer engineering -- Congresses.; Computer software -- Verification -- Congresses.
Notes: "This book contains the papers that were presented at the ninth IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME '97), held in Montreal (Quebec)Canada on 17-18 October 1997"--Preface.

Includes bibliographical references and index.