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:
Paper
Format:
pdf