Guido Post, Andrea Müller, Thorsten Grötker
A System-Level Co-Verification Environment for ATM Hardware Design
DATE, 1998.
@inproceedings{DATE-1998-PostMG,
author = "Guido Post and Andrea Müller and Thorsten Grötker",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655892",
pages = "424--428",
publisher = "{IEEE Computer Society}",
title = "{A System-Level Co-Verification Environment for ATM Hardware Design}",
year = 1998,
}











