Formal that "Floats" High: Formal Verification of Floating Point Arithmetic

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…