Jörg A. Walter, Jens Leenstra, Gerhard Döttling, Bernd Leppla, Hans-Jürgen Münster, Kevin W. Kark, Bruce Wile
Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors
DAC, 1997.
@inproceedings{DAC-1997-WalterLDLMKW,
author = "Jörg A. Walter and Jens Leenstra and Gerhard Döttling and Bernd Leppla and Hans-Jürgen Münster and Kevin W. Kark and Bruce Wile",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266041",
isbn = "0-89791-920-3",
pages = "89--94",
publisher = "{ACM Press}",
title = "{Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors}",
year = 1997,
}











