10 citations · 24 across the 14 of their papers we have counts for
1 paper · 1 filter
Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde
Formal verification of floating-point arithmetic remains challenging due to non-linear arithmetic behavior and the tight coupling between control and datapath logic. Existing appro…