Referenced Items are not available for this document.
This paper presents from the users point of view the automatic verification of nontrivial liveness properties for a reactive system implemented using VHDL. The aim is to make clear the simplicity, power and practical relevance of tools developed within the ESPRIT project FORMAT. For the specialist this paper provides a run through assumption commitment style verification and an overview of relevant publications
Published in:
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Date of Conference: 18-22 Sep 1995
- Page(s):
- 542 - 547
- Meeting Date :
- 18 Sep 1995-22 Sep 1995
- Print ISBN:
- 0-8186-7156-4
- INSPEC Accession Number:
- 5100286
- Conference Location :
- Brighton
- Digital Object Identifier :
- 10.1109/EURDAC.1995.527457
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
