A methodology for validation of microprocessors using symbolic simulation.

Prabhat Mishra Nikil D. Dutt Narayanan Krishnamurthy Magdy S. Abadir A methodology for validation of microprocessors using symbolic simulation. 14-22 2005 1 IJES 1/2 http://dx.doi.org/10.1504/IJES.2005.008805 db/journals/ijes/ijes1.html#MishraDKA05