Ilia Polian, Wolfgang Günther, Bernd Becker. Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. pages 111-120, MoPress, 2001.
@inproceedings{PolianGB01,
title = {Efficient Pattern-Based Verification of Connections to Intellectual Property Cores},
author = {Ilia Polian and Wolfgang Günther and Bernd Becker},
year = {2001},
researchr = {https://researchr.org/publication/PolianGB01},
cites = {0},
citedby = {0},
pages = {111-120},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001},
editor = {Dieter Monjau},
publisher = {MoPress},
}