Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification. - Kartik Mohanram; Matthew Wartell; Sundar Iyer (DATE, 2013)