Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek
Test Program Generation for Functional Verification of PowerPC Processors in IBM
DAC, 1995.
@inproceedings{DAC-1995-AharonGLLMMMS,
author = "Aharon Aharon and Dave Goodman and Moshe Levinger and Yossi Lichtenstein and Yossi Malka and Charlotte Metzger and Moshe Molcho and Gil Shurek",
booktitle = "{Proceedings of the 32nd Design Automation Conference}",
doi = "10.1145/217474.217542",
isbn = "0-89791-725-1",
pages = "279--285",
publisher = "{ACM Press}",
title = "{Test Program Generation for Functional Verification of PowerPC Processors in IBM}",
year = 1995,
}