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