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