Automatic memory reductions for RTL model verification.

Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon

Browse the full ICCAD paper archive.