Advances in Hardware Design and Verification

ISBN 10: 0412813300 / ISBN 13: 9780412813306

Published by Chapman and Hall, GB, 1997

About this Item

CHARM 97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. Formal verification is increasingly recognized as an appropriate tool for design acceptance and for detecting design errors and specification ambiguities. The validation of functional and timing behaviour is a major bottleneck in current VLSI design systems. Once an academic area, formal design and verification techniques are attracting serious attention from industry. Given this increased activity, the series aims to attract researchers and users from both communities. This working conference focuses on the integration of verification technologies, identifying ideal subdomains of application for each and on the possibility of creating hybrid verification tools and approaches.

Seller Inventory # LU-9780412813306

Bibliographic Details

• Title: Advances in Hardware Design and Verification
• Publisher: Chapman and Hall, GB
• Publication Date: 1997
• Language: English
• ISBN 10: 0412813300
• ISBN 13: 9780412813306
• Binding: Hardback
• Edition: 1997 ed.
• Condition: New

About this title

Synopsis

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.