User experience with high level formal verification (panel)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

User experience with high level formal verification (panel)

Full text

Pdf (13 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 35th annual Design Automation Conference table of contents

San Francisco, California, United States

Page: 327

Year of Publication: 1998

ISBN:0-89791-964-5

Authors

Randy E. Bryant	CMU
G. Musgrave	Brunel University, UK

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
EDAC : Electronic Design Automation Consortium
IEEE-CS : Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

abstract index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/277044.277137 What is a DOI?

ABSTRACT

Formal Verification is a “hot topic” for the user and vendor community. It has moved from the research community to the industrial domain in a very short time. Everyone wants to know more about how effective the techniques are. This experienced user panel will attempt to address your concerns in an open and frank way. They will give their personal opinions and not the commercial hype that so often heralds a new era.

INDEX TERMS

Primary Classification:
B. Hardware
B.8 Performance and Reliability