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