Export

BIB

Alle Autoren

Schlör, R. and Allara, A. and Comai, S.

Buchtitel

Design, Automation and Test in Europe / User Forum

Zusammenfassung

This paper reports on the use of a verification environment for VHDL based on automatic verification techniques 1. The paper focuses on two different aspects: (1) A graphical language and interface for the specification of properties called STDx (extended Symbolic Timing Diagrams) is described and its application is illustrated. (2) A methodology for formal verification of system properties based on a combination of modelchecking and tautology-checking is suggested. - A first account of successful application of the techniques on a selected industrial design is given.

Erscheinungsdatum

01 / 1999

Publikationstyp

inproceedings

Verlag

IEEE Computer Society Press

Seiten

167-172

Herausgeber

IEEE Computer Society Press