Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Browse the full DAC paper archive.