FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

@inproceedings{pub15472,
    author = {

Jha, Chandan Kumar
 and 

Qayyum, Khushboo
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {FARAD: Automated Formal Verification of Approximate Restoring Array Dividers},
    booktitle = {38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), January 4-8, Bangalore, India},
    year = {2025}
}