Automatic memory reductions for rtl model verification (0)

by P Manolios, S K Srinivasan, D Vroon
Venue:in Proceedings of ICCAD ’06. ACM