Assertion-Based Verification of Transaction Level Models

Niemann B, Haubelt C (2006)

Publication Type: Conference contribution

Publication year: 2006

Pages Range: 232-236

Conference Proceedings Title: Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Event location: Dresden DE

Authors with CRIS profile

Christian Haubelt Technische Fakultät

Additional Organisation(s)

Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Involved external institutions

Fraunhofer-Institut für Integrierte Schaltungen (IIS) DE Germany (DE)

How to cite

APA:

Niemann, B., & Haubelt, C. (2006). Assertion-Based Verification of Transaction Level Models. In Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 232-236). Dresden, DE.

MLA:

Niemann, Bernardt, and Christian Haubelt. "Assertion-Based Verification of Transaction Level Models." Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden 2006. 232-236.

BibTeX: Download