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, }