Automatic Memory Reductions for RTL Model Verification (2006)

by Panagiotis Manolios , Sudarshan K. Srinivasan , Daron Vroon
Venue:In Proc. of ICCAD
Citations:9 - 0 self