Ilia Polian, Wolfgang Günther, Bernd Becker. Efficient Pattern-Based Verification of Connections to IP Cores . In 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan. pages 443-448, IEEE Computer Society, 2001. [doi]
@inproceedings{PoliaGB01,
title = {Efficient Pattern-Based Verification of Connections to IP Cores },
author = {Ilia Polian and Wolfgang Günther and Bernd Becker},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/ats/2001/1378/00/13780443abs.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/PoliaGB01},
cites = {0},
citedby = {0},
pages = {443-448},
booktitle = {10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan},
publisher = {IEEE Computer Society},
isbn = {0-7695-1378-6},
}