FARAD: Automated Formal Verification of Approximate Restoring Array Dividers.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

Browse the full VLSID paper archive.