Left shift catching of critical low power bugs with Formal Verification Author(s): Manish Kumar, Madan Kumar, Srobona Mitra, Madhusudhana Lebaka Download
