Anoosh Hosseini, Dimitrios Mavroidis, Pavlos Konas
Code Generation and Analysis for the Functional Verification of Microprocessors
DAC, 1996.
@inproceedings{DAC-1996-HosseiniMK,
author = "Anoosh Hosseini and Dimitrios Mavroidis and Pavlos Konas",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240574",
isbn = "0-89791-779-0",
pages = "305--310",
publisher = "{ACM Press}",
title = "{Code Generation and Analysis for the Functional Verification of Microprocessors}",
year = 1996,
}