Model Based Test Generation for Processor Verification.

Yossi Lichtenstein, Yossi Malka, Aharon Aharon

Browse the full IAAI paper archive.