Abstract
Technology, architecture, and application trends are clear for all to see. Many have observed the increasing complexity of hardware designs, and the presence of higher-level functionality on chip. Design (i.e. product) cycles have become much shorter. Both for reasons of avoiding catastrophic failure, and because the cost of fabrication is so high, an increasing level of a priori and a posteriori confidence in hardware designs is required. What resources are being expended by industry towards this goal (for example, how much money is HP/Intel spending to verify the Merced processor?). More critically, are the formal tools and methods that are available to industry adequate to this task?
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP
About this chapter
Cite this chapter
Li, H.F., Probst, D.K. (1997). Panel Discussion: Is There a Crisis in Hardware Verification?. In: Li, H.F., Probst, D.K. (eds) Advances in Hardware Design and Verification. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35190-2_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-35190-2_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2885-8
Online ISBN: 978-0-387-35190-2
eBook Packages: Springer Book Archive